| Publication | Date of Publication | Type |
|---|
| Stable Non-standard Imprecise Probabilities | 2019-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4627751 | 2019-03-11 | Paper |
| Varieties of BL-algebras. II | 2018-10-02 | Paper |
| STRICT COHERENCE ON MANY-VALUED EVENTS | 2018-05-02 | Paper |
| Proof search and co-NP completeness for many-valued logics | 2018-02-19 | Paper |
| The Rényi-Ulam games and many-valued logics | 2018-01-22 | Paper |
| Proof search in Hájek's basic logic | 2017-07-12 | Paper |
| A classification of certain group-like \(\mathrm{FL}_e\)-chains | 2017-03-09 | Paper |
| Erratum to: ``A classification of certain group-like \(\mathrm{FL}_e\)-chains | 2017-03-08 | Paper |
| Taking the Pirahã seriously | 2016-01-25 | Paper |
| Trakhtenbrot theorem and first-order axiomatic extensions of MTL | 2015-12-07 | Paper |
| Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL | 2015-12-07 | Paper |
| Introduction | 2015-10-06 | Paper |
| Non-standard probability, coherence and conditional probability on many-valued events | 2015-07-10 | Paper |
| A categorical equivalence for product algebras | 2015-07-02 | Paper |
| Amalgamation and interpolation in ordered algebras. | 2014-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406036 | 2014-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406042 | 2014-04-01 | Paper |
| Proof theory for locally finite many-valued logics: semi-projective logics | 2013-11-29 | Paper |
| Strongly involutive uninorm algebras | 2013-06-27 | Paper |
| Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic | 2013-04-16 | Paper |
| A short note on essentially \(\Sigma_1\) sentences | 2013-04-08 | Paper |
| Polynomial space hardness without disjunction property | 2013-02-19 | Paper |
| \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation | 2012-10-01 | Paper |
| Partially undetermined many-valued events and their conditional probability | 2012-09-20 | Paper |
| Quantifier elimination and other model-theoretic properties of BL-algebras | 2011-12-21 | Paper |
| An algebraic treatment of imprecise probabilities | 2011-12-01 | Paper |
| A logical characterization of coherence for imprecise probabilities | 2011-11-22 | Paper |
| State morphism MV-algebras | 2011-11-22 | Paper |
| A Notion of Coherence for Books on Conditional Events in Many-valued Logic | 2011-11-10 | Paper |
| Models for Many-Valued Probabilistic Reasoning | 2011-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998392 | 2011-05-18 | Paper |
| \(n\)-contractive BL-logics | 2011-05-11 | Paper |
| Completeness with respect to a chain and universal models in fuzzy logic | 2011-03-02 | Paper |
| Embedding theorems for classes of GBL-algebras | 2010-04-22 | Paper |
| Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics | 2010-04-21 | Paper |
| MV-algebras with internal states and probabilistic fuzzy logics | 2010-04-07 | Paper |
| Learning Theory and Kernel Machines | 2010-03-23 | Paper |
| Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions | 2010-03-18 | Paper |
| On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) | 2010-03-18 | Paper |
| The Blok-Ferreirim theorem for normal GBL-algebras and its application | 2010-01-22 | Paper |
| Supersound many-valued logics and Dedekind-MacNeille completions | 2009-12-14 | Paper |
| Ordered groups with a conucleus | 2009-11-04 | Paper |
| Two cooperative versions of the guessing secrets problem | 2009-10-01 | Paper |
| Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies | 2009-06-17 | Paper |
| Archimedean classes in integral commutative residuated chains | 2009-06-11 | Paper |
| The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete | 2009-03-25 | Paper |
| A note on the first‐order logic of complete BL‐chains | 2008-08-15 | Paper |
| Complexity and Definability Issues in LFormula | 2007-12-17 | Paper |
| Basic hoops: an algebraic study of continuous t-norms | 2007-12-03 | Paper |
| Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops | 2007-11-15 | Paper |
| Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions | 2007-11-15 | Paper |
| Substructural fuzzy logics | 2007-10-17 | Paper |
| Retracted: Ordered groups with a modality | 2007-09-03 | Paper |
| Product logic and probabilistic Ulam games | 2007-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3428802 | 2007-03-29 | Paper |
| On the structure of generalized BL-algebras | 2007-01-29 | Paper |
| On Weakly Cancellative Fuzzy Logics | 2006-12-04 | Paper |
| Interpolation and Beth's property in propositional many-valued logics: a semantic investigation | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5475635 | 2006-06-27 | Paper |
| Varieties of BL-algebras | 2006-03-02 | Paper |
| Generating the variety of BL-algebras | 2006-03-02 | Paper |
| Subreducts of MV-algebras with product and product residuation | 2006-01-06 | Paper |
| Continuous approximations of product implication in MV-algebras with product | 2005-11-16 | Paper |
| On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms | 2005-10-10 | Paper |
| The Guessing Secrets problem: a probabilistic approach | 2005-06-30 | Paper |
| Equational fragments of systems for arithmetic. | 2005-04-19 | Paper |
| A logical and algebraic treatment of conditional probability | 2005-03-02 | Paper |
| On the predicate logics of continuous t-norm BL-algebras | 2005-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825702 | 2004-11-05 | Paper |
| Storage Operators and Multiplicative Quantifiers in Many-valued Logics | 2004-10-15 | Paper |
| Equational characterization of the subvarieties of BL generated by t-norm algebras | 2004-08-06 | Paper |
| A Tableau Calculus for Hajek's Logic BL | 2004-05-18 | Paper |
| Corrigendum to “Kripke‐style semantics for many‐valued logics” | 2004-03-15 | Paper |
| On the continuity points of left-continuous t-norms | 2004-03-07 | Paper |
| Kripke‐style semantics for many‐valued logics | 2004-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4442749 | 2004-01-20 | Paper |
| Hoops and Fuzzy Logic | 2003-11-10 | Paper |
| Varieties of BL-algebras. I: General properties. | 2003-06-18 | Paper |
| A general method for constructing left-continuous t-norms | 2003-06-17 | Paper |
| PAC learning of probability distributions over a discrete domain. | 2003-05-25 | Paper |
| On a class of left-continuous \(\text t\)-norms | 2003-04-02 | Paper |
| Complexity of t-tautologies | 2003-03-06 | Paper |
| Investigations on Fragments of First Order Branching Temporal Logic | 2003-01-07 | Paper |
| Adding structure to MV-algebras | 2002-09-16 | Paper |
| On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic | 2002-08-26 | Paper |
| Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) | 2002-08-26 | Paper |
| A proof of standard completeness for Esteva and Godo's logic MTL | 2002-07-08 | Paper |
| Functorial representation theorems for MV\(_\Delta\) algebras with additional operators | 2002-06-16 | Paper |
| Three complexity problems in quantified fuzzy logic | 2002-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2784598 | 2002-05-05 | Paper |
| The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics | 2001-05-06 | Paper |
| An operational logic of proofs with positive and negative information | 2000-11-05 | Paper |
| Learning to coordinate; a recursion theoretic perspective | 2000-09-05 | Paper |
| An algebraic approach to propositional fuzzy logic | 2000-08-23 | Paper |
| A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain | 2000-06-21 | Paper |
| Paradigms in measure theoretic learning and in informant learning | 1999-05-24 | Paper |
| Investigations on measure-one identification of classes of languages | 1998-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4348126 | 1998-01-26 | Paper |
| An algebraic treatment of quantifier-free systems of arithmetic | 1996-06-11 | Paper |
| Logic and probabilistic systems | 1996-06-11 | Paper |
| A minimal predicative set theory | 1995-07-20 | Paper |
| A Note on Relative Efficiency of Axiom Systems | 1995-05-14 | Paper |
| On first-order theories with provability operator | 1995-02-13 | Paper |
| The logic of \(\Pi_ 1\)-conservativity continued | 1994-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140637 | 1993-12-05 | Paper |
| Polynomially and superexponentially shorter proofs in fragments of arithmetic | 1993-04-01 | Paper |
| Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic. | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971436 | 1992-06-25 | Paper |
| On the proof of Solovay's theorem | 1992-06-25 | Paper |
| Rosser orderings and free variables | 1992-06-25 | Paper |
| A note on some extension results | 1992-06-25 | Paper |
| The logic of \(\Pi_ 1\)-conservativity | 1990-01-01 | Paper |
| Much shorter proofs: A bimodal investigation | 1990-01-01 | Paper |
| Rosser Orderings in Bimodal Logics | 1989-01-01 | Paper |
| Much Shorter Proofs | 1989-01-01 | Paper |
| ``Pathologies in two syntactic categories of partial maps | 1989-01-01 | Paper |
| Creativeness and completeness in recursion categories of partial recursive operators | 1989-01-01 | Paper |
| Rosser and Mostowski sentences | 1988-01-01 | Paper |
| Provable Fixed Points | 1988-01-01 | Paper |
| Generic generalized Rosser fixed points | 1987-01-01 | Paper |
| Provability in finite subtheories of PA and relative interpretability: a modal investigation | 1987-01-01 | Paper |
| Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3699666 | 1985-01-01 | Paper |
| Universal recursion theoretic properties of r.e. preordered structures | 1985-01-01 | Paper |
| The predicate modal logic of provability | 1984-01-01 | Paper |
| Equivalence relations induced by extensional formulae: classification by means of a new fixed point property | 1984-01-01 | Paper |
| A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS | 1984-01-01 | Paper |
| The well-founded algebras | 1983-01-01 | Paper |
| ZFC-MODELS AS KRIPKE-MODELS | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671157 | 1983-01-01 | Paper |
| Relatively precomplete numerations and arithmetic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893901 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898470 | 1980-01-01 | Paper |
| Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic | 1980-01-01 | Paper |
| The undecidability of the first-order theory of diagonalizable algebras | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3852250 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190631 | 1979-01-01 | Paper |
| On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) | 1978-01-01 | Paper |
| For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.) | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065538 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081301 | 1974-01-01 | Paper |
