Implicational (semilinear) logics. III: Completeness properties

DOI10.1007/s00153-017-0577-0OpenAlexW2739977479MaRDI QIDQ1745358

Petr Cintula, Carles Noguera

Publication date: 17 April 2018

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

Full work available at URL: https://doi.org/10.1007/s00153-017-0577-0

zbMATH Keywords

abstract algebraic logicprotoalgebraic logicsnon-classical logicsdisjunctional logicsimplicational logicssemilinear logicscompleteness theoremsrational completeness

Mathematics Subject Classification ID

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

Related Items (4)

Extension properties and subdirect representation in abstract algebraic logic ⋮ Neighborhood semantics for modal many-valued logics ⋮ Toward a general frame semantics for modal many-valued logics ⋮ Implicational tonoid logics: algebraic and relational semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
• The proof by cases property and its variants in structural consequence relations
• A non-associative generalization of Hájek's BL-algebras
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Density elimination
• Implicational (semilinear) logics. I: A new hierarchy
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• A survey of abstract algebraic logic
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• A new hierarchy of infinitary logics in abstract algebraic logic
• Proof theory for fuzzy logics
• The Quest for the Basic Fuzzy Logic
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
• Substructural fuzzy logics
• Protoalgebraic logics

This page was built for publication: Implicational (semilinear) logics. III: Completeness properties