Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator

Studia Logica

Volumn 58, Issue 2, 1997, Pages 305-323

  Herrmann, Burghard ^a  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Algebraizable logics; Equivalential logics; Leibniz operator; Protoalgebraic logics

Indexed keywords

EID: 0011853241     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1004979825733     Document Type: Article

References (21)

1. BLOK, W. J., D. PIGOZZI, 1986, 'Protoalgebraic Logics', Studio, Logica 45, 337-369.
2. BLOK, W. J., D. PIGOZZI, 1989, 'Algebraizable Logics', Memoirs of the Am. Math. Soc. 396.
3. 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.
4. BURRIS, S., H.-P. SANKAPPANAVAR, 1981, A Course in Universal Algebra, Berlin.
5. CZELAKOWSKI, J., 1981, 'Equivalential Logics (I), (II)', Studia Logica 40, 227-236, 355-372.
6. CZELAKOWSKI, J., 1992, 'Consequence Operations Foundational Studies', Reports of the Research Project Theories, Models, Cognitive Schemata, Polish Academy of Science, (Prepublication).
7. CZELAKOWSKI, J., Beyond Protoalgebraic Logics. The Suszko Operator, Manuscript.
8. CZELAKOWSKI, J., 1994, Logic, Algebra, Consequence Operations, preliminary version.
9. CZELAKOWSKI, J., W. DZIOBIAK, 1991, 'A Deduction Theorem Scheme for Deductive Systems of Propositional Logics', Studia Logica 50, 385-390.
10. FONT, J. M., R. JANSANA, 1993, A general algebraic semantics for deductive systems, Preliminary version, University Barcelona.
11. FONT, J. M., V. VERDÚ, 1991, 'Algebraic Logic for Classical Conjunction and Disjunction', Studia Logica 50, 391-419.
12. FONT, J. M., V. VERDÚ, 1991, 'Algebraic Logic for some Non-protoalgebraizable Logics', in H. Andréka, J. D. Monk, I. Németi (eds.), Algebraic Logic, North-Holland, Amsterdam, 183-188.
13. HERRMANN, B., 1993, Equivalential Logics and Definability of Truth, Ph. D. Dissertation, Freie Universität Berlin.
14. HERRMANN, B., 1996, 'Equivalential and Algebraizable Logics', Studia Logica 57, 419-436.
15. HERRMANN, B., F. WOLTER, 1994, 'Representations of Algebraic Lattices', Algebra Universalis 31, 612-613.
16. HERRMANN, B., W. RAUTENBERG, 1992, 'Finite Replacement and Finite Axiomatizability in Logic', Zeitschrift für math. Logik und Grundlagen der Math. 38, 327-344.
17. KEISLER, H. J., 1971, Model Theory for Infinitary Logic, North-Holland, Amsterdam.
18. PRUCNAL, T., A. WROŃSKI, 1974, 'An Algebraic Characterization of the Notion of Structural Completeness', Bulletin of the Section of Logic of the Polish Academy of Sciences 3, 30-33.
19. RAUTENBERG, W., 1981, '2-Element Matrices', Studio, Logica 40, 315-353.
20. RAUTENBERG, W., 1993, 'On Reduced Matrices', Studio. Logica 52, 63-72.
21. WÓJCICKI, R., 1988, Theory of Logical Calculi, Kluwer, Dordrecht.