Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity

DOI10.1007/s00153-015-0452-9zbMath1338.03116OpenAlexW2247935094MaRDI QIDQ283093

Carles Noguera, Petr Cintula

Publication date: 13 May 2016

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

Full work available at URL: https://doi.org/10.1007/s00153-015-0452-9

zbMATH Keywords

abstract algebraic logicnon-classical logicsdisjunctional logicsimplicational logicssemilinear logicstransfer theorems

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items (8)

A new hierarchy of infinitary logics in abstract algebraic logic ⋮ Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ Density revisited ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ Structural completeness in many-valued logics with rational constants ⋮ An algebraic study of the logic \textbf{S5'(BL)}

Cites Work

• The proof by cases property and its variants in structural consequence relations
• A note on natural extensions in abstract algebraic logic
• Selfextensional logics with a conjunction
• Residuated lattices. An algebraic glimpse at substructural logics
• Implicational (semilinear) logics. I: A new hierarchy
• A survey of abstract algebraic logic
• Order algebraizable logics
• Weakly implicative (fuzzy) logics. I: Basic properties
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity