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

Unnamed Item, NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES, Abstract algebraic logic. An introductory chapter, Birkhoff's and Mal'cev's theorems for implicational tonoid logics, An algebraic glimpse at bunched implications and separation logic, 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, Implicational tonoid logics: algebraic and relational semantics, Triangular norm based predicate fuzzy logics, Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics, A proof of the standard completeness for the involutive uninorm logic, 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