A proof of standard completeness for Esteva and Godo's logic MTL
From MaRDI portal
Publication:1604791
DOI10.1023/A:1015122331293zbMath0997.03027OpenAlexW1511669762MaRDI QIDQ1604791
Publication date: 8 July 2002
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1015122331293
Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)
Related Items
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics ⋮ Unnamed Item ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Regularity in residuated lattices ⋮ A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra ⋮ Densification of FL chains via residuated frames ⋮ Triangle algebras: A formal logic approach to interval-valued residuated lattices ⋮ Normal forms and free algebras for some extensions of MTL ⋮ On the difference between traditional and deductive fuzzy logic ⋮ Relations in fuzzy class theory: initial steps ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ The logic of tied implications. II. Syntax ⋮ On the scope of some formulas defining additive connectives in fuzzy logics ⋮ Alternative proof of standard completeness theorem for MTL ⋮ Possibilistic conditioning framed in fuzzy logics ⋮ The radical of a perfect residuated structure ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ T-norm-based logics with an independent involutive negation ⋮ Disjunctive elimination rule and its application in MTL ⋮ On the failure of standard completeness in \(\Pi\)MTL for infinite theories ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ A fuzzy logic for the revised drastic product t-norm. ⋮ On the existence of free models in fuzzy universal Horn classes ⋮ The logic of the strongest and the weakest t-norms ⋮ Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ The \(\circledast\)-composition of fuzzy implications: closures with respect to properties, powers and families ⋮ On elementary equivalence in fuzzy predicate logics ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Mathematical Fuzzy Logics ⋮ An early approach toward graded identity and graded membership in set theory ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ On similarity in fuzzy description logics ⋮ The approximation of left-continuous t-norms ⋮ Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ Obituary: Franco Montagna (1948--2015) ⋮ An expansion of basic logic with fixed points ⋮ Free weak nilpotent minimum algebras ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Density revisited ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ On triangular norm based axiomatic extensions of the weak nilpotent minimum logic ⋮ Involutive uninorm logic with fixed point enjoys finite strong standard completeness ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Rotation logics ⋮ On finitely-valued fuzzy description logics ⋮ How to construct left-continuous triangular norms -- state of the art. ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ \(n\)-fold filters of MTL-algebras ⋮ New topology in residuated lattices ⋮ Formal systems of fuzzy logic and their fragments ⋮ Density elimination ⋮ Strong non-standard completeness for fuzzy logics ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Uninorm logic with the \(n\)-potency axiom ⋮ Simplification and independence of axioms of fuzzy logic systems IMTL and NM ⋮ NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL ⋮ A fuzzy logic for an ordinal sum t-norm ⋮ What is mathematical fuzzy logic ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Undefinability of min-conjunction in MTL ⋮ 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 ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions ⋮ On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) ⋮ Unnamed Item ⋮ Standard completeness theorem for \(\Pi\)MTL ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Issues on adjointness in multiple-valued logics ⋮ Very true operators on MTL-algebras ⋮ Neighborhood semantics for modal many-valued logics ⋮ Ultra LI-ideals in lattice implication algebras and MTL-algebras ⋮ Regular left-continuous t-norms ⋮ The pseudo-linear semantics of interval-valued fuzzy logics ⋮ Forcing operators on MTL-algebras ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ A general method for constructing left-continuous t-norms ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ On Standard Completeness for Non-commutative Many-Valued Logics ⋮ On linear varieties of MTL-algebras ⋮ Representations for logics and algebras related to revised drastic product t-norm ⋮ Commutative integral bounded residuated lattices with an added involution ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ On the reflection invariance of residuated chains ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ The logic of pseudo-uninorms and their residua ⋮ Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics ⋮ A proof of the standard completeness for the involutive uninorm logic ⋮ Theorems of Alternatives for Substructural Logics ⋮ A note on minimal axiomatisations of some extensions of MTL ⋮ Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years ⋮ On a class of left-continuous \(\text t\)-norms ⋮ Observations on the monoidal t-norm logic ⋮ Split exact sequences of finite MTL-chains ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey
