| Publication | Date of Publication | Type |
|---|
Ulam-Rényi games, MV-algebras, Specker \(\ell\)-groups
Studia Logica | 2026-03-12 | Paper |
From Specker \(\ell\)-groups to Boolean algebras via \(\Gamma\)
Theory and Applications of Categories | 2024-08-19 | Paper |
Permutation invariant Boolean states
Algebra Universalis | 2024-06-11 | Paper |
Liminary \(C^{\ast}\)-algebras with boolean spectrum
Journal of Mathematical Analysis and Applications | 2024-05-23 | Paper |
Yosida frames in free abelian \(\ell \)-groups
Journal of Algebra | 2023-09-19 | Paper |
| Finite and infinite primes in models of PA | 2022-12-20 | Paper |
Computing on Lattice-Ordered Abelian Groups
Fields of Logic and Computation III | 2022-11-09 | Paper |
AF-algebras with lattice-ordered \(K_0\): logic and computation
Annals of Pure and Applied Logic | 2022-10-14 | Paper |
| Preservation properties of de Finetti coherence | 2022-09-28 | Paper |
The read once formula of a series-parallel network
Discrete Applied Mathematics | 2022-08-24 | Paper |
Consequence Relations with Real Truth Values
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Deciding Koopman's qualitative probability
Artificial Intelligence | 2021-11-02 | Paper |
Bratteli diagrams via the De Concini-Procesi theorem
Communications in Contemporary Mathematics | 2021-10-26 | Paper |
| De Finetti for mathematics undergraduates | 2021-07-01 | Paper |
| Polytime reductions of AF-algebraic problems | 2021-04-28 | Paper |
Rota's Fubini lectures: the first problem
Advances in Applied Mathematics | 2021-04-23 | Paper |
The differential of probabilistic entailment
Annals of Pure and Applied Logic | 2021-04-14 | Paper |
What the Łukasiewicz axioms mean
Journal of Symbolic Logic | 2021-03-19 | Paper |
De Finetti coherence and the product law for independent events
Synthese | 2021-01-19 | Paper |
Complete and computable orbit invariants in the geometry of the affine group over the integers
Annali di Matematica Pura ed Applicata. Serie Quarta | 2020-09-03 | Paper |
Coherence of the product law for independent continuous events
Trends in Logic | 2020-08-06 | Paper |
A Geometric Approach to MV-Algebras
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory | 2020-02-04 | Paper |
Betting on continuous independent events
Soft Computing | 2019-08-12 | Paper |
Triangles in Diophantine approximation
Journal of Number Theory | 2019-05-16 | Paper |
| Basic geometry of the affine group over Z | 2019-02-03 | Paper |
Word problems in Elliott monoids
Advances in Mathematics | 2018-08-29 | Paper |
Recognizing free generating sets of \(\ell\)-groups
Algebra Universalis | 2018-07-16 | Paper |
| Approaching central projections in AF-algebras | 2018-06-11 | Paper |
Coherence of de Finetti coherence
Synthese | 2018-03-27 | Paper |
Polyhedral MV-algebras
Fuzzy Sets and Systems | 2018-02-19 | Paper |
Fans, decision problems and generators of free abelian \(\ell\)-groups
Forum Mathematicum | 2017-12-01 | Paper |
Faulty sets of Boolean formulas and ukasiewicz logic
Journal Of Logic And Computation | 2017-05-17 | Paper |
| Diophantine approximation by almost equilateral triangles | 2017-05-09 | Paper |
Classifying orbits of the affine group over the integers
Ergodic Theory and Dynamical Systems | 2017-04-11 | Paper |
Germinal theories in Łukasiewicz logic
Annals of Pure and Applied Logic | 2017-03-16 | Paper |
Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
Journal of Pure and Applied Algebra | 2016-11-28 | Paper |
Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
Forum Mathematicum | 2016-11-11 | Paper |
Classifying GL\((n,\mathbb{Z})\)-orbits of points and rational subspaces
Discrete and Continuous Dynamical Systems | 2016-10-14 | Paper |
Logic on the \(n\)-cube
Journal of Logic and Computation | 2016-04-28 | Paper |
The differential semantics of Łukasiewicz syntactic consequence
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
Retractions of free MV-algebras and unital $\ell$-groups
(available as arXiv preprint) | 2015-09-20 | Paper |
A Stone-Weierstrass theorem for MV-algebras and unital \(\ell\)-groups.
Journal Of Logic And Computation | 2015-07-15 | Paper |
| Fans and generators of free abelian l-groups | 2015-07-03 | Paper |
Recent developments of feedback coding and its relations with many-valued logic
Proof, Computation and Agency | 2015-04-17 | Paper |
Severi-Bouligand tangents, Frenet frames and Riesz spaces
Advances in Applied Mathematics | 2015-02-06 | Paper |
Universal properties of Łukasiewicz consequence
Logica Universalis | 2015-02-05 | Paper |
Interval MV-algebras and generalizations.
International Journal of Approximate Reasoning | 2014-10-08 | Paper |
The Euler characteristic and valuations on MV-algebras.
Mathematica Slovaca | 2014-08-21 | Paper |
Bouligand-Severi tangents in MV-algebras.
Revista Matemática Iberoamericana | 2014-05-08 | Paper |
Invariant measure under the affine group over \(\mathbb Z\)
Combinatorics, Probability and Computing | 2014-04-16 | Paper |
| The Euler valuation on MV-algebras | 2014-01-22 | Paper |
| Classifying $GL(2,\mathbb Z) \ltimes \mathbb Z^{2}$-orbits by subgroups of $\mathbb R$ | 2014-01-15 | Paper |
| Rational measure of rational simplexes | 2013-04-24 | Paper |
Foreword to the special issue dedicated to the memory of Leo Esakia
Studia Logica | 2012-10-01 | Paper |
Rational polyhedra and projective lattice-ordered abelian groups with order unit
Communications in Contemporary Mathematics | 2012-08-27 | Paper |
Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups
Forum Mathematicum | 2012-04-18 | Paper |
Finitely presented lattice-ordered abelian groups with order-unit
Journal of Algebra | 2012-02-11 | Paper |
Logic. A brief course. Translated from the Italian by Krzysztof R. Apt
UNITEXT | 2012-02-01 | Paper |
Revisiting the Farey AF algebra
Milan Journal of Mathematics | 2011-12-20 | Paper |
Consequence and interpolation in Łukasiewicz logic
Studia Logica | 2011-11-23 | Paper |
Finite axiomatizability in Łukasiewicz logic
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
From free abelian groups to free abelian ℓ-groups
Mathematica Slovaca | 2011-07-15 | Paper |
A compact \([0,1\)-valued first-order Łukasiewicz logic with identity on Hilbert space]
Journal Of Logic And Computation | 2011-06-20 | Paper |
| From BL to MV | 2011-05-18 | Paper |
Logic. The short method
UNITEXT | 2011-03-03 | Paper |
Advanced Łukasiewicz calculus and MV-algebras
Trends in Logic -- Studia Logica Library | 2011-02-22 | Paper |
| Measure theory in the geometry of $GL(n,\mathbb Z) \ltimes \mathbb Z^{n}$ | 2011-02-04 | Paper |
Projective MV-algebras and rational polyhedra
Algebra Universalis | 2010-06-16 | Paper |
De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
International Journal of Approximate Reasoning | 2010-03-22 | Paper |
Recognizing the Farey-Stern-Brocot AF algebra
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni | 2009-11-23 | Paper |
Interpretation of De Finetti coherence criterion in Łukasiewicz logic
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
Conditionals and Independence in Many-Valued Logics
Lecture Notes in Computer Science | 2009-07-02 | Paper |
| Geometry of filters in free MV-algebras | 2009-04-21 | Paper |
Faithful and Invariant Conditional Probability in Łukasiewicz Logic
Towards Mathematical Philosophy | 2009-02-05 | Paper |
Gödel incompleteness in AF C*-algebras
Forum Mathematicum | 2008-12-18 | Paper |
| scientific article; zbMATH DE number 5320559 (Why is no real title available?) | 2008-09-03 | Paper |
The Haar theorem for lattice-ordered abelian groups with order-unit
Discrete and Continuous Dynamical Systems | 2008-07-29 | Paper |
| Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic | 2008-07-01 | Paper |
The Lebesgue state of a unital abelian lattice-ordered group
Journal of Group Theory | 2007-10-09 | Paper |
Free generating sets of lattice-ordered abelian groups
Journal of Pure and Applied Algebra | 2007-09-03 | Paper |
Geometry of Robinson consistency in Łukasiewicz logic
Annals of Pure and Applied Logic | 2007-06-25 | Paper |
| Embedding in finitely presented lattice-ordered groups: explicit presentation for constructions | 2007-05-21 | Paper |
| Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups | 2007-05-07 | Paper |
Bookmaking over infinite-valued events
International Journal of Approximate Reasoning | 2007-02-19 | Paper |
| scientific article; zbMATH DE number 5125127 (Why is no real title available?) | 2007-02-13 | Paper |
Revisiting the free 2-generator abelian \(\ell\)-group
Journal of Pure and Applied Algebra | 2007-02-02 | Paper |
Lattice-ordered Abelian groups and Schauder bases of unimodular fans
Transactions of the American Mathematical Society | 2007-02-01 | Paper |
Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit
Journal of Algebra | 2006-12-07 | Paper |
A characterization of the free \(n\)-generated MV-algebra
Archive for Mathematical Logic | 2006-03-21 | Paper |
MV-algebras: a variety for magnitudes with archimedean units
Algebra Universalis | 2006-01-06 | Paper |
| scientific article; zbMATH DE number 2208114 (Why is no real title available?) | 2005-09-26 | Paper |
Computing and Combinatorics
Lecture Notes in Computer Science | 2005-06-15 | Paper |
| scientific article; zbMATH DE number 2172901 (Why is no real title available?) | 2005-06-07 | Paper |
Extending Stone duality to multisets and locally finite MV-algebras.
Journal of Pure and Applied Algebra | 2004-07-12 | Paper |
| scientific article; zbMATH DE number 2070196 (Why is no real title available?) | 2004-06-08 | Paper |
| scientific article; zbMATH DE number 2042622 (Why is no real title available?) | 2004-02-15 | Paper |
Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem
Transactions of the American Mathematical Society | 2004-02-12 | Paper |
A Cantor-Bernstein Theorem for σ-Complete MV-Algebras
Czechoslovak Mathematical Journal | 2003-09-25 | Paper |
Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion
Séminaire Lotharingien de Combinatoire | 2003-07-07 | Paper |
| scientific article; zbMATH DE number 1857857 (Why is no real title available?) | 2003-04-10 | Paper |
| scientific article; zbMATH DE number 1790416 (Why is no real title available?) | 2003-03-27 | Paper |
| scientific article; zbMATH DE number 1302674 (Why is no real title available?) | 2003-01-13 | Paper |
| scientific article; zbMATH DE number 1302674 (Why is no real title available?) | 2003-01-13 | Paper |
| scientific article; zbMATH DE number 1696632 (Why is no real title available?) | 2002-10-22 | Paper |
| scientific article; zbMATH DE number 1775503 (Why is no real title available?) | 2002-08-04 | Paper |
Least adaptive optimal search with unreliable tests
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1577986 (Why is no real title available?) | 2002-01-31 | Paper |
| scientific article; zbMATH DE number 2019877 (Why is no real title available?) | 2002-01-01 | Paper |
Many-valued points and equality
Synthese | 2001-09-12 | Paper |
| scientific article; zbMATH DE number 1617287 (Why is no real title available?) | 2001-07-11 | Paper |
An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit
Studia Logica | 2001-07-09 | Paper |
Decidable and undecidable prime theories in infinite-valued logic
Annals of Pure and Applied Logic | 2001-07-02 | Paper |
| scientific article; zbMATH DE number 1405795 (Why is no real title available?) | 2000-11-27 | Paper |
Perfect two-fault tolerant search with minimum adaptiveness
Advances in Applied Mathematics | 2000-11-16 | Paper |
Foreword: Logics of uncertainty
Journal of Logic, Language and Information | 2000-07-13 | Paper |
| scientific article; zbMATH DE number 1329672 (Why is no real title available?) | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1302501 (Why is no real title available?) | 2000-05-02 | Paper |
| scientific article; zbMATH DE number 1420878 (Why is no real title available?) | 2000-03-22 | Paper |
Algebraic foundations of many-valued reasoning
Trends in Logic -- Studia Logica Library | 2000-01-04 | Paper |
Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
Journal of Algebra | 1999-12-20 | Paper |
Tensor products and the Loomis-Sikorski theorem for MV-algebras
Advances in Applied Mathematics | 1999-11-21 | Paper |
| scientific article; zbMATH DE number 1354164 (Why is no real title available?) | 1999-10-28 | Paper |
Preface to the special issue: Selected papers in honour of Ettore Casari
Studia Logica | 1999-07-20 | Paper |
Classes of ultrasimplicial lattice-ordered abelian groups
Journal of Algebra | 1999-03-30 | Paper |
Resolution and model building in the infinite-valued calculus of Łukasiewicz
Theoretical Computer Science | 1999-03-22 | Paper |
Optimal comparison strategies in Ulam's searching game with two errors
Theoretical Computer Science | 1998-07-22 | Paper |
An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
Studia Logica | 1997-10-30 | Paper |
Cauchy completeness in elementary logic
Journal of Symbolic Logic | 1997-09-29 | Paper |
| scientific article; zbMATH DE number 956482 (Why is no real title available?) | 1997-07-01 | Paper |
Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
Averaging the truth-value in Łukasiewicz logic
Studia Logica | 1996-05-02 | Paper |
| scientific article; zbMATH DE number 795167 (Why is no real title available?) | 1996-02-18 | Paper |
Paper Machines
Philosophia Mathematica | 1996-01-02 | Paper |
An algorithmic desingularization of 3-dimensional toric varieties
Tôhoku Mathematical Journal. Second Series | 1995-07-27 | Paper |
| scientific article; zbMATH DE number 764337 (Why is no real title available?) | 1995-06-14 | Paper |
| scientific article; zbMATH DE number 761275 (Why is no real title available?) | 1995-06-06 | Paper |
| scientific article; zbMATH DE number 554988 (Why is no real title available?) | 1994-12-01 | Paper |
| scientific article; zbMATH DE number 512984 (Why is no real title available?) | 1994-11-22 | Paper |
Extending addition in Elliott's local semigroup
Journal of Functional Analysis | 1994-11-17 | Paper |
A constructive proof of McNaughton's theorem in infinite-valued logic
Journal of Symbolic Logic | 1994-08-15 | Paper |
A characterisation of lattice-ordered Abelian groups
Mathematische Zeitschrift | 1994-06-06 | Paper |
Logic of infinite quantum systems
International Journal of Theoretical Physics | 1994-05-26 | Paper |
| scientific article; zbMATH DE number 440109 (Why is no real title available?) | 1994-02-02 | Paper |
Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
Advances in Mathematics | 1994-01-26 | Paper |
| scientific article; zbMATH DE number 437517 (Why is no real title available?) | 1993-12-12 | Paper |
| scientific article; zbMATH DE number 408804 (Why is no real title available?) | 1993-09-06 | Paper |
Solution of Rota's problem on the order of series-parallel networks
Advances in Applied Mathematics | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 57852 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 7591 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4177893 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4135917 (Why is no real title available?) | 1989-01-01 | Paper |
Ulam's searching game with lies
Journal of Combinatorial Theory. Series A | 1989-01-01 | Paper |
Functions computed by monotone Boolean formulas with no repeated variables
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4075025 (Why is no real title available?) | 1988-01-01 | Paper |
Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
Advances in Mathematics | 1988-01-01 | Paper |
Free products in the category of Abelian \(\ell\)-groups with strong unit
Journal of Algebra | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4057480 (Why is no real title available?) | 1988-01-01 | Paper |
Solution of Ulam's problem on binary search with two lies
Journal of Combinatorial Theory. Series A | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4041895 (Why is no real title available?) | 1987-01-01 | Paper |
Every Abelian \(\ell\)-group with two positive generators is ultrasimplicial
Journal of Algebra | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4031691 (Why is no real title available?) | 1987-01-01 | Paper |
| A Simple Construction of Robinson Equivalence Relations | 1987-01-01 | Paper |
Satisfiability in many-valued sentential logic is NP-complete
Theoretical Computer Science | 1987-01-01 | Paper |
Inverse topological systems and compactness in abstract model theory
Journal of Symbolic Logic | 1986-01-01 | Paper |
Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
Journal of Functional Analysis | 1986-01-01 | Paper |
Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
Journal of Algebra | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4029565 (Why is no real title available?) | 1986-01-01 | Paper |
Embeddings, amalgamation and elementary equivalence: the representation of compact logics
Fundamenta Mathematicae | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3893173 (Why is no real title available?) | 1984-01-01 | Paper |
Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity
Annals of Pure and Applied Logic | 1984-01-01 | Paper |
A generalization of abstract model theory
Fundamenta Mathematicae | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3954886 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3928981 (Why is no real title available?) | 1984-01-01 | Paper |
A lower bound for the complexity of Craig's interpolants in sentential logic
Archiv für Mathematische Logik und Grundlagenforschung | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3853054 (Why is no real title available?) | 1983-01-01 | Paper |
Natural limitations of decision procedures for arithmetic with bounded quantifiers
Archiv für Mathematische Logik und Grundlagenforschung | 1983-01-01 | Paper |
Compactness=JEP in any logic
Fundamenta Mathematicae | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3906484 (Why is no real title available?) | 1983-01-01 | Paper |
| Duality Between Logics and Equivalence Relations | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3836009 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3799636 (Why is no real title available?) | 1982-01-01 | Paper |
Interpolation, compactness and JEP in soft model theory
Archiv für mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
Compactness, interpolation and Friedman's third problem
Annals of Mathematical Logic | 1982-01-01 | Paper |
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes
Studia Logica | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3827841 (Why is no real title available?) | 1981-01-01 | Paper |
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem
Journal of Symbolic Logic | 1981-01-01 | Paper |
Applications of Many‐Sorted Robinson Consistency Theorem
Mathematical Logic Quarterly | 1981-01-01 | Paper |
| Ergodic Undefinability in Set Theory and Recursion Theory | 1981-01-01 | Paper |
Robinson's Consistency Theorem in Soft Model Theory
Transactions of the American Mathematical Society | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3819690 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3726321 (Why is no real title available?) | 1979-01-01 | Paper |
