Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
From MaRDI portal
Publication:1612691
DOI10.1023/A:1016500922708zbMath1013.03021OpenAlexW1496398693MaRDI QIDQ1612691
Hiroakira Ono, Franco Montagna
Publication date: 26 August 2002
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016500922708
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50)
Related Items
Relations in fuzzy class theory: initial steps ⋮ T-norm-based logics with an independent involutive negation ⋮ A fuzzy logic for the revised drastic product t-norm. ⋮ Unnamed Item ⋮ Mathematical Fuzzy Logics ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Density revisited ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Density elimination ⋮ A fuzzy logic for an ordinal sum t-norm ⋮ What is mathematical fuzzy logic ⋮ Fuzzy sets and formal logics ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Triangular norm based predicate fuzzy logics ⋮ Forcing operators on MTL-algebras ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ On the reflection invariance of residuated chains ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey
