The finite model property for semilinear substructural logics

DOI10.1002/malq.201200032zbMath1303.03056WikidataQ59306550 ScholiaQ59306550MaRDI QIDQ2856632

San-min Wang

Publication date: 30 October 2013

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

Full work available at URL: https://doi.org/10.1002/malq.201200032

zbMATH Keywords

model theory; substructural logics; finite model property; semilinear logics; fuzzy logics; uninorm logics

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

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

03C52: Properties of classes of models

Related Items

Semilinear substructural logics with the finite embeddability property, The logic of pseudo-uninorms and their residua, A proof of the standard completeness for the involutive uninorm logic

Cites Work

• On an axiomatic system for the logic of linearly ordered BCI-matrices
• Uninorm logic with the \(n\)-potency axiom
• Logics with disjunction and proof by cases
• Implicational (semilinear) logics. I: A new hierarchy
• Distributive full Lambek calculus has the finite model property
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Involutive uninorm logic with the \(n\)-potency axiom
• Logics for residuated pseudo-uninorms and their residua
• Proof theory for fuzzy logics
• The finite model property for BCI and related systems
• THE STRUCTURE OF RESIDUATED LATTICES
• HpsUL is not the logic of pseudo-uninorms and their residua
• The finite model property for various fragments of intuitionistic linear logic
• The finite model property for various fragments of linear logic
• Substructural fuzzy logics