A finite model property for RMImin

DOI10.1002/MALQ.200610018zbMath1110.03011OpenAlexW2133789890MaRDI QIDQ3418090

Ai-ni Hsieh, James 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

finite model propertyrelevance logicresiduationfinite embeddability propertyminglededucibility problemsrelevant disjunction lattice

Mathematics Subject Classification ID

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

Related Items (3)

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Semiconic idempotent residuated structures

Cites Work

• Whither relevance logic?
• Note on algebraic models for relevance logic
• Unnamed Item
• Unnamed Item

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