Implicational (semilinear) logics. I: A new hierarchy

DOI10.1007/s00153-010-0178-7zbMath1196.03013MaRDI QIDQ971883

Petr Cintula, Carles Noguera

Publication date: 17 May 2010

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

Full work available at URL: https://doi.org/10.1007/s00153-010-0178-7

zbMATH Keywords

abstract algebraic logic; mathematical fuzzy logic; semilinear logics; hierarchy of implicational logics; implicative logics; Leibniz hierarchy; linearly ordered logical matrices

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03B22: Abstract deductive systems

03G27: Abstract algebraic logic

Related Items

NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES, Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity, The proof by cases property and its variants in structural consequence relations, On an axiomatic system for the logic of linearly ordered BCI-matrices, A note on natural extensions in abstract algebraic logic, Strict core fuzzy logics and quasi-witnessed models, Implicational (semilinear) logics. I: A new hierarchy, On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions, Implicational (semilinear) logics. III: Completeness properties, Extension properties and subdirect representation in abstract algebraic logic, Neighborhood semantics for modal many-valued logics, Extending fuzzy logics with many hedges, Algebraizable logics with a strong conjunction and their semi-lattice based companions, Fuzzy sets and formal logics, Triangular norm based predicate fuzzy logics, A new hierarchy of infinitary logics in abstract algebraic logic, Weakening-free fuzzy logics with the connective \(\Delta\), The finite model property for semilinear substructural logics, Consequence and Degrees of Truth in Many-Valued Logic, A Note on Saturated Models for Many-Valued Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Selfextensional logics with a conjunction
• Residuated lattices. An algebraic glimpse at substructural logics
• Implicational (semilinear) logics. I: A new hierarchy
• Positive Sugihara monoids
• An algebraic approach to non-classical logics
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the structure of rotation-invariant semigroups
• A survey of abstract algebraic logic
• Adding involution to residuated structures
• A complete many-valued logic with product-conjunction
• Fuzzy logics as the logics of chains
• Weakly implicative (fuzzy) logics. I: Basic properties
• A propositional calculus with denumerable matrix
• On theories and models in fuzzy predicate logics
• Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
• Algebraizable logics
• Substructural fuzzy logics
• Protoalgebraic logics