Some locally tabular logics with contraction and mingle

MaRDI QIDQ3086533zbMATH OpenFDO

Authors Ai-ni Hsieh

Publication date 30 March 2011

zbMATH Keywords

quasivarietyresiduationminglelocally tabular logicsemiconic algebra

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Quasivarieties (08C15) Distributive lattices (06D99)

Recommendations

• Decidable properties of logical calculi and of varieties of algebras
• Finite axiomatizability of locally tabular superintuitionistic logics
• Fragments of R-mingle
• Decidability of the interpolation problem and of related properties in tabular logics
• Publication:4487375

Cited in

(2)

• scientific article; zbMATH DE number 5592264 (Why is no real title available?)
• On semiconic idempotent commutative residuated lattices

This page was built for publication: Some locally tabular logics with contraction and mingle

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