56

Disjunctive elimination rule and its application in MTL

Year:
2006
Language:
english
File:
PDF, 176 KB
english, 2006
60

NMŁ, a schematic extension of F.Esteva and L.Godo's logic MTL

Year:
2005
Language:
english
File:
PDF, 246 KB
english, 2005
61

Solutions to Cintula's open problems

Year:
2006
Language:
english
File:
PDF, 215 KB
english, 2006
62

Prenex normal form in linguistic quantifiers modeled by Sugeno integrals

Year:
2008
Language:
english
File:
PDF, 143 KB
english, 2008
63

A triangular-norm-based propositional fuzzy logic

Year:
2003
Language:
english
File:
PDF, 275 KB
english, 2003
64

A triangular norm-based fuzzy predicate logic

Year:
2003
Language:
english
File:
PDF, 237 KB
english, 2003
65

A characterization of truth-functions in the nilpotent minimum logic

Year:
2004
Language:
english
File:
PDF, 296 KB
english, 2004
67

Logics with disjunction and proof by cases

Year:
2008
Language:
english
File:
PDF, 186 KB
english, 2008
73

A fuzzy logic for an ordinal sum t-norm

Year:
2005
Language:
english
File:
PDF, 250 KB
english, 2005
74

Undefinability of min-conjunction in MTL

Year:
2006
Language:
english
File:
PDF, 192 KB
english, 2006
80

On an axiomatic system for the logic of linearly ordered BCI-matrices

Year:
2012
Language:
english
File:
PDF, 215 KB
english, 2012
88

Uninorm logic with the -potency axiom

Year:
2012
Language:
english
File:
PDF, 213 KB
english, 2012