Equivalential and algebraizable logics

Studia Logica

Volumn 57, Issue 2-3, 1996, Pages 419-436

  Herrmann, Burghard ^a  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Algebraizable logics; Equivalential logics; Implicative logics; Protoalgebraic logics

Indexed keywords

EID: 0011848923     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/BF00370843     Document Type: Article

References (20)

1. ANDERSON, A. R., N. D. BELNAP, 1975, Eniailment, Princeton University Press.
2. BLöK, W. J., D. PIGOZZI, 1986, 'Protoalgebraic Logics', Studio, Logica 45, 337-369.
3. BLOK, W. J., D. PIGOZZI, 1989, 'Algebraizable Logics', Memoirs of the Am. Math. Soc. 396.
4. BLOK, W. J., D. PIGOZZI, 1992, 'Algebraic Semantics for Universal Horn Logic without Equality', in A. Romanowska, J. D. H. Smith (eds.) Universal Algebra and Quasigroup Theory, Heldermann, Berlin, 1-56.
5. BUDKIN, A. L, V. A. GORBUNOV, 1973, 'Implicative Classes of Algebras', Algebra and Logic 12, 139-149.
6. DA COSTA, N., 1974, 'On the Theory of Inconsistent Formal Systems', Notre Dame Journal of Formal Logic 15, 497-510.
7. CZELAKOWSKI, J., 1981, 'Equivalential Logics (I), (II)', Studia Logica 40, 227-236, 355-372.
8. CZELAKOWSKI, J., 1986, 'Local Deduction Theorems', Studia Logica 45, 377-391.
9. CZELAKOWSKI, J., 1994, Logic, Algebra, Consequence Operations, preliminary version.
10. DELLUNDE, P., 'A Finitary 1-equivalential Logic Not Finitely Equivalential', preliminary version.
11. FONT, J. M., G. RODRIGUES, 1990, 'Note on Algebraic Models for Relevance Logic', Zeitschrift für math. Logik und Grundlagen der Math. 36, 535-540.
12. PONT, J. M., V. VERDü, 1991, 'Algebraic Logic for Classical Conjunction and Disjunction', Studio, Logica 50, 391-419.
13. HERRMANN, B., 1993, 'Equivalential Logics and Definability of Truth', Ph. D. Dissertation, Freie Universität Berlin.
14. HERRMANN, B., 'Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator', submitted to Studio, Logica.
15. LEWIN, R. A., I. F. MIKENBERG, M. G. SCHWARZE, 1991, 'Ci is not Algebraizable', Notre Dame Journal of Formal Logic 32, 609-611.
16. MORTENSEN, C., 1980, 'Every Quotient Algebra for Ci is Trivial', Notre Dame Journal of Formal Logic 21, 694-700.
17. PORTÉ, J., 1965, Recherches sur la théorie générale des systèmes formels, GauthierVillars, Paris.
18. PRUCNAL, T., A. WRONSKI, 1974, 'An Algebraic Characterization of the Notion of Structural Completenes', Bulletin of the Section of Logic of the Polish Academy of Sciences 3, 30-33.
19. RASIOWA, H., 1974, An Algebraic Approach to Non-classical Logics, North-Holland, Amsterdam.
20. WÖJCICKI, R., 1988, Theory of Logical Calculi, Kluwer, Dordrecht.