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

DOI10.1007/S00153-015-0452-9zbMATH Open1338.03116OpenAlexW2247935094MaRDI QIDQ283093FDOQ283093

Authors: 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

Recommendations

• Implicational (semilinear) logics. I: A new hierarchy
• Implicational (semilinear) logics. III: Completeness properties
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• Weakly implicative (fuzzy) logics. I: Basic properties
• The finite model property for semilinear substructural logics

zbMATH Keywords

non-classical logicsabstract algebraic logicdisjunctional logicsimplicational logicssemilinear logicstransfer theorems

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q283093)