Leibniz-linked pairs of deductive systems

DOI10.1007/s11225-011-9359-6zbMath1250.03125WikidataQ123160840 ScholiaQ123160840MaRDI QIDQ647411

Josep Maria Font, Ramon Jansana

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

zbMATH Keywords

abstract algebraic logic; Leibniz operator; Leibniz filters; protoalgebraic logics; truth-equational logics

Mathematics Subject Classification ID

03G27: Abstract algebraic logic

Related Items

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