On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
From MaRDI portal
Publication:1699738
DOI10.1007/s00500-016-2338-0zbMath1396.03064OpenAlexW2527933024MaRDI QIDQ1699738
Lluís Godo, Francesc Esteva, Amanda Vidal, Félix Bou
Publication date: 23 February 2018
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-016-2338-0
standard completenessmathematical fuzzy logicmonoidal t-norm logicleft-continuous t-normsinfinitary rules
Related Items
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS, Strong standard completeness for continuous t-norms, Hyperresolution for Gödel logic with truth constants
Cites Work
- Unnamed Item
- The proof by cases property and its variants in structural consequence relations
- Implicational (semilinear) logics. I: A new hierarchy
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- A note on axiomatizations of Pavelka-style complete fuzzy logics
- Varieties of BL-algebras. I: General properties.
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Varieties generated by standard BL-algebras
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- On modal extensions of Product fuzzy logic
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Introduction to Boolean Algebras
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Algebraizable logics
- On Fuzzy Logic I Many‐valued rules of inference
- On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions