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)
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- \(n\)-fold filters of MTL-algebras (Q485479) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← 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)
- Disjunctive elimination rule and its application in MTL (Q869116) (← 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)
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms (Q1349199) (← links)
- A proof of standard completeness for Esteva and Godo's logic MTL (Q1604791) (← links)
- Minimally many-valued extensions of the monoidal t-norm based logic MTL (Q1629954) (← links)
- The logic of the strongest and the weakest t-norms (Q1677041) (← links)
- Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
- A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Density revisited (Q1699744) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- On the independence of axioms in BL and MTL (Q1759710) (← links)
- Standard completeness theorem for \(\Pi\)MTL (Q1778060) (← links)
- Observations on the monoidal t-norm logic (Q1867661) (← links)
- Residuated fuzzy logics with an involutive negation (Q1976881) (← 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)
- A note on minimal axiomatisations of some extensions of MTL (Q2350487) (← 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)
