On strong standard completeness in some MTL_ expansions

DOI10.1007/S00500-016-2338-0MaRDI QIDQ1699738zbMATH OpenOpenAlexFDO

Authors A. Vidal, Félix Bou, Francesc Esteva, Lluís Godo

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

zbMATH Keywords

infinitary rulesleft-continuous t-normsmathematical fuzzy logicmonoidal t-norm logicstandard completeness

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) MV-algebras (06D35)

Recommendations

• Standard completeness theorem for \(\Pi\)MTL
• scientific article; zbMATH DE number 5060344
• Strong \((\delta,n)\)-complements for semi-stable morphisms
• Uniform proofs of standard completeness for extensions of first-order MTL
• A proof of standard completeness for Esteva and Godo's logic MTL
• On the failure of standard completeness in MTL for infinite theories
• Alternative proof of standard completeness theorem for MTL
• Strong normalizability as a finiteness structure via the Taylor expansion of -terms
• scientific article; zbMATH DE number 1868521
• Completeness theorem for Dummett's LC quantified and some of its extensions

Cites work

• A note on axiomatizations of Pavelka-style complete fuzzy logics
• A proof of standard completeness for Esteva and Godo's logic MTL
• Algebraizable logics
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• From fuzzy logic to fuzzy mathematics: a methodological manifesto
• Handbook of mathematical fuzzy logic. Volume 2
• Implicational (semilinear) logics. I: A new hierarchy
• Introduction to Boolean Algebras
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
• 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
• On modal extensions of product fuzzy logic
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• The proof by cases property and its variants in structural consequence relations
• Varieties generated by standard BL-algebras
• Varieties of BL-algebras. I: General properties.

Cited in

(6)

• Strong standard completeness for continuous t-norms
• Hyperresolution for Gödel logic with truth constants
• The standard completeness of interval-valued monoidal t-norm based logic
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
• A variant of the lindenbaum lemma for infinitary closure systems

This page was built for publication: On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions

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