5 citations · 9 across the 4 of their papers we have counts for
4 papers
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
M. E. Coniglio, F. Esteva, J. Gispert +1
In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the int…
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…
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.
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…