Algebraic Study of Two Deductive Systems of Relevance Logic
Open Access
- 1 July 1994
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 35 (3) , 369-397
- https://doi.org/10.1305/ndjfl/1040511344
Abstract
Project Euclid - mathematics and statistics onlineThis publication has 15 references indexed in Scilit:
- Modal translations in substructural logicsJournal of Philosophical Logic, 1992
- Algebraic logic for classical conjunction and disjunctionStudia Logica, 1991
- A deduction theorem schema for deductive systems of propositional logicsStudia Logica, 1991
- Note on algebraic models for relevance logicMathematical Logic Quarterly, 1990
- A first approach to abstract modal logicsThe Journal of Symbolic Logic, 1989
- Algebraizable logicsMemoirs of the American Mathematical Society, 1989
- Reduced models for relevant logics without ${\rm WI}$.Notre Dame Journal of Formal Logic, 1987
- Protoalgebraic logicsStudia Logica, 1986
- Intuitionism, Entailment, NegationPublished by Elsevier ,1973
- The independence of connectivesThe Journal of Symbolic Logic, 1962