Publication | Date of Publication | Type |
---|
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION | 2024-04-05 | Paper |
Separable MV-algebras and lattice-ordered groups | 2024-03-14 | Paper |
The Intermediate Logic of Convex Polyhedra | 2023-07-31 | Paper |
Stone-Gelfand duality for metrically complete lattice-ordered groups | 2022-10-27 | Paper |
Priestley duality for MV-algebras and beyond | 2022-04-04 | Paper |
The two-sorted algebraic theory of states, and the universal states of MV-algebras | 2021-07-14 | Paper |
A characterisation of the category of compact Hausdorff spaces | 2020-12-03 | Paper |
General affine adjunctions, Nullstellensätze, and dualities | 2020-08-28 | Paper |
Orders on groups, and spectral spaces of lattice-groups | 2020-04-15 | Paper |
Priestley duality for MV-algebras and beyond | 2020-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4583681 | 2018-09-03 | Paper |
From Freudenthal's spectral theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra | 2018-04-13 | Paper |
Tarski's theorem on intuitionistic logic, for polyhedra | 2018-03-21 | Paper |
Generalised states: a multi-sorted algebraic approach to probability | 2018-02-23 | Paper |
Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) | 2017-01-05 | Paper |
The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic | 2016-04-28 | Paper |
The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency | 2016-01-27 | Paper |
The Chinese Remainder Theorem for Strongly Semisimple MV-Algebras and Lattice-Groups | 2015-11-26 | Paper |
Two Principles in Many-Valued Logic | 2015-10-06 | Paper |
De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces. | 2015-06-18 | Paper |
Idempotent generated algebras and Boolean powers of commutative rings | 2015-05-04 | Paper |
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality | 2014-09-04 | Paper |
From Freudenthal's Spectral Theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra | 2014-06-12 | Paper |
Unital hyperarchimedean vector lattices | 2014-05-27 | Paper |
MV-algebras freely generated by finite Kleene algebras. | 2013-12-23 | Paper |
Two isomorphism criteria for directed colimits | 2013-12-02 | Paper |
Lattice-ordered Abelian groups and Schauder bases of unimodular fans, II | 2013-07-08 | Paper |
Łukasiewicz Logic: An Introduction | 2013-04-12 | Paper |
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras | 2013-02-19 | Paper |
Stone duality for real-valued multisets | 2012-11-30 | Paper |
The dual adjunction between MV-algebras and Tychonoff spaces | 2012-10-01 | Paper |
Computing Minimal Axiomatizations in Godel Propositional Logic | 2011-11-10 | Paper |
Finitely Presented MV-algebras with Finite Automorphism Group | 2010-08-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3584006 | 2010-08-18 | Paper |
Algebra and probability in many-valued reasoning. A special issue of Studia Logica. Foreword | 2010-04-26 | Paper |
An analysis of Ruspini partitions in Gödel logic | 2010-04-07 | Paper |
The Lebesgue state of a unital abelian lattice-ordered group, II | 2010-01-29 | Paper |
A temporal semantics for basic logic | 2009-11-16 | Paper |
Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms | 2009-07-02 | Paper |
Open Partitions and Probability Assignments in Gödel Logic | 2009-07-02 | Paper |
De Finetti's no-Dutch-book criterion for Gödel logic | 2009-03-17 | Paper |
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras | 2009-02-24 | Paper |
Gödel algebras free over finite distributive lattices | 2008-11-12 | Paper |
The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic | 2008-09-16 | Paper |
A characterization of MV-algebras free over finite distributive lattices | 2008-08-18 | Paper |
Weinberg's theorem, Elliott's ultrasimplicial property, and a characterisation of free lattice-ordered Abelian groups | 2008-08-11 | Paper |
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications | 2007-11-19 | Paper |
The Lebesgue state of a unital abelian lattice-ordered group | 2007-10-09 | Paper |
The underlying group of any finitely generated abelian lattice-ordered group is free | 2007-07-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q3440002 | 2007-05-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3421450 | 2007-02-13 | Paper |
Lattice-ordered Abelian groups and Schauder bases of unimodular fans | 2007-02-01 | Paper |
Computing coproducts of finitely presented Gödel algebras | 2006-09-14 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q5693613 | 2005-09-26 | Paper |
EMBEDDING FINITELY GENERATED ABELIAN LATTICE-ORDERED GROUPS: HIGMAN'S THEOREM AND A REALISATION OF $\pi$ | 2004-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4463932 | 2004-06-08 | Paper |
Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion | 2003-07-07 | Paper |
Every Abelian \(\ell\)-group is ultrasimplicial | 2000-06-07 | Paper |