Some locally tabular logics with contraction and mingle

zbMATH Open1237.03015MaRDI QIDQ3086533FDOQ3086533

Authors: Ai-ni Hsieh 

Publication date: 30 March 2011

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

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)

Cited In (2)

• Title not available (Why is that?)
• 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)