Publication | Date of Publication | Type |
---|
Yosida frames in free abelian \(\ell \)-groups | 2023-09-19 | Paper |
Finite and infinite primes in models of PA | 2022-12-20 | Paper |
Computing on Lattice-Ordered Abelian Groups | 2022-11-09 | Paper |
AF-algebras with lattice-ordered \(K_0\): logic and computation | 2022-10-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5869605 | 2022-09-28 | Paper |
The read once formula of a series-parallel network | 2022-08-24 | Paper |
Consequence Relations with Real Truth Values | 2022-01-04 | Paper |
Deciding Koopman's qualitative probability | 2021-11-02 | Paper |
Bratteli diagrams via the De Concini–Procesi theorem | 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 | 2021-04-23 | Paper |
The differential of probabilistic entailment | 2021-04-14 | Paper |
WHAT THE ŁUKASIEWICZ AXIOMS MEAN | 2021-03-19 | Paper |
De Finetti coherence and the product law for independent events | 2021-01-19 | Paper |
Complete and computable orbit invariants in the geometry of the affine group over the integers | 2020-09-03 | Paper |
Coherence of the Product Law for Independent Continuous Events | 2020-08-06 | Paper |
A Geometric Approach to MV-Algebras | 2020-02-04 | Paper |
Betting on continuous independent events | 2019-08-12 | Paper |
Triangles in Diophantine approximation | 2019-05-16 | Paper |
Basic geometry of the affine group over Z | 2019-02-03 | Paper |
Word problems in Elliott monoids | 2018-08-29 | Paper |
Recognizing free generating sets of \(\ell\)-groups | 2018-07-16 | Paper |
Approaching central projections in AF-algebras | 2018-06-11 | Paper |
Coherence of de Finetti coherence | 2018-03-27 | Paper |
Polyhedral MV-algebras | 2018-02-19 | Paper |
Fans, decision problems and generators of free abelian \(\ell\)-groups | 2017-12-01 | Paper |
Faulty sets of Boolean formulas and ukasiewicz logic | 2017-05-17 | Paper |
Diophantine approximation by almost equilateral triangles | 2017-05-09 | Paper |
Classifying orbits of the affine group over the integers | 2017-04-11 | Paper |
Germinal theories in Łukasiewicz logic | 2017-03-16 | Paper |
Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups | 2016-11-28 | Paper |
Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras | 2016-11-11 | Paper |
Classifying GL\((n,\mathbb{Z})\)-orbits of points and rational subspaces | 2016-10-14 | Paper |
Logic on then-cube | 2016-04-28 | Paper |
The Differential Semantics of Łukasiewicz Syntactic Consequence | 2015-10-06 | Paper |
Retractions of free MV-algebras and unital $\ell$-groups | 2015-09-20 | Paper |
A Stone-Weierstrass theorem for MV-algebras and unital -groups | 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 | 2015-04-17 | Paper |
Severi-Bouligand tangents, Frenet frames and Riesz spaces | 2015-02-06 | Paper |
Universal properties of Łukasiewicz consequence | 2015-02-05 | Paper |
Interval MV-algebras and generalizations. | 2014-10-08 | Paper |
The Euler characteristic and valuations on MV-algebras | 2014-08-21 | Paper |
Bouligand-Severi tangents in MV-algebras. | 2014-05-08 | Paper |
Invariant Measure Under the Affine Group Over | 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 |
https://portal.mardi4nfdi.de/entity/Q4918411 | 2013-04-24 | Paper |
Foreword to the special issue dedicated to the memory of Leo Esakia | 2012-10-01 | Paper |
RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT | 2012-08-27 | Paper |
Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups | 2012-04-18 | Paper |
Finitely presented lattice-ordered abelian groups with order-unit | 2012-02-11 | Paper |
Logic: A Brief Course | 2012-02-01 | Paper |
Revisiting the Farey AF algebra | 2011-12-20 | Paper |
Consequence and interpolation in Łukasiewicz logic | 2011-11-23 | Paper |
Finite axiomatizability in Łukasiewicz logic | 2011-09-22 | Paper |
From free abelian groups to free abelian ℓ-groups | 2011-07-15 | Paper |
A Compact [0,1-valued First-order Lukasiewicz Logic with Identity on Hilbert Space] | 2011-06-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q2998393 | 2011-05-18 | Paper |
Logica: Metodo Breve | 2011-03-03 | Paper |
Advanced Łukasiewicz calculus and MV-algebras | 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 | 2010-06-16 | Paper |
De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic] | 2010-03-22 | Paper |
Recognizing the Farey-Stern-Brocot AF algebra | 2009-11-23 | Paper |
Interpretation of De Finetti coherence criterion in Łukasiewicz logic | 2009-11-04 | Paper |
Conditionals and Independence in Many-Valued Logics | 2009-07-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3621801 | 2009-04-21 | Paper |
Faithful and Invariant Conditional Probability in Łukasiewicz Logic | 2009-02-05 | Paper |
Gödel incompleteness in AF C*-algebras | 2008-12-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3522700 | 2008-09-03 | Paper |
The Haar theorem for lattice-ordered abelian groups with order-unit | 2008-07-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q3508714 | 2008-07-01 | Paper |
The Lebesgue state of a unital abelian lattice-ordered group | 2007-10-09 | Paper |
Free generating sets of lattice-ordered abelian groups | 2007-09-03 | Paper |
Geometry of Robinson consistency in Łukasiewicz logic | 2007-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q3440002 | 2007-05-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3435579 | 2007-05-07 | Paper |
Bookmaking over infinite-valued events | 2007-02-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3421450 | 2007-02-13 | Paper |
Revisiting the free 2-generator abelian \(\ell\)-group | 2007-02-02 | Paper |
Lattice-ordered Abelian groups and Schauder bases of unimodular fans | 2007-02-01 | Paper |
Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit | 2006-12-07 | Paper |
A characterization of the free \(n\)-generated MV-algebra | 2006-03-21 | Paper |
MV-algebras: a variety for magnitudes with archimedean units | 2006-01-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5693613 | 2005-09-26 | Paper |
Computing and Combinatorics | 2005-06-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4680301 | 2005-06-07 | Paper |
Extending Stone duality to multisets and locally finite MV-algebras. | 2004-07-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4463932 | 2004-06-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4450452 | 2004-02-15 | Paper |
Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem | 2004-02-12 | Paper |
A Cantor-Bernstein Theorem for σ-Complete MV-Algebras | 2003-09-25 | Paper |
Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion | 2003-07-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4788820 | 2003-04-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4549481 | 2003-03-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4249226 | 2003-01-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2766824 | 2002-10-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4542633 | 2002-08-04 | Paper |
Least adaptive optimal search with unreliable tests | 2002-03-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q2704221 | 2002-01-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q4440573 | 2002-01-01 | Paper |
Many-valued points and equality | 2001-09-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q2722011 | 2001-07-11 | Paper |
An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit | 2001-07-09 | Paper |
Decidable and undecidable prime theories in infinite-valued logic | 2001-07-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4938780 | 2000-11-27 | Paper |
Perfect two-fault tolerant search with minimum adaptiveness | 2000-11-16 | Paper |
Foreword: Logics of uncertainty | 2000-07-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4258028 | 2000-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4249031 | 2000-05-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4944947 | 2000-03-22 | Paper |
Algebraic foundations of many-valued reasoning | 2000-01-04 | Paper |
Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics | 1999-12-20 | Paper |
Tensor products and the Loomis-Sikorski theorem for MV-algebras | 1999-11-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4268479 | 1999-10-28 | Paper |
Preface to the special issue: Selected papers in honour of Ettore Casari | 1999-07-20 | Paper |
Classes of ultrasimplicial lattice-ordered abelian groups | 1999-03-30 | Paper |
Resolution and model building in the infinite-valued calculus of Łukasiewicz | 1999-03-22 | Paper |
Optimal comparison strategies in Ulam's searching game with two errors | 1998-07-22 | Paper |
An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz | 1997-10-30 | Paper |
Cauchy completeness in elementary logic | 1997-09-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q3837739 | 1997-07-01 | Paper |
Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual | 1997-05-13 | Paper |
Averaging the truth-value in Łukasiewicz logic | 1996-05-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4845316 | 1996-02-18 | Paper |
Paper Machines | 1996-01-02 | Paper |
An algorithmic desingularization of 3-dimensional toric varieties | 1995-07-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4836220 | 1995-06-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4835610 | 1995-06-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4288807 | 1994-12-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4281693 | 1994-11-22 | Paper |
Extending addition in Elliott's local semigroup | 1994-11-17 | Paper |
A constructive proof of McNaughton's theorem in infinite-valued logic | 1994-08-15 | Paper |
A characterisation of lattice-ordered Abelian groups | 1994-06-06 | Paper |
Logic of infinite quantum systems | 1994-05-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3142018 | 1994-02-02 | Paper |
Reconstructing \(C^*\)-algebras from their Murray von Neumann orders | 1994-01-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3140387 | 1993-12-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4202949 | 1993-09-06 | Paper |
Solution of Rota's problem on the order of series-parallel networks | 1992-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4004806 | 1992-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q3970537 | 1992-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q3202690 | 1990-01-01 | Paper |
Ulam's searching game with lies | 1989-01-01 | Paper |
Functions computed by monotone Boolean formulas with no repeated variables | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3469088 | 1989-01-01 | Paper |
Free products in the category of Abelian \(\ell\)-groups with strong unit | 1988-01-01 | Paper |
Solution of Ulam's problem on binary search with two lies | 1988-01-01 | Paper |
Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3792657 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3807181 | 1988-01-01 | Paper |
Every Abelian \(\ell\)-group with two positive generators is ultrasimplicial | 1987-01-01 | Paper |
Satisfiability in many-valued sentential logic is NP-complete | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3772222 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3781089 | 1987-01-01 | Paper |
A Simple Construction of Robinson Equivalence Relations | 1987-01-01 | Paper |
Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras | 1986-01-01 | Paper |
Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus | 1986-01-01 | Paper |
Inverse topological systems and compactness in abstract model theory | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3770539 | 1986-01-01 | Paper |
Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3703882 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3724312 | 1984-01-01 | Paper |
A generalization of abstract model theory | 1984-01-01 | Paper |
Embeddings, amalgamation and elementary equivalence: the representation of compact logics | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5184889 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3322085 | 1983-01-01 | Paper |
Natural limitations of decision procedures for arithmetic with bounded quantifiers | 1983-01-01 | Paper |
Compactness=JEP in any logic | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3684112 | 1983-01-01 | Paper |
A lower bound for the complexity of Craig's interpolants in sentential logic | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3043125 | 1982-01-01 | Paper |
Interpolation, compactness and JEP in soft model theory | 1982-01-01 | Paper |
Compactness, interpolation and Friedman's third problem | 1982-01-01 | Paper |
Duality Between Logics and Equivalence Relations | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4744264 | 1982-01-01 | Paper |
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes | 1981-01-01 | Paper |
Robinson's Consistency Theorem in Soft Model Theory | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3674632 | 1981-01-01 | Paper |
Applications of Many‐Sorted Robinson Consistency Theorem | 1981-01-01 | Paper |
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem | 1981-01-01 | Paper |
Ergodic Undefinability in Set Theory and Recursion Theory | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3666825 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3914968 | 1979-01-01 | Paper |