Pages that link to "Item:Q1349199"
From MaRDI portal
The following pages link to Monoidal t-norm based logic: Towards a logic for left-continuous t-norms (Q1349199):
Displaying 50 items.
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Variety theorem for algebras with fuzzy orders (Q679841) (← links)
- Triangular norm based graded convex fuzzy sets (Q691720) (← links)
- Graded properties of unary and binary fuzzy connectives (Q695239) (← links)
- Associativity of triangular norms characterized by the geometry of their level sets (Q695244) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- An algebraic approach to linguistic hedges in Zadeh's fuzzy logic (Q698828) (← links)
- On fuzzy type theory (Q703370) (← links)
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL (Q703374) (← links)
- A fuzzy logic for an ordinal sum t-norm (Q703375) (← links)
- Very true operators on MTL-algebras (Q729704) (← links)
- Semitopological BL-algebras and MV-algebras (Q742031) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Monadic pseudo-equality algebras (Q780197) (← links)
- Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years (Q812585) (← links)
- Rotation-invariant t-norm solutions of a system of functional equations (Q812626) (← links)
- A new theory consistency index based on deduction theorems in several logic systems (Q812631) (← links)
- Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence (Q814478) (← links)
- Fuzzy \(rr\)DFCSP and planning (Q814480) (← links)
- Short note: on the redundancy of axiom (A3) in BL and MTL (Q816860) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
- A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\) (Q816878) (← links)
- Axiomatic extensions of IMT3 logic (Q817693) (← links)
- Triangle algebras: A formal logic approach to interval-valued residuated lattices (Q835104) (← links)
- Normal forms and free algebras for some extensions of MTL (Q835114) (← links)
- On the difference between traditional and deductive fuzzy logic (Q835115) (← links)
- A formal theory of intermediate quantifiers (Q835126) (← links)
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
- Prenex normal form in linguistic quantifiers modeled by Sugeno integrals (Q835180) (← links)
- Relations in fuzzy class theory: initial steps (Q835181) (← links)
- Filters in fuzzy class theory (Q835182) (← links)
- Solution of a system of linear equations with fuzzy numbers (Q835183) (← links)
- A comprehensive theory of trichotomous evaluative linguistic expressions (Q835271) (← links)
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
- Logical structure of fuzzy IF-THEN rules (Q853465) (← links)
- The logic of tied implications. II. Syntax (Q853468) (← links)
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems (Q853469) (← links)
- Alternative proof of standard completeness theorem for MTL (Q855228) (← links)
- Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) (Q855815) (← links)
- Possibilistic conditioning framed in fuzzy logics (Q855816) (← links)
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580) (← links)
- Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa (Q865044) (← links)
- \(TL\)-filters of integral residuated \(l\)-monoids (Q867655) (← links)
- An enriched category approach to many valued topology (Q868301) (← links)
