Algebraic characterizations of variable separation properties

MaRDI QIDQ3505077zbMATH OpenFDO

Authors Hitoshi Kihara, Hiroakira Ono

Publication date 18 June 2008

zbMATH Keywords

FL-algebraHalldén completenessMaksimova's variable separation propertysubstructural logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)

Recommendations

• An algebraic approach to the disjunction property of substructural logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Variable sharing in substructural logics: an algebraic characterization
• scientific article; zbMATH DE number 125238
• scientific article; zbMATH DE number 759439

Cited in

(13)

• On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra
• Separability and decidability results for varieties of Jónsson dynamic algebras
• Structural completeness in many-valued logics with rational constants
• Amalgamation and interpolation in ordered algebras.
• Fuzzy logics from substructural perspective
• Characteristic properties of multi-algebraic systems
• Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
• scientific article; zbMATH DE number 1796952 (Why is no real title available?)
• Variable sharing in substructural logics: an algebraic characterization
• scientific article; zbMATH DE number 1875420 (Why is no real title available?)
• Essential Variables and Separable Sets in Universal Algebra
• Algebraic proof theory for LE-logics
• Single chain completeness and some related properties

This page was built for publication: Algebraic characterizations of variable separation properties

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