Pages that link to "Item:Q1612690"
From MaRDI portal
The following pages link to On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic (Q1612690):
Displaying 50 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)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← 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)
