A finite model property for RMImin

DOI10.1002/MALQ.200610018MaRDI QIDQ3418090zbMATH OpenOpenAlexFDO

Authors Ai-ni Hsieh, J. G. Raftery

Publication date 2 February 2007

Published in MLQ (Search for Journal in Brave)

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

zbMATH Keywords

relevance logicresiduationfinite model propertyfinite embeddability propertyminglededucibility problemsrelevant disjunction lattice

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Varieties of lattices (06B20) Quasivarieties (08C15)

Recommendations

• Relevance and paraconsistency - a new approach. II: The formal systems
• \(\mathbf{RM}\) and its nice properties
• The finite model property for BCK and BCIW
• The finite model property for semilinear substructural logics
• Fragments of R-mingle

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• Note on algebraic models for relevance logic
• Whither relevance logic?

Cited in

(5)

• Semiconic idempotent residuated structures
• Relevance and paraconsistency—a new approach
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Nelson conuclei and nuclei: the twist construction beyond involutivity

This page was built for publication: A finite model property for RMImin

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3418090)