Pages that link to "Item:Q1604791"

The following pages link to A proof of standard completeness for Esteva and Godo's logic MTL (Q1604791):

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)
• Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
• Generalized Bosbach and Riečan states based on relative negations in residuated lattices (Q427915) (← links)
• The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
• On finitely-valued fuzzy description logics (Q465589) (← links)
• \(n\)-fold filters of MTL-algebras (Q485479) (← links)
• A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
• An early approach toward graded identity and graded membership in set theory (Q622026) (← links)
• Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
• Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← 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)
• A fuzzy logic for an ordinal sum t-norm (Q703375) (← links)
• Very true operators on MTL-algebras (Q729704) (← links)
• Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
• Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years (Q812585) (← links)
• Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← 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)
• Relations in fuzzy class theory: initial steps (Q835181) (← links)
• The logic of tied implications. II. Syntax (Q853468) (← links)
• Alternative proof of standard completeness theorem for MTL (Q855228) (← links)
• Possibilistic conditioning framed in fuzzy logics (Q855816) (← 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)
• A fuzzy logic for the revised drastic product t-norm. (Q877760) (← links)
• A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
• Density elimination (Q944384) (← links)
• Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
• Regular left-continuous t-norms (Q1006336) (← links)
• The pseudo-linear semantics of interval-valued fuzzy logics (Q1007878) (← links)
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
• Commutative integral bounded residuated lattices with an added involution (Q1035650) (← links)
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
• Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
• On the reflection invariance of residuated chains (Q1035657) (← links)
• How to construct left-continuous triangular norms -- state of the art. (Q1428671) (← links)
• The logic of the strongest and the weakest t-norms (Q1677041) (← links)
• Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
• The \(\circledast\)-composition of fuzzy implications: closures with respect to properties, powers and families (Q1677215) (← links)
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
• On similarity in fuzzy description logics (Q1697333) (← links)
• The approximation of left-continuous t-norms (Q1697362) (← links)
• Involutive basic substructural core fuzzy logics: involutive mianorm-based logics (Q1697513) (← links)
• Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
• An expansion of basic logic with fixed points (Q1699729) (← links)