Leibniz-linked pairs of deductive systems
From MaRDI portal
Publication:647411
DOI10.1007/s11225-011-9359-6zbMath1250.03125WikidataQ123160840 ScholiaQ123160840MaRDI QIDQ647411
Ramon Jansana, Josep Maria Font
Publication date: 23 November 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9359-6
abstract algebraic logic; Leibniz operator; Leibniz filters; protoalgebraic logics; truth-equational logics
03G27: Abstract algebraic logic
Related Items
Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems, The strong version of a sentential logic, COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Selfextensional logics with a conjunction
- Residuated lattices. An algebraic glimpse at substructural logics
- Theory of logical calculi. Basic theory of consequence operations
- Leibniz filters revisited
- A closer look at some subintuitionistic logics
- A survey of abstract algebraic logic
- Algebraic study of two deductive systems of relevance logic
- Algebraizable logics with a strong conjunction and their semi-lattice based companions
- Note on algebraic models for relevance logic
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
- Bounded distributive lattices with strict implication
- Leibniz filters and the strong version of a protoalgebraic logic