A finite model property for RMImin
From MaRDI portal
Publication:3418090
relevance logicresiduationfinite model propertyfinite embeddability propertyminglededucibility problemsrelevant disjunction lattice
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
Cites work
Cited in
(5)
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)