| Publication | Date of Publication | Type |
|---|
ALGEBRAIC EXPANSIONS OF LOGICS
Journal of Symbolic Logic | 2023-02-27 | Paper |
Structural completeness in many-valued logics with rational constants
Notre Dame Journal of Formal Logic | 2022-10-10 | Paper |
Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Structural completeness in many-valued logics with rational constants
| 2021-08-06 | Paper |
Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras
| 2020-06-16 | Paper |
Maximality in finite-valued Łukasiewicz logics defined by order filters
Journal Of Logic And Computation | 2019-03-01 | Paper |
Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
Studia Logica | 2018-10-02 | Paper |
Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
Fuzzy Sets and Systems | 2018-07-30 | Paper |
Least \(V\)-quasivarieties of MV-algebras
Fuzzy Sets and Systems | 2018-02-19 | Paper |
A note on bases of admissible rules of proper axiomatic extensions of Lukasiewicz logic
| 2015-12-11 | Paper |
Lattice BCK logics with modus ponens as unique rule
Mathematical Logic Quarterly | 2014-06-06 | Paper |
Locally Finite Quasivarieties of MV-algebras
| 2014-05-29 | Paper |
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
Annals of Pure and Applied Logic | 2009-06-17 | Paper |
On \(n\)-contractive fuzzy logics: first results
| 2009-03-09 | Paper |
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
MLQ | 2008-08-15 | Paper |
Boolean representation of bounded BCK-algebras
Soft Computing | 2008-07-30 | Paper |
Bounded BCK-algebras and their generated variety
MLQ | 2007-05-11 | Paper |
Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
Fuzzy Sets and Systems | 2007-04-18 | Paper |
Axiomatic extensions of IMT3 logic
Studia Logica | 2006-03-17 | Paper |
MV-algebras: a variety for magnitudes with archimedean units
Algebra Universalis | 2006-01-06 | Paper |
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
Archive for Mathematical Logic | 2005-11-24 | Paper |
On Some Varieties of MTL-algebras
Logic Journal of the IGPL | 2005-11-08 | Paper |
scientific article; zbMATH DE number 2068681 (Why is no real title available?)
| 2004-05-27 | Paper |
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
Studia Logica | 2002-08-26 | Paper |
scientific article; zbMATH DE number 1850735 (Why is no real title available?)
| 2002-01-01 | Paper |
Quasivarieties generated by simple MV-algebras
Studia Logica | 2000-09-28 | Paper |
Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
Journal of Algebra | 1999-12-20 | Paper |
