5 citations · 9 across the 4 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2018
Maximality in finite-valued Lukasiewicz logics defined by order filters
Marcelo E. Coniglio, Francesc Esteva, Joan Gispert +1
In this paper we consider the logics obtained from the (n+1)-valued Lukasiewicz logics by taking the order filter generated by i/n as the set of designated elemen…
math.LO2015
A note on bases of admissible rules of proper axiomatic extensions of Lukasiewicz logic
Joan Gispert
In this note we prove that single-conclusion admissible rules of any proper axiomatic extension of the infnite valued Lukasiewicz logic are finitely based.
math.LO2014★ 5 cited
Locally Finite Quasivarieties of MV-algebras
Joan Gispert, Antoni Torrens
In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give…