Abstract
Let C be a logic in S and let T ⊆ S.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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