Abstract
Let C be a logic in S and let T ⊆ S.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Notes for Chapter 1
Herrmann, B. [1997] Characterizing equivalential and algebraizable logics by the Leibniz operator, Studia Logica 58, 305–323.
Porte, J. [1965] “Recherches sur la théorie générale des systèmes formels et sur les systèmes connectives”, Gauthier-Villars, Paris.
Brown, D.J. and Suszko, R. [1973] “Abstract Logics”, Dissertationes Mathematicae 102, Polish Scientific Publishers (PWN), Warsaw.
Blok, W.J. and Pigozzi, D. [1992] Algebraic semantics for universal Horn logic without equality, in: “Universal Algebra, and Quasigroups”, (eds. A. Romanowska and J.D.H. Smith), Heldermann Verlag, Berlin.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Czelakowski, J. (2001). Protoalgebraic Logics. In: Protoalgebraic Logics. Trends in Logic, vol 10. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2807-2_3
Download citation
DOI: https://doi.org/10.1007/978-94-017-2807-2_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5693-1
Online ISBN: 978-94-017-2807-2
eBook Packages: Springer Book Archive