Equivalential and algebraizable logics
- 1 October 1996
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 57 (2-3) , 419-436
- https://doi.org/10.1007/bf00370843
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- ${\rm C}_1$ is not algebraizable.Notre Dame Journal of Formal Logic, 1991
- Algebraic logic for classical conjunction and disjunctionStudia Logica, 1991
- Note on algebraic models for relevance logicMathematical Logic Quarterly, 1990
- Algebraizable logicsMemoirs of the American Mathematical Society, 1989
- Local deductions theoremsStudia Logica, 1986
- Protoalgebraic logicsStudia Logica, 1986
- Equivalential logics (I)Studia Logica, 1981
- Every quotient algebra for $C_1$ is trivial.Notre Dame Journal of Formal Logic, 1980
- On the theory of inconsistent formal systems.Notre Dame Journal of Formal Logic, 1974
- Implicative classes of algebrasAlgebra and Logic, 1973