Definitional equivalence and algebraizability of generalized logical systems
- 1 June 1999
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 98 (1-3) , 1-68
- https://doi.org/10.1016/s0168-0072(98)00058-x
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its ExpansionsJournal of Applied Non-Classical Logics, 1999
- On Priest's logic of paradoxJournal of Applied Non-Classical Logics, 1995
- Characterizing Belnap's Logic via De Morgan's LawsMathematical Logic Quarterly, 1995
- Algebraic study of Sette's maximal paraconsistent logicStudia Logica, 1995
- The logic of paradoxJournal of Philosophical Logic, 1979
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959
- Lattices with involutionTransactions of the American Mathematical Society, 1958
- Remarks on sentential logicsIndagationes Mathematicae, 1958