The finite model property for semilinear substructural logics

DOI10.1002/MALQ.201200032zbMath1303.03056DBLPjournals/mlq/Wang13OpenAlexW1927766982WikidataQ59306550 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 theorysubstructural logicsfinite model propertysemilinear logicsfuzzy logicsuninorm logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Properties of classes of models (03C52)

Related Items (3)

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

This page was built for publication: The finite model property for semilinear substructural logics