On two fragments with negation and without implication of the logic of residuated lattices

DOI10.1007/s00153-005-0324-9zbMath1096.03019OpenAlexW2074330898MaRDI QIDQ2501164

Félix Bou, Ventura Verdú, Àngel García-Cerdaña

Publication date: 4 September 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0324-9

zbMATH Keywords

sequent calculusalgebraic semanticsalgebraizable logicssubstructural logicsdeductive systemsGentzen systemsresiduated latticespseudocomplemented monoids

Mathematics Subject Classification ID

Algebraic logic (03G99) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

On three implication-less fragments of t-norm based fuzzy logics ⋮ Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case ⋮ On two fragments with negation and without implication of the logic of residuated lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge
• The semantics and proof theory of linear logic
• Theory of logical calculi. Basic theory of consequence operations
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Closure operators and complete embeddings of residuated lattices
• A survey of abstract algebraic logic
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• A logic is referential iff it is selfextensional
• Congruence lattices of semilattices
• On two fragments with negation and without implication of the logic of residuated lattices
• Distributivity in lattices
• Hüllensysteme und Erweiterung von Quasi‐Ordnungen
• Logics without the contraction rule
• Algebraizable logics
• Regular Embeddings which Preserve Lattice Structure
• A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
• On Gentzen Systems Associated with the Finite Linear MV-algebras
• Principal Congruences of Pseudocomplemented Distributive Lattices
• MacNeille completions and canonical extensions
• On the completion by cuts of distributive lattices

This page was built for publication: On two fragments with negation and without implication of the logic of residuated lattices