Logics with disjunction and proof by cases
- 1 July 2008
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 47 (5) , 435-446
- https://doi.org/10.1007/s00153-008-0088-0
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Disjunctive elimination rule and its application in MTLFuzzy Sets and Systems, 2006
- Selfextensional Logics with a ConjunctionStudia Logica, 2006
- Weakly Implicative (Fuzzy) Logics I: Basic PropertiesArchive for Mathematical Logic, 2006
- Fuzzy logics as the logics of chainsFuzzy Sets and Systems, 2006
- Selfextensional Logics with ImplicationPublished by Springer Nature ,2005
- Product L ukasiewicz LogicArchive for Mathematical Logic, 2004
- Substructural Logics and Residuated Lattices — an IntroductionPublished by Springer Nature ,2003
- Protoalgebraic LogicsPublished by Springer Nature ,2001
- Metamathematics of Fuzzy LogicPublished by Springer Nature ,1998
- Theory of Logical CalculiPublished by Springer Nature ,1988