Pages that link to "Item:Q1612690"

The following pages link to On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic (Q1612690):

Displayed 49 items.

• Densification of FL chains via residuated frames (Q271692) ‎ (← links)
• Franco Montagna's work on provability logic and many-valued logic (Q300553) ‎ (← links)
• \(n\)-fold filters of MTL-algebras (Q485479) ‎ (← links)
• A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) ‎ (← links)
• Uninorm logic with the \(n\)-potency axiom (Q695273) ‎ (← links)
• NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL (Q703374) ‎ (← links)
• Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) ‎ (← links)
• Axiomatic extensions of IMT3 logic (Q817693) ‎ (← links)
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) ‎ (← links)
• Alternative proof of standard completeness theorem for MTL (Q855228) ‎ (← links)
• T-norm-based logics with an independent involutive negation (Q869112) ‎ (← links)
• On the failure of standard completeness in \(\Pi\)MTL for infinite theories (Q876492) ‎ (← links)
• On the structure of left-continuous t-norms that have a continuous contour line (Q879013) ‎ (← links)
• A note on standard completeness for some extensions of uninorm logic (Q894654) ‎ (← links)
• Density elimination (Q944384) ‎ (← links)
• Rough implication operator based on strong topological rough algebras (Q991905) ‎ (← links)
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) ‎ (← links)
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) ‎ (← links)
• On the reflection invariance of residuated chains (Q1035657) ‎ (← links)
• Rotation-invariant t-norms: where triple rotation and rotation-annihilation meet (Q1038001) ‎ (← links)
• Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) ‎ (← links)
• Obituary: Franco Montagna (1948--2015) (Q1699726) ‎ (← links)
• Density revisited (Q1699744) ‎ (← links)
• Implicational (semilinear) logics. III: Completeness properties (Q1745358) ‎ (← links)
• Standard completeness theorem for \(\Pi\)MTL (Q1778060) ‎ (← links)
• Observations on the monoidal t-norm logic (Q1867661) ‎ (← links)
• Rotation logics (Q2219165) ‎ (← links)
• On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube. (Q2257977) ‎ (← links)
• Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) ‎ (← links)
• Triangular norm based predicate fuzzy logics (Q2270233) ‎ (← links)
• On expansions of WNM t-norm based logics with truth-constants (Q2270234) ‎ (← links)
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) ‎ (← links)
• Fuzzy logics with an additional involutive negation (Q2270236) ‎ (← links)
• Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics (Q2337882) ‎ (← links)
• A proof of the standard completeness for the involutive uninorm logic (Q2337894) ‎ (← links)
• The triple rotation method for constructing t-norms (Q2372297) ‎ (← links)
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337) ‎ (← links)
• On the scope of some formulas defining additive connectives in fuzzy logics (Q2386240) ‎ (← links)
• Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235) ‎ (← links)
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) ‎ (← links)
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) ‎ (← links)
• Formal systems of fuzzy logic and their fragments (Q2463481) ‎ (← links)
• Free algebras in varieties of Stonean residuated lattices (Q2466756) ‎ (← links)
• Strong non-standard completeness for fuzzy logics (Q2466757) ‎ (← links)
• What is mathematical fuzzy logic (Q2492308) ‎ (← links)
• Undefinability of min-conjunction in MTL (Q2492317) ‎ (← links)
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops (Q2573726) ‎ (← links)
• On Standard Completeness for Non-commutative Many-Valued Logics (Q2829669) ‎ (← links)
• A Co-inductive Language and Truth Degrees (Q3172837) ‎ (← links)