| Publication | Date of Publication | Type |
|---|
On a problem of Conrad on Riesz space structures
Order | 2025-01-15 | Paper |
Spectral MV-algebras and equispectrality
Archive for Mathematical Logic | 2024-10-10 | Paper |
\(Z^{\circ}\)-ideals and \(Z\)-ideals in \(MV\)-algebras
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2023-09-01 | Paper |
Entropies and dynamical systems in Riesz MV-algebras
International Journal of Theoretical Physics | 2023-07-27 | Paper |
| scientific article; zbMATH DE number 7713501 (Why is no real title available?) | 2023-07-18 | Paper |
| scientific article; zbMATH DE number 7655658 (Why is no real title available?) | 2023-02-21 | Paper |
| The spectrum problem for $\ell$-groups and for MV-algebras: a categorical approach | 2023-02-09 | Paper |
| On the lattice of the subvarieties of monadic \(\mathrm{MV}(C)\)-algebras | 2022-09-28 | Paper |
Geometry of super-Łukasiewicz logics
Journal Of Logic And Computation | 2022-09-08 | Paper |
Models, coproducts and exchangeability: notes on states on Baire functions
Mathematica Slovaca | 2022-08-12 | Paper |
A characterization of pseudofinite MV-algebras
Soft Computing | 2022-07-12 | Paper |
Expanding lattice ordered abelian groups to Riesz spaces
Mathematica Slovaca | 2022-02-22 | Paper |
Dualities and algebraic geometry of Baire functions in non-classical logic
Journal Of Logic And Computation | 2021-11-09 | Paper |
Sheaf representations and locality of Riesz spaces with order unit
Journal of Logic and Analysis | 2021-05-26 | Paper |
| On \(P\)-transitive graphs and applications | 2021-03-03 | Paper |
| On modal \(\mu\)-calculus over finite graphs with bounded strongly connected components | 2021-02-16 | Paper |
| Projectivity and unification in locally finite varieties of monadic MV-algebras | 2021-01-25 | Paper |
On the Riesz structures of a lattice ordered abelian group
Mathematica Slovaca | 2020-12-30 | Paper |
The spectrum problem for abelian \(\ell\)-groups and MV-algebras
Algebra Universalis | 2020-07-13 | Paper |
Ultramatricial algebras over commutative chain semirings and application to MV-algebras
Forum Mathematicum | 2020-04-01 | Paper |
Observables on perfect MV-algebras
Fuzzy Sets and Systems | 2019-10-16 | Paper |
Entropy of MV-algebraic dynamical systems: An example
Mathematica Slovaca | 2019-08-12 | Paper |
Topological spaces of monadic MV-algebras
Soft Computing | 2019-07-02 | Paper |
Some invariant skeletons for \(\ell\)-u groups and MV-algebras
Order | 2019-03-25 | Paper |
Duality theory and skeleta for semisimple MV-algebras
Studia Logica | 2018-12-21 | Paper |
Algebraic geometry for \(\ell \)-groups
Algebra Universalis | 2018-10-30 | Paper |
The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs
Theoretical Computer Science | 2018-06-18 | Paper |
| On MV-algebras of non-linear functions | 2017-11-24 | Paper |
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions
Fuzzy Sets and Systems | 2017-08-09 | Paper |
Relative subalgebras of MV-algebras
Algebra Universalis | 2017-06-22 | Paper |
On free MV algebras and a problem of Tarski
Mathematical Logic Quarterly (MLQ) | 2016-06-24 | Paper |
Structural completeness and unification problem of the logic of Chang algebra
Azerbaijan Journal of Mathematics | 2016-06-10 | Paper |
On the modal \(\mu \)-calculus over finite symmetric graphs
Mathematica Slovaca | 2015-11-26 | Paper |
On generalizing the Nullstellensatz for MV algebras.
Journal Of Logic And Computation | 2015-07-15 | Paper |
Algebraic geometry for MV-algebras
Journal of Symbolic Logic | 2015-03-06 | Paper |
Bisimulation quantifiers and uniform interpolation for guarded first order logic
Theoretical Computer Science | 2014-12-12 | Paper |
| Geometric issues in the algebraic theory of many valued logics. | 2014-06-11 | Paper |
An algebraic characterization of o-minimal and weakly o-minimal MV-chains
Journal of Pure and Applied Algebra | 2014-01-14 | Paper |
| About a positive set theory with equality | 2013-12-04 | Paper |
On modal \(\mu \)-calculus in \(S5\) and applications
Fundamenta Informaticae | 2013-07-30 | Paper |
On modal -calculus over reflexive symmetric graphs
Journal Of Logic And Computation | 2013-06-27 | Paper |
Hyperfinite MV-algebras
Journal of Pure and Applied Algebra | 2013-06-24 | Paper |
Monadic Second Order Logic And Its Fragments
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Algebraically closed MV-algebras and their sheaf representation
Annals of Pure and Applied Logic | 2013-02-19 | Paper |
On modal \(\mu \)-calculus over finite graphs with small components or small tree width
International Journal of Foundations of Computer Science | 2012-08-30 | Paper |
On Vaught's conjecture and finitely valued MV algebras
Mathematical Logic Quarterly (MLQ) | 2012-06-01 | Paper |
On a positive set theory with inequality
Mathematical Logic Quarterly | 2011-11-07 | Paper |
| scientific article; zbMATH DE number 5898613 (Why is no real title available?) | 2011-05-20 | Paper |
Deciding the existence of uniform interpolants over transitive models
Archive for Mathematical Logic | 2011-03-02 | Paper |
On the \(\mu \)-calculus over transitive and finite transitive frames
Theoretical Computer Science | 2010-11-19 | Paper |
Representation of MV-algebras by regular ultrapowers of \([0,1\)]
Archive for Mathematical Logic | 2010-05-17 | Paper |
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
On fixpoint arithmetic and infinite time Turing machines
Information Processing Letters | 2009-07-21 | Paper |
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
Journal Of Logic And Computation | 2008-08-15 | Paper |
A positive set theory with equality revisited
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
The variable hierarchy of the \(\mu\)-calculus is strict
Theory of Computing Systems | 2007-08-23 | Paper |
On modal \(\mu\)-calculus with explicit interpolants
Journal of Applied Logic | 2006-10-10 | Paper |
STACS 2005
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2206362 (Why is no real title available?) | 2005-09-19 | Paper |
An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
Theoretical Computer Science | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 2113976 (Why is no real title available?) | 2004-11-05 | Paper |
| scientific article; zbMATH DE number 2102739 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 1948173 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1688384 (Why is no real title available?) | 2002-01-09 | Paper |
A basic theory with predicates
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2002-01-01 | Paper |
Mu-depth 3 is more than 2: A game-theoretic proof
MSCS. Mathematical Structures in Computer Science | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 1418078 (Why is no real title available?) | 2000-09-20 | Paper |
| scientific article; zbMATH DE number 1418347 (Why is no real title available?) | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1418087 (Why is no real title available?) | 2000-07-31 | Paper |
A nontrivial model of Weydert's \(SF_3\) minus the Leibniz rules
Bulletin of the Belgian Mathematical Society - Simon Stevin | 1999-03-15 | Paper |
Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni | 1996-03-17 | Paper |
Introducing basic theories for the foundations of mathematics
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni | 1994-10-20 | Paper |
An introduction of variables into the frame of the basic theories for the foundations of mathematics
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni | 1994-10-10 | Paper |
| scientific article; zbMATH DE number 423520 (Why is no real title available?) | 1993-10-06 | Paper |
| scientific article; zbMATH DE number 4160705 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4213973 (Why is no real title available?) | 1989-01-01 | Paper |
