| Publication | Date of Publication | Type |
|---|
Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
Relational and Algebraic Methods in Computer Science | 2023-08-17 | Paper |
Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
| 2023-03-30 | Paper |
Automorphism Groups of Finite BL-Algebras
1512.06003 | 2022-12-06 | Paper |
Finite model property and varieties of BL-algebras
| 2021-10-15 | Paper |
Strictly join irreducible varieties of BL-algebras: the missing pieces
Fuzzy Sets and Systems | 2021-08-24 | Paper |
A Note on Drastic Product Logic
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2019-08-20 | Paper |
On linear varieties of MTL-algebras
Soft Computing | 2019-08-12 | Paper |
Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
International Journal of Approximate Reasoning | 2019-02-20 | Paper |
Finite IUML-algebras, Finite Forests and Orthopairs
Fundamenta Informaticae | 2019-01-17 | Paper |
Minimally many-valued extensions of the monoidal t-norm based logic MTL
| 2018-12-07 | Paper |
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
Journal Of Logic And Computation | 2018-11-20 | Paper |
Refinements of orthopairs and IUML-algebras
| 2018-10-22 | Paper |
Free weak nilpotent minimum algebras
Soft Computing | 2018-02-23 | Paper |
On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra
Fuzzy Sets and Systems | 2018-02-20 | Paper |
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
Fuzzy Sets and Systems | 2018-02-19 | Paper |
On the category of Nelson paraconsistent lattices
Journal Of Logic And Computation | 2018-02-13 | Paper |
Single chain completeness and some related properties
Fuzzy Sets and Systems | 2018-01-22 | Paper |
Probability measures in \(\text{Gödel}_\varDelta\) logic
| 2017-09-05 | Paper |
Representation of BL-algebras with finite independent spectrum
Fuzzy Sets and Systems | 2017-08-09 | Paper |
Querying with {\L}ukasiewicz logic
| 2015-12-03 | Paper |
Two Principles in Many-Valued Logic
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
A note on minimal axiomatisations of some extensions of MTL
Fuzzy Sets and Systems | 2015-06-24 | Paper |
A Logical Descriptor for Regular Languages via Stone Duality
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
scientific article; zbMATH DE number 6276274 (Why is no real title available?)
| 2014-04-01 | Paper |
MV-algebras freely generated by finite Kleene algebras.
Algebra Universalis | 2013-12-23 | Paper |
Computing Minimal Axiomatizations in Godel Propositional Logic
Journal Of Logic And Computation | 2011-11-10 | Paper |
The free \(n\)-generated BL-algebra
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Finitely presented MV-algebras with finite automorphism group
Journal Of Logic And Computation | 2010-08-26 | Paper |
Probability measures in the logic of nilpotent minimum
Studia Logica | 2010-04-26 | Paper |
A temporal semantics for basic logic
Studia Logica | 2009-11-16 | Paper |
Normal forms and free algebras for some extensions of MTL
Fuzzy Sets and Systems | 2009-08-28 | Paper |
Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
Lecture Notes in Computer Science | 2009-07-02 | Paper |
De Finetti's no-Dutch-book criterion for Gödel logic
Studia Logica | 2009-03-17 | Paper |
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Gödel algebras free over finite distributive lattices
Annals of Pure and Applied Logic | 2008-11-12 | Paper |
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
Journal Of Logic And Computation | 2007-11-19 | Paper |
An asymptotically tight bound on countermodels for Łukasiewicz logic
International Journal of Approximate Reasoning | 2006-10-10 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Complexity issues in Basic Logic
Soft Computing | 2006-03-02 | Paper |
scientific article; zbMATH DE number 2042622 (Why is no real title available?)
| 2004-02-15 | Paper |
Finite-valued reductions of infinite-valued logics
Archive for Mathematical Logic | 2003-09-16 | Paper |
scientific article; zbMATH DE number 1929264 (Why is no real title available?)
| 2003-06-17 | Paper |
scientific article; zbMATH DE number 1846946 (Why is no real title available?)
| 2002-12-17 | Paper |
Finiteness in infinite-valued Łukasiewicz logic
Journal of Logic, Language and Information | 2000-12-17 | Paper |
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
Journal Of Logic And Computation | 2000-06-21 | Paper |
The complexity of McNaughton functions of one variable
Advances in Applied Mathematics | 1999-05-04 | Paper |
An algorithmic desingularization of 3-dimensional toric varieties
Tôhoku Mathematical Journal. Second Series | 1995-07-27 | Paper |
