Characterizing Belnap's Logic via De Morgan's Laws
- 1 January 1995
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 41 (4) , 442-454
- https://doi.org/10.1002/malq.19950410403
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional CalculusMathematical Logic Quarterly, 1994
- Note on a six-valued extension of three-valued logicJournal of Applied Non-Classical Logics, 1993
- Theory of Logical CalculiPublished by Springer Nature ,1988
- To be and not to be: Dialectical tense logicStudia Logica, 1982
- Sense, entailment and Modus ponensJournal of Philosophical Logic, 1980
- The logic of paradoxJournal of Philosophical Logic, 1979
- A Useful Four-Valued LogicPublished by Springer Nature ,1977
- Matrix approach in methodology of sentential calculiStudia Logica, 1973
- Remarks on sentential logicsIndagationes Mathematicae, 1958