Logics without the contraction rule and residuated lattices
From MaRDI portal
Publication:3466596
zbMATH Open1330.03054MaRDI QIDQ3466596FDOQ3466596
Publication date: 1 February 2016
Full work available at URL: http://ojs.victoria.ac.nz/ajl/article/view/1813/1663
Recommendations
many-valued logicsresiduated latticescontraction rulefuzzy logicsintermediate logicsBCK-logicssubstructural propositional logics
Cited In (22)
- Title not available (Why is that?)
- On the scope of some formulas defining additive connectives in fuzzy logics
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
- Glivenko theorems and negative translations in substructural predicate logics
- Title not available (Why is that?)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- Varieties generated by standard BL-algebras
- Title not available (Why is that?)
- Note on deduction theorems in contraction-free logics
- Compatibly involutive residuated lattices and the Nelson identity
- On \(n\)-contractive fuzzy logics: first results
- Modal translation of substructural logics
- A consistent theory of attributes in a logic without contraction
- Fuzzy logics from substructural perspective
- Logic without contraction as based on inclusion and unrestricted abstraction
- Logics without the contraction rule
- Simple, local and subdirectly irreducible state residuated lattices
- Complexity of some language fragments of fuzzy logics
- Title not available (Why is that?)
- On two fragments with negation and without implication of the logic of residuated lattices
- Rule separation and embedding theorems for logics without weakening
- Single chain completeness and some related properties
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)
