scientific article

zbMath1330.03054MaRDI QIDQ3466596

Hiroakira Ono

Publication date: 1 February 2016

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items

Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras, UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS, On the scope of some formulas defining additive connectives in fuzzy logics, Glivenko theorems and negative translations in substructural predicate logics, Complexity of some language fragments of fuzzy logics, Varieties generated by standard BL-algebras, Single chain completeness and some related properties, Modal translation of substructural logics, Compatibly involutive residuated lattices and the Nelson identity, Simple, local and subdirectly irreducible state residuated lattices