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
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