A Gentle Introduction to the Leibniz Hierarchy

In Jacek Malinowski & Rafał Palczewski (eds.), Janusz Czelakowski on Logical Consequence. Springer Verlag. pp. 123-201 (2024)
  Copy   BIBTEX

Abstract

The aim of this chapter is to review the basics of the theory of the Leibniz hierarchy typical of abstract algebraic logic. Proofs and examples are presented in a selfcontained way, with an eye to offering a quick entry to the field to the nonspecialist.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-031-44490-6_5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Poset of All Logics II: Leibniz Classes and Hierarchy.R. Jansana & T. Moraschini - 2023 - Journal of Symbolic Logic 88 (1):324-362.
On the complexity of the Leibniz hierarchy.Tommaso Moraschini - 2019 - Annals of Pure and Applied Logic 170 (7):805-824.
Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic.Tommaso Moraschini, Ramon Jansana, Josep Font & Hugo Albuquerque - 2018 - In Janusz Czelakowski (ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Cham, Switzerland: Springer Verlag.
Implicational (semilinear) logics I: a new hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.
Leibniz: an introduction.C. D. Broad - 1975 - London: Cambridge University Press.
Categorical abstract algebraic logic: The categorical Suszko operator.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (6):616-635.
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.
Fibring in the Leibniz Hierarchy.Victor Fernández & Marcelo Coniglio - 2007 - Logic Journal of the IGPL 15 (5-6):475-501.
Compatibility operators in abstract algebraic logic.Hugo Albuquerque, Josep Maria Font & Ramon Jansana - 2016 - Journal of Symbolic Logic 81 (2):417-462.
Category Theory: A Gentle Introduction.Peter Smith - manuscript
Leibniz.Harry G. Frankfurt - 1972 - Garden City, N.Y.,: Anchor Books.
Leibniz: a collection of critical essays.Harry G. Frankfurt - 1976 - Notre Dame [Ind.]: University of Notre Dame Press.
Leibniz's Monad and Mulla Sadra's Hierarchy of Being.Ali Fathtaheri - 2008 - Proceedings of the Xxii World Congress of Philosophy 8:93-100.
Philosophical Texts.R. S. Woolhouse & Richard Francks (eds.) - 1998 - Oxford University Press.

Analytics

Added to PP
2024-03-13

Downloads
3 (#1,708,708)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references