Leibniz-linked pairs of deductive systems

DOI10.1007/s11225-011-9359-6zbMath1250.03125OpenAlexW2006630019WikidataQ123160840 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

zbMATH Keywords

abstract algebraic logicLeibniz operatorLeibniz filtersprotoalgebraic logicstruth-equational logics

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Related Items (3)

COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ The strong version of a sentential logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems

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

This page was built for publication: Leibniz-linked pairs of deductive systems