Logics without the contraction rule and residuated lattices

MaRDI QIDQ3466596zbMATH OpenFDO

Authors Hiroakira Ono

Publication date 1 February 2016

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/1813/1663

zbMATH Keywords

many-valued logicsresiduated latticescontraction rulefuzzy logicsintermediate logicsBCK-logicssubstructural propositional logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Logics without the contraction rule
• scientific article; zbMATH DE number 2070197
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• Residuated lattices. An algebraic glimpse at substructural logics
• scientific article; zbMATH DE number 125238

Cited in

(25)

• scientific article; zbMATH DE number 3970731 (Why is no real title available?)
• Logics without the contraction rule
• Fuzzy logics from substructural perspective
• Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
• scientific article; zbMATH DE number 7668110 (Why is no real title available?)
• Cut elimination and strong separation for substructural logics: an algebraic approach
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra \& Substructural Logics -- Take 6), Cagliari, Italy, June 11--13, 2018
• On the scope of some formulas defining additive connectives in fuzzy logics
• Single chain completeness and some related properties
• scientific article; zbMATH DE number 2070197 (Why is no real title available?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Simple, local and subdirectly irreducible state residuated lattices
• On \(n\)-contractive fuzzy logics: first results
• Complexity of some language fragments of fuzzy logics
• Varieties generated by standard BL-algebras
• Modal translation of substructural logics
• A consistent theory of attributes in a logic without contraction
• Rule separation and embedding theorems for logics without weakening
• Logic without contraction as based on inclusion and unrestricted abstraction
• Glivenko theorems and negative translations in substructural predicate logics
• Note on deduction theorems in contraction-free logics
• Compatibly involutive residuated lattices and the Nelson identity
• On two fragments with negation and without implication of the logic of residuated lattices
• scientific article; zbMATH DE number 823590 (Why is no real title available?)

This page was built for publication: Logics without the contraction rule and residuated lattices

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