| Publication | Date of Publication | Type |
|---|
These degrees go to eleven: fuzzy logics and gradable predicates
Synthese | 2026-03-27 | Paper |
MAXIMALITY OF LOGIC WITHOUT IDENTITY
Journal of Symbolic Logic | 2024-04-05 | Paper |
| Asymptotic truth-value laws in many-valued logics | 2023-06-24 | Paper |
Frame definability in finitely valued modal logics
Annals of Pure and Applied Logic | 2023-05-19 | Paper |
| New foundations of reasoning via real-valued first-order logics | 2022-06-30 | Paper |
Saturated models of first-order many-valued logics
Logic Journal of the IGPL | 2022-03-30 | Paper |
Logic and Implication
Trends in Logic | 2021-10-22 | Paper |
Lindström theorems in graded model theory
Annals of Pure and Applied Logic | 2021-01-25 | Paper |
From Kripke to neighborhood semantics for modal fuzzy logics
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2020-08-20 | Paper |
Toward a general frame semantics for modal many-valued logics
Soft Computing | 2019-08-12 | Paper |
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
Soft Computing | 2019-08-12 | Paper |
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
Logic Journal of the IGPL | 2019-01-08 | Paper |
Extension properties and subdirect representation in abstract algebraic logic
Studia Logica | 2018-12-21 | Paper |
Back-and-forth systems for fuzzy first-order models
Fuzzy Sets and Systems | 2018-10-16 | Paper |
Neighborhood semantics for modal many-valued logics
Fuzzy Sets and Systems | 2018-10-16 | Paper |
Fraïssé classes of graded relational structures
Theoretical Computer Science | 2018-06-18 | Paper |
Implicational (semilinear) logics. III: Completeness properties
Archive for Mathematical Logic | 2018-04-17 | Paper |
| A logical framework for graded predicates | 2017-11-22 | Paper |
A new hierarchy of infinitary logics in abstract algebraic logic
Studia Logica | 2017-07-19 | Paper |
Paraconsistency properties in degree-preserving fuzzy logics
Soft Computing | 2016-11-22 | Paper |
Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
Archive for Mathematical Logic | 2016-05-13 | Paper |
The quest for the basic fuzzy logic
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
A note on natural extensions in abstract algebraic logic
Studia Logica | 2015-09-15 | Paper |
A Henkin-style proof of completeness for first-order algebraizable logics
Journal of Symbolic Logic | 2015-05-20 | Paper |
Modal logics of uncertainty with two-layer syntax: a general completeness theorem
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
A logical approach to fuzzy truth hedges
Information Sciences | 2014-08-01 | Paper |
| scientific article; zbMATH DE number 6276267 (Why is no real title available?) | 2014-04-01 | Paper |
| scientific article; zbMATH DE number 6276276 (Why is no real title available?) | 2014-04-01 | Paper |
Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
The Review of Symbolic Logic | 2014-03-06 | Paper |
The proof by cases property and its variants in structural consequence relations
Studia Logica | 2013-09-23 | Paper |
Fuzzy logics with truth hedges revisited
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) | 2013-01-15 | Paper |
| Solution of some problems in the arithmetical complexity of first-order fuzzy logics | 2011-11-25 | Paper |
Implicational (semilinear) logics. I: A new hierarchy
Archive for Mathematical Logic | 2010-05-17 | Paper |
Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
Journal Of Logic And Computation | 2010-04-21 | Paper |
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
Soft Computing | 2010-03-26 | Paper |
On expansions of WNM t-norm based logics with truth-constants
Fuzzy Sets and Systems | 2010-03-18 | Paper |
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
Information Sciences | 2010-03-11 | Paper |
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
Annals of Pure and Applied Logic | 2009-11-04 | 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 completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants | 2008-10-23 | Paper |
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
MLQ | 2008-08-15 | Paper |
| scientific article; zbMATH DE number 5295430 (Why is no real title available?) | 2008-07-01 | Paper |
On n ‐contractive fuzzy logics
Mathematical Logic Quarterly | 2007-06-26 | Paper |
Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
Fuzzy Sets and Systems | 2007-04-18 | Paper |
On Weakly Cancellative Fuzzy Logics
Journal Of Logic And Computation | 2006-12-04 | Paper |
On Product Logic with Truth-constants
Journal Of Logic And Computation | 2006-07-03 | 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 |
On the scope of some formulas defining additive connectives in fuzzy logics
Fuzzy Sets and Systems | 2005-08-22 | Paper |
Logical Characterizations of Weighted Complexity Classes
(available as arXiv preprint) | N/A | Paper |
