| Publication | Date of Publication | Type |
|---|
Relevant consequence relations: an invitation
The Review of Symbolic Logic | 2024-11-14 | Paper |
One-variable fragments of first-order logics
The Bulletin of Symbolic Logic | 2024-11-12 | Paper |
One-variable fragments of first-order logics
| 2023-10-24 | Paper |
Algebraic semantics for one-variable lattice-valued logics
| 2023-03-24 | Paper |
Algebraic semantics for one-variable lattice-valued logics
| 2022-09-18 | Paper |
Relevant Consequence Relations: An Invitation
| 2022-07-08 | Paper |
How much propositional logic suffices for Rosser's essential undecidability theorem?
The Review of Symbolic Logic | 2022-05-25 | Paper |
Logic and Implication
Trends in Logic | 2021-10-22 | 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 |
An abstract approach to consequence relations
The Review of Symbolic Logic | 2019-06-07 | Paper |
Skolemization and Herbrand theorems for lattice-valued logics
Theoretical Computer Science | 2019-03-26 | Paper |
Representing strategic games and their equilibria in many-valued logics
Logic Journal of the IGPL | 2019-01-08 | Paper |
Lindenbaum and pair extension lemma in infinitary logics
| 2018-10-18 | Paper |
Neighborhood semantics for modal many-valued logics
Fuzzy Sets and Systems | 2018-10-16 | Paper |
Implicational (semilinear) logics. III: Completeness properties
Archive for Mathematical Logic | 2018-04-17 | Paper |
A note on axiomatizations of Pavelka-style complete fuzzy logics
Fuzzy Sets and Systems | 2018-02-19 | Paper |
A logical framework for graded predicates
| 2017-11-22 | Paper |
Graded dominance and related graded properties of fuzzy connectives
Fuzzy Sets and Systems | 2017-05-18 | Paper |
Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
Archive for Mathematical Logic | 2016-05-13 | Paper |
Skolemization for Substructural Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | 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 |
scientific article; zbMATH DE number 6276267 (Why is no real title available?)
| 2014-04-01 | Paper |
scientific article; zbMATH DE number 6276266 (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 |
Herbrand theorems for substructural logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Simple games in Łukasiewicz calculus and their cores
Kybernetika | 2014-01-08 | Paper |
The proof by cases property and its variants in structural consequence relations
Studia Logica | 2013-09-23 | Paper |
Filters in algebras of fuzzy logics
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) | 2013-01-15 | Paper |
Note on deduction theorems in contraction-free logics
Mathematical Logic Quarterly (MLQ) | 2012-06-01 | Paper |
Admissible rules in the implication-negation fragment of intuitionistic logic
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
scientific article; zbMATH DE number 5896249 (Why is no real title available?)
| 2011-05-18 | Paper |
Implicational (semilinear) logics. I: A new hierarchy
Archive for Mathematical Logic | 2010-05-17 | Paper |
Triangular norm based predicate fuzzy logics
Fuzzy Sets and Systems | 2010-03-18 | Paper |
Fuzzy logics with an additional involutive negation
Fuzzy Sets and Systems | 2010-03-18 | Paper |
Structural completeness in fuzzy logics
Notre Dame Journal of Formal Logic | 2009-11-18 | Paper |
Relations in fuzzy class theory: initial steps
Fuzzy Sets and Systems | 2009-08-28 | Paper |
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
Annals of Pure and Applied Logic | 2009-06-17 | Paper |
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
Journal Of Logic And Computation | 2009-04-16 | Paper |
Towards evaluation games for fuzzy logics
| 2009-04-14 | Paper |
Logics with disjunction and proof by cases
Archive for Mathematical Logic | 2008-08-18 | Paper |
Features of Mathematical Theories in Formal Fuzzy Logic
Lecture Notes in Computer Science | 2008-01-02 | Paper |
Formal systems of fuzzy logic and their fragments
Annals of Pure and Applied Logic | 2007-12-12 | Paper |
Normal forms for fuzzy logics: a proof-theoretic approach
Archive for Mathematical Logic | 2007-06-07 | Paper |
On theories and models in fuzzy predicate logics
Journal of Symbolic Logic | 2006-11-29 | Paper |
Weakly implicative (fuzzy) logics. I: Basic properties
Archive for Mathematical Logic | 2006-09-26 | Paper |
Residuated logics based on strict triangular norms with an involutive negation
Mathematical Logic Quarterly | 2006-08-30 | Paper |
Fuzzy logics as the logics of chains
Fuzzy Sets and Systems | 2006-06-09 | Paper |
From fuzzy logic to fuzzy mathematics: a methodological manifesto
Fuzzy Sets and Systems | 2006-06-09 | Paper |
Two notions of compactness in Gödel logics
Studia Logica | 2006-03-17 | Paper |
Short note: on the redundancy of axiom (A3) in BL and MTL
Soft Computing | 2006-03-02 | Paper |
A note to the definition of the Ł\(\Pi\)-algebras
Soft Computing | 2005-12-13 | Paper |
Fuzzy class theory
Fuzzy Sets and Systems | 2005-08-22 | Paper |
Product Łukasiewicz logic
Archive for Mathematical Logic | 2004-12-16 | Paper |
Compactness of fuzzy logics.
Fuzzy Sets and Systems | 2004-03-29 | Paper |
Semi-normal forms and functional representation of product fuzzy logic.
Fuzzy Sets and Systems | 2004-03-29 | Paper |
scientific article; zbMATH DE number 2030506 (Why is no real title available?)
| 2004-01-20 | Paper |
Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
Archive for Mathematical Logic | 2003-09-16 | Paper |
About axiomatic systems of product fuzzy logic
Soft Computing | 2002-06-23 | Paper |
The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
Fuzzy Sets and Systems | 2002-05-21 | Paper |
