10 citations · 10 across the 6 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
math.LO2011
First-order Nilpotent Minimum Logics: first steps
Matteo Bianchi
Following the lines of the analysis done in [BPZ07, BCF07] for first-order Gödel logics, we present an analogous investigation for Nilpotent Minimum logic NM. We study decidability…
math.LO2011
The variety generated by all the ordinal sums of perfect MV-chains
Matteo Bianchi
We present the logic BL_Chang, an axiomatic extension of BL (see P. Hájek - Metamathematics of fuzzy logic - 1998, Kluwer) whose corresponding algebras form the smallest variety co…