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

DOI10.1007/S00153-015-0452-9MaRDI QIDQ283093zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3920436 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• A note on natural extensions in abstract algebraic logic
• A survey of abstract algebraic logic
• Implicational (semilinear) logics. I: A new hierarchy
• Order algebraizable logics
• Protoalgebraic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Selfextensional logics with a conjunction
• The proof by cases property and its variants in structural consequence relations
• Weakly implicative (fuzzy) logics. I: Basic properties

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)