On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
From MaRDI portal
Publication:1612690
DOI10.1023/A:1016548805869zbMath1011.03015OpenAlexW1602192439MaRDI QIDQ1612690
Francesc Esteva, Franco Montagna, Lluís Godo, Joan Gispert i Brasó
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:1016548805869
fuzzy logicstandard completenessmonoidal t-norm logiclogic of vaguenessaxiomatic extensions of MTLlogic of continuous t-norms
Related Items (50)
Densification of FL chains via residuated frames ⋮ Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ The triple rotation method for constructing t-norms ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ A Co-inductive Language and Truth Degrees ⋮ Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ On the scope of some formulas defining additive connectives in fuzzy logics ⋮ Alternative proof of standard completeness theorem for MTL ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ T-norm-based logics with an independent involutive negation ⋮ On the failure of standard completeness in \(\Pi\)MTL for infinite theories ⋮ On the structure of left-continuous t-norms that have a continuous contour line ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Density revisited ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ Rotation logics ⋮ Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space ⋮ \(n\)-fold filters of MTL-algebras ⋮ Formal systems of fuzzy logic and their fragments ⋮ Density elimination ⋮ Free algebras in varieties of Stonean residuated lattices ⋮ Strong non-standard completeness for fuzzy logics ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Uninorm logic with the \(n\)-potency axiom ⋮ On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube. ⋮ NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL ⋮ What is mathematical fuzzy logic ⋮ Undefinability of min-conjunction in MTL ⋮ 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 ⋮ Fuzzy logics with an additional involutive negation ⋮ Standard completeness theorem for \(\Pi\)MTL ⋮ Rough implication operator based on strong topological rough 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 ⋮ On Standard Completeness for Non-commutative Many-Valued Logics ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ On the reflection invariance of residuated chains ⋮ Rotation-invariant t-norms: where triple rotation and rotation-annihilation meet ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops ⋮ Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics ⋮ A proof of the standard completeness for the involutive uninorm logic ⋮ Observations on the monoidal t-norm logic ⋮ Axiomatic extensions of IMT3 logic
This page was built for publication: On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
