Involutive basic substructural core fuzzy logics: Involutive mianorm-based logics
- 1 August 2017
- journal article
- Published by Elsevier in Fuzzy Sets and Systems
- Vol. 320, 1-16
- https://doi.org/10.1016/j.fss.2017.03.013
Abstract
No abstract availableFunding Information
- National Research Foundation of Korea (NRF-2016S1A5A8018255)
- Ministry of Education
This publication has 11 references indexed in Scilit:
- Weakening-free, non-associative fuzzy logics: Micanorm-based logicsFuzzy Sets and Systems, 2015
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIESThe Review of Symbolic Logic, 2013
- Involutive uninorm logic with the n-potency axiomFuzzy Sets and Systems, 2013
- Uninorm logic with the -potency axiomFuzzy Sets and Systems, 2012
- Cut elimination and strong separation for substructural logics: An algebraic approachAnnals of Pure and Applied Logic, 2010
- Substructural fuzzy logicsThe Journal of Symbolic Logic, 2007
- Weakly Implicative (Fuzzy) Logics I: Basic PropertiesArchive for Mathematical Logic, 2006
- Fuzzy logics as the logics of chainsFuzzy Sets and Systems, 2006
- On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm LogicStudia Logica, 2002
- A Proof of Standard Completeness for Esteva and Godo's Logic MTLStudia Logica, 2002