A finite model property for RMImin

DOI10.1002/MALQ.200610018zbMATH Open1110.03011OpenAlexW2133789890MaRDI QIDQ3418090FDOQ3418090

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Note on algebraic models for relevance logic
• Whither relevance logic?

Cited In (5)

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

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)