Algebraic study of Sette's maximal paraconsistent logic
- 1 January 1995
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 54 (1) , 89-128
- https://doi.org/10.1007/bf01058534
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Algebraic logic for classical conjunction and disjunctionStudia Logica, 1991
- A first approach to abstract modal logicsThe Journal of Symbolic Logic, 1989
- Algebraizable logicsMemoirs of the American Mathematical Society, 1989
- Abstract characterization of a four-valued logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- Algebraic aspects of deduction theoremsStudia Logica, 1985
- Equivalential logics (I)Studia Logica, 1981
- A survey of Paraconsistent Logic ( )Published by Elsevier ,1980
- Matrix approach in methodology of sentential calculiStudia Logica, 1973
- Some Forms of Models of Propositional CalculiPublished by Elsevier ,1968
- The independence of connectivesThe Journal of Symbolic Logic, 1962