[LLIBRE][B] Proof theory for fuzzy logics

G Metcalfe, N Olivetti, DM Gabbay - 2008 - books.google.com
Fuzzy logics are many-valued logics that are well suited to reasoning in the context of
vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse …

Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies

P Cintula, F Esteva, J Gispert, L Godo… - Annals of Pure and …, 2009 - Elsevier
This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of
t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy …

Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic

J Wang, P He, J Yang, M Wang… - Journal of Logic and …, 2022 - academic.oup.com
In this paper, we further study the variety of monadic nilpotent minimum (NM)-algebras and
their corresponding logic. In order to solve the drawback of monadic NM-algebras, we …

On weakly cancellative fuzzy logics

F Montagna, C Noguera… - Journal of Logic and …, 2006 - ieeexplore.ieee.org
Starting from a decomposition result of monoidal t-norm-based logic (MTL)-chains as ordinal
sums, we focus our attention on a particular kind of indecomposable semihoops, namely …

On n ‐contractive fuzzy logics

R Horčík, C Noguera, M Petrík - Mathematical Logic Quarterly, 2007 - Wiley Online Library
It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete wrt
the class of all finite MTL‐chains. In order to reach a deeper understanding of the structure of …

Archimedean classes in integral commutative residuated chains

R Horčík, F Montagna - Mathematical Logic Quarterly, 2009 - Wiley Online Library
This paper investigates a quasi‐variety of representable integral commutative residuated
lattices axiomatized by the quasi‐identity resulting from the well‐known Wajsberg identity …

[PDF][PDF] Un apropament matematic al problema de la vaguetat

CN i Clofent - Butlletí de la Societat Catalana de Matemàtiques, 2009 - raco.cat
Resum En aquest article considerem el fenomen de la vaguetat com a problema lògic i les
diverses solucions que s' han proposat per a tractar-lo. D'entre totes elles defensem la …

On computational complexity of semilinear varieties

E Marchioni - Journal of Logic and Computation, 2008 - ieeexplore.ieee.org
We propose a method for characterizing the complexity of satisfiability and tautologicity of
equational theories of varieties of algebras by relying on their representability in the theory …

Order, algebra, and structure: lattice-ordered groups and beyond

A Colacito - 2020 - boristheses.unibe.ch
This thesis describes and examines some remarkable relationships existing between
seemingly quite different properties (algebraic, order-theoretic, and structural) of ordered …

[PDF][PDF] A mathematical approach to the vagueness problem

C NOGUERA CLOFENT - BUTLLETÍ DE LA SOCIETAT …, 2008 - usiena-air.unisi.it
Resum En aquest article considerem el fenomen de la vaguetat com a problema lògic i les
diverses solucions que s' han proposat per a tractar-lo. D'entre totes elles defensem la …