| Publication | Date of Publication | Type |
|---|
Stable non-standard imprecise probabilities
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2019-07-26 | Paper |
| scientific article; zbMATH DE number 7034309 (Why is no real title available?) | 2019-03-11 | Paper |
Varieties of BL-algebras. II
Studia Logica | 2018-10-02 | Paper |
Strict coherence on many-valued events
Journal of Symbolic Logic | 2018-05-02 | Paper |
Proof search and co-NP completeness for many-valued logics
Fuzzy Sets and Systems | 2018-02-19 | Paper |
The Rényi-Ulam games and many-valued logics
Fuzzy Sets and Systems | 2018-01-22 | Paper |
Proof search in Hájek's basic logic
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A classification of certain group-like \(\mathrm{FL}_e\)-chains
Synthese | 2017-03-09 | Paper |
Erratum to: ``A classification of certain group-like \(\mathrm{FL}_e\)-chains
Synthese | 2017-03-08 | Paper |
Taking the Pirahã seriously
Communications in Nonlinear Science and Numerical Simulation | 2016-01-25 | Paper |
Trakhtenbrot theorem and first-order axiomatic extensions of MTL
Studia Logica | 2015-12-07 | Paper |
Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL
Studia Logica | 2015-12-07 | Paper |
Introduction
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
Non-standard probability, coherence and conditional probability on many-valued events
International Journal of Approximate Reasoning | 2015-07-10 | Paper |
A categorical equivalence for product algebras
Studia Logica | 2015-07-02 | Paper |
Amalgamation and interpolation in ordered algebras.
Journal of Algebra | 2014-07-25 | Paper |
| scientific article; zbMATH DE number 6276276 (Why is no real title available?) | 2014-04-01 | Paper |
| scientific article; zbMATH DE number 6276270 (Why is no real title available?) | 2014-04-01 | Paper |
Proof theory for locally finite many-valued logics: semi-projective logics
Theoretical Computer Science | 2013-11-29 | Paper |
Strongly involutive uninorm algebras
Journal Of Logic And Computation | 2013-06-27 | Paper |
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
Forum Mathematicum | 2013-04-16 | Paper |
A short note on essentially \(\Sigma_1\) sentences
Logica Universalis | 2013-04-08 | Paper |
Polynomial space hardness without disjunction property
Theoretical Computer Science | 2013-02-19 | Paper |
\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
Studia Logica | 2012-10-01 | Paper |
Partially undetermined many-valued events and their conditional probability
Journal of Philosophical Logic | 2012-09-20 | Paper |
Quantifier elimination and other model-theoretic properties of BL-algebras
Notre Dame Journal of Formal Logic | 2011-12-21 | Paper |
An algebraic treatment of imprecise probabilities
Demonstratio Mathematica | 2011-12-01 | Paper |
A logical characterization of coherence for imprecise probabilities
International Journal of Approximate Reasoning | 2011-11-22 | Paper |
State morphism MV-algebras
International Journal of Approximate Reasoning | 2011-11-22 | Paper |
A notion of coherence for books on conditional events in many-valued logic
Journal Of Logic And Computation | 2011-11-10 | Paper |
Models for Many-Valued Probabilistic Reasoning
Journal Of Logic And Computation | 2011-06-20 | Paper |
| scientific article; zbMATH DE number 5896241 (Why is no real title available?) | 2011-05-18 | Paper |
\(n\)-contractive BL-logics
Archive for Mathematical Logic | 2011-05-11 | Paper |
Completeness with respect to a chain and universal models in fuzzy logic
Archive for Mathematical Logic | 2011-03-02 | Paper |
Embedding theorems for classes of GBL-algebras
Journal of Pure and Applied Algebra | 2010-04-22 | Paper |
Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
Journal Of Logic And Computation | 2010-04-21 | Paper |
MV-algebras with internal states and probabilistic fuzzy logics
International Journal of Approximate Reasoning | 2010-04-07 | Paper |
On learning to coordinate. Random bits help, insightful normal forms, and competency isomorphisms
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
Fuzzy Sets and Systems | 2010-03-18 | Paper |
On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)
International Journal of Approximate Reasoning | 2010-03-18 | Paper |
The Blok-Ferreirim theorem for normal GBL-algebras and its application
Algebra Universalis | 2010-01-22 | Paper |
Supersound many-valued logics and Dedekind-MacNeille completions
Archive for Mathematical Logic | 2009-12-14 | Paper |
Ordered groups with a conucleus
Journal of Pure and Applied Algebra | 2009-11-04 | Paper |
Two cooperative versions of the guessing secrets problem
Information Sciences | 2009-10-01 | Paper |
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
Annals of Pure and Applied Logic | 2009-06-17 | Paper |
Archimedean classes in integral commutative residuated chains
Mathematical Logic Quarterly | 2009-06-11 | Paper |
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
Theoretical Computer Science | 2009-03-25 | Paper |
A note on the first‐order logic of complete BL‐chains
MLQ | 2008-08-15 | Paper |
Complexity and Definability Issues in LFormula
Journal Of Logic And Computation | 2007-12-17 | Paper |
Basic hoops: an algebraic study of continuous t-norms
Studia Logica | 2007-12-03 | Paper |
Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
Lecture Notes in Computer Science | 2007-11-15 | Paper |
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops
Lecture Notes in Computer Science | 2007-11-15 | Paper |
Substructural fuzzy logics
Journal of Symbolic Logic | 2007-10-17 | Paper |
Retracted: Ordered groups with a modality
Journal of Pure and Applied Algebra | 2007-09-03 | Paper |
Product logic and probabilistic Ulam games
Fuzzy Sets and Systems | 2007-04-18 | Paper |
| A variant of the guessing secrets game | 2007-03-29 | Paper |
On the structure of generalized BL-algebras
Algebra Universalis | 2007-01-29 | Paper |
On Weakly Cancellative Fuzzy Logics
Journal Of Logic And Computation | 2006-12-04 | Paper |
Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
| scientific article; zbMATH DE number 5036170 (Why is no real title available?) | 2006-06-27 | Paper |
Varieties of BL-algebras
Soft Computing | 2006-03-02 | Paper |
Generating the variety of BL-algebras
Soft Computing | 2006-03-02 | Paper |
Subreducts of MV-algebras with product and product residuation
Algebra Universalis | 2006-01-06 | Paper |
Continuous approximations of product implication in MV-algebras with product
Soft Computing | 2005-11-16 | Paper |
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms
Journal of Computer and System Sciences | 2005-10-10 | Paper |
The Guessing Secrets problem: a probabilistic approach
Journal of Algorithms | 2005-06-30 | Paper |
Equational fragments of systems for arithmetic.
Algebra Universalis | 2005-04-19 | Paper |
A logical and algebraic treatment of conditional probability
Archive for Mathematical Logic | 2005-03-02 | Paper |
On the predicate logics of continuous t-norm BL-algebras
Archive for Mathematical Logic | 2005-02-22 | Paper |
| scientific article; zbMATH DE number 2113968 (Why is no real title available?) | 2004-11-05 | Paper |
Storage Operators and Multiplicative Quantifiers in Many-valued Logics
Journal Of Logic And Computation | 2004-10-15 | Paper |
Equational characterization of the subvarieties of BL generated by t-norm algebras
Studia Logica | 2004-08-06 | Paper |
A Tableau Calculus for Hajek's Logic BL
Journal Of Logic And Computation | 2004-05-18 | Paper |
Corrigendum to “Kripke‐style semantics for many‐valued logics”
Mathematical Logic Quarterly | 2004-03-15 | Paper |
On the continuity points of left-continuous t-norms
Archive for Mathematical Logic | 2004-03-07 | Paper |
Kripke‐style semantics for many‐valued logics
Mathematical Logic Quarterly | 2004-02-12 | Paper |
| scientific article; zbMATH DE number 2030505 (Why is no real title available?) | 2004-01-20 | Paper |
Hoops and Fuzzy Logic
Journal Of Logic And Computation | 2003-11-10 | Paper |
Varieties of BL-algebras. I: General properties.
Journal of Pure and Applied Algebra | 2003-06-18 | Paper |
A general method for constructing left-continuous t-norms
Fuzzy Sets and Systems | 2003-06-17 | Paper |
PAC learning of probability distributions over a discrete domain.
Theoretical Computer Science | 2003-05-25 | Paper |
On a class of left-continuous \(\text t\)-norms
Fuzzy Sets and Systems | 2003-04-02 | Paper |
Complexity of t-tautologies
Annals of Pure and Applied Logic | 2003-03-06 | Paper |
Investigation on fragments of first order branching temporal logic
Mathematical Logic Quarterly (MLQ) | 2003-01-07 | Paper |
Adding structure to MV-algebras
Journal of Pure and Applied Algebra | 2002-09-16 | Paper |
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
Studia Logica | 2002-08-26 | Paper |
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
Studia Logica | 2002-08-26 | Paper |
A proof of standard completeness for Esteva and Godo's logic MTL
Studia Logica | 2002-07-08 | Paper |
Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
Journal of Algebra | 2002-06-16 | Paper |
Three complexity problems in quantified fuzzy logic
Studia Logica | 2002-05-13 | Paper |
| Free \(\text{BL}_\Delta\)-algebras | 2002-05-05 | Paper |
The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
Archive for Mathematical Logic | 2001-05-06 | Paper |
An operational logic of proofs with positive and negative information
Studia Logica | 2000-11-05 | Paper |
Learning to coordinate; a recursion theoretic perspective
Synthese | 2000-09-05 | Paper |
An algebraic approach to propositional fuzzy logic
Journal of Logic, Language and Information | 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
Studia Logica | 1999-05-24 | Paper |
Investigations on measure-one identification of classes of languages
Information and Computation | 1998-11-11 | Paper |
| scientific article; zbMATH DE number 1048040 (Why is no real title available?) | 1998-01-26 | Paper |
Logic and probabilistic systems
Archive for Mathematical Logic | 1996-06-11 | Paper |
An algebraic treatment of quantifier-free systems of arithmetic
Archive for Mathematical Logic | 1996-06-11 | Paper |
A minimal predicative set theory
Notre Dame Journal of Formal Logic | 1995-07-20 | Paper |
A Note on Relative Efficiency of Axiom Systems
Mathematical Logic Quarterly | 1995-05-14 | Paper |
On first-order theories with provability operator
Journal of Symbolic Logic | 1995-02-13 | Paper |
The logic of \(\Pi_ 1\)-conservativity continued
Archive for Mathematical Logic | 1994-06-22 | Paper |
| scientific article; zbMATH DE number 440480 (Why is no real title available?) | 1993-12-05 | Paper |
Polynomially and superexponentially shorter proofs in fragments of arithmetic
Journal of Symbolic Logic | 1993-04-01 | Paper |
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
Journal of Symbolic Logic | 1992-06-27 | Paper |
Rosser orderings and free variables
Studia Logica | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 9068 (Why is no real title available?) | 1992-06-25 | Paper |
On the proof of Solovay's theorem
Studia Logica | 1992-06-25 | Paper |
A note on some extension results
Studia Logica | 1992-06-25 | Paper |
Much shorter proofs: A bimodal investigation
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
The logic of \(\Pi_ 1\)-conservativity
Archive for Mathematical Logic | 1990-01-01 | Paper |
``Pathologies in two syntactic categories of partial maps
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
Creativeness and completeness in recursion categories of partial recursive operators
Journal of Symbolic Logic | 1989-01-01 | Paper |
Rosser Orderings in Bimodal Logics
Mathematical Logic Quarterly | 1989-01-01 | Paper |
Much Shorter Proofs
Mathematical Logic Quarterly | 1989-01-01 | Paper |
Provable Fixed Points
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
Rosser and Mostowski sentences
Archive for Mathematical Logic | 1988-01-01 | Paper |
Generic generalized Rosser fixed points
Studia Logica | 1987-01-01 | Paper |
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
Provability in finite subtheories of PA and relative interpretability: a modal investigation
Journal of Symbolic Logic | 1987-01-01 | Paper |
Universal recursion theoretic properties of r.e. preordered structures
Journal of Symbolic Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3924750 (Why is no real title available?) | 1985-01-01 | Paper |
The predicate modal logic of provability
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
Mathematical Logic Quarterly | 1984-01-01 | Paper |
Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
Fundamenta Mathematicae | 1984-01-01 | Paper |
The well-founded algebras
Algebra Universalis | 1983-01-01 | Paper |
ZFC-MODELS AS KRIPKE-MODELS
Mathematical Logic Quarterly | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3823773 (Why is no real title available?) | 1983-01-01 | Paper |
Relatively precomplete numerations and arithmetic
Journal of Philosophical Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3700798 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3706412 (Why is no real title available?) | 1980-01-01 | Paper |
Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
Studia Logica | 1980-01-01 | Paper |
The undecidability of the first-order theory of diagonalizable algebras
Studia Logica | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3628944 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3652414 (Why is no real title available?) | 1979-01-01 | Paper |
On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
Studia Logica | 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.)
Studia Logica | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3482328 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3499832 (Why is no real title available?) | 1974-01-01 | Paper |
