| Publication | Date of Publication | Type |
|---|
How much propositional logic suffices for Rosser's essential undecidability theorem?
The Review of Symbolic Logic | 2022-05-25 | Paper |
| Metamathematics of first-order arithmetic | 2017-07-06 | Paper |
Deductive systems of fuzzy logic
Proof, Computation and Agency | 2015-04-17 | Paper |
| scientific article; zbMATH DE number 6276266 (Why is no real title available?) | 2014-04-01 | Paper |
| scientific article; zbMATH DE number 6276276 (Why is no real title available?) | 2014-04-01 | Paper |
| Gödel's ontological proof and its variants | 2013-10-29 | Paper |
| Many valued logic and fuzzy logic | 2013-10-04 | Paper |
Some remarks on Cantor-Łukasiewicz fuzzy set theory
Logic Journal of the IGPL | 2013-06-11 | Paper |
Interpreting lattice-valued set theory in fuzzy set theory
Logic Journal of the IGPL | 2013-06-11 | Paper |
On equality and natural numbers in Cantor-Łukasiewicz set theory
Logic Journal of the IGPL | 2013-06-11 | Paper |
| A conversation about fuzzy logic and vagueness | 2013-02-28 | Paper |
Towards metamathematics of weak arithmetics over fuzzy logic
Logic Journal of the IGPL | 2012-05-21 | Paper |
A qualitative belief logic
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2012-02-17 | Paper |
FUZZY IMPLICATIONS AND GENERALIZED QUANTIFIERS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2012-02-17 | Paper |
Comments on interpretability and decidability in fuzzy logic
Journal Of Logic And Computation | 2011-11-10 | Paper |
On fuzzy modal logics \(S5(\mathcal C)\)
Fuzzy Sets and Systems | 2011-01-31 | Paper |
SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC
The Review of Symbolic Logic | 2010-07-23 | Paper |
On White's expansion of Łukasiewicz logic
Journal Of Logic And Computation | 2010-04-21 | Paper |
On witnessed models in fuzzy logic. III: Witnessed Gödel logics
MLQ | 2010-04-15 | Paper |
Triangular norm based predicate fuzzy logics
Fuzzy Sets and Systems | 2010-03-18 | Paper |
Municipal creditworthiness modelling by kernel-based approaches with supervised and semi-supervised learning
Engineering Applications of Neural Networks | 2010-02-11 | Paper |
The GUHA method and its meaning for data mining
Journal of Computer and System Sciences | 2010-01-08 | Paper |
Arithmetical complexity of fuzzy predicate logics -- a survey. II.
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
On vagueness, truth values and fuzzy logics
Studia Logica | 2009-05-08 | Paper |
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
Journal Of Logic And Computation | 2009-04-16 | Paper |
Ontological proofs of existence and non-existence
Studia Logica | 2009-03-17 | Paper |
On copulas, quasicopulas and fuzzy logic
Soft Computing | 2008-08-21 | Paper |
A note on the first‐order logic of complete BL‐chains
MLQ | 2008-08-15 | Paper |
| scientific article; zbMATH DE number 5295830 (Why is no real title available?) | 2008-07-01 | Paper |
| scientific article; zbMATH DE number 5241974 (Why is no real title available?) | 2008-03-03 | Paper |
On arithmetical complexity of fragments of prominent fuzzy predicate logics
Soft Computing | 2008-01-16 | Paper |
On witnessed models in fuzzy logic II
Mathematical Logic Quarterly | 2008-01-04 | Paper |
Formal systems of fuzzy logic and their fragments
Annals of Pure and Applied Logic | 2007-12-12 | Paper |
On Fuzzy Theories with Crisp Sentences
Lecture Notes in Computer Science | 2007-11-15 | Paper |
Complexity of fuzzy probability logics. II
Fuzzy Sets and Systems | 2007-10-29 | Paper |
A HEDGE FOR GÖDEL FUZZY LOGIC
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2007-03-27 | Paper |
On witnessed models in fuzzy logic
MLQ | 2007-02-20 | Paper |
Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa
Studia Logica | 2007-02-13 | Paper |
On theories and models in fuzzy predicate logics
Journal of Symbolic Logic | 2006-11-29 | Paper |
What is mathematical fuzzy logic
Fuzzy Sets and Systems | 2006-06-09 | Paper |
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
Fuzzy Sets and Systems | 2006-06-09 | Paper |
Arithmetical complexity of fuzzy predicate logics -- a survey
Soft Computing | 2006-03-02 | Paper |
| Fuzzy logic and arithmetical hierarchy. IV | 2006-01-24 | Paper |
Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets''
Fuzzy Sets and Systems | 2006-01-24 | Paper |
Database Support for Data Mining Applications
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Logic versus Approximation
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
A non-arithmetical Gödel logic
Logic Journal of the IGPL | 2005-11-08 | Paper |
| scientific article; zbMATH DE number 2209491 (Why is no real title available?) | 2005-09-28 | Paper |
| scientific article; zbMATH DE number 2209905 (Why is no real title available?) | 2005-09-28 | Paper |
| scientific article; zbMATH DE number 2208068 (Why is no real title available?) | 2005-09-26 | Paper |
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
Archive for Mathematical Logic | 2005-09-13 | Paper |
Making fuzzy description logic more general
Fuzzy Sets and Systems | 2005-08-22 | Paper |
Observations on non-commutative fuzzy logic
Soft Computing | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 2172907 (Why is no real title available?) | 2005-06-07 | Paper |
| scientific article; zbMATH DE number 2120036 (Why is no real title available?) | 2004-11-29 | Paper |
| scientific article; zbMATH DE number 2101977 (Why is no real title available?) | 2004-09-22 | Paper |
| scientific article; zbMATH DE number 2063019 (Why is no real title available?) | 2004-03-29 | Paper |
The sorites paradox and fuzzy logic
International Journal of General Systems | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 2042620 (Why is no real title available?) | 2004-02-15 | Paper |
Fuzzy Inference as Deduction
Journal of Applied Non-Classical Logics | 2004-01-13 | Paper |
Hoops and Fuzzy Logic
Journal Of Logic And Computation | 2003-11-10 | Paper |
Fuzzy Logics with Noncommutative Conjuctions
Journal Of Logic And Computation | 2003-11-10 | Paper |
Basic fuzzy logic and BL-algebras. II
Soft Computing | 2003-08-31 | Paper |
| scientific article; zbMATH DE number 1953888 (Why is no real title available?) | 2003-07-28 | Paper |
Formal logics of discovery and hypothesis formation by machine
Theoretical Computer Science | 2003-05-14 | Paper |
Observations on the monoidal t-norm logic
Fuzzy Sets and Systems | 2003-04-02 | Paper |
| scientific article; zbMATH DE number 1790409 (Why is no real title available?) | 2003-03-27 | Paper |
| scientific article; zbMATH DE number 1790414 (Why is no real title available?) | 2003-03-27 | Paper |
Complexity of t-tautologies
Annals of Pure and Applied Logic | 2003-03-06 | Paper |
A note on the notion of truth in fuzzy logic
Annals of Pure and Applied Logic | 2003-02-03 | Paper |
A new small emendation of Gödel's ontological proof
Studia Logica | 2002-08-26 | Paper |
Monadic fuzzy predicate logics
Studia Logica | 2002-08-26 | Paper |
On Łukasiewicz's four-valued modal logic
Studia Logica | 2002-07-08 | Paper |
Fuzzy logic and arithmetical hierarchy. III
Studia Logica | 2002-07-05 | Paper |
On very true
Fuzzy Sets and Systems | 2002-05-21 | Paper |
Complexity of fuzzy probability logics
Fundamenta Informaticae | 2001-11-13 | Paper |
Embedding logics into product logic
Studia Logica | 2001-04-19 | Paper |
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
Journal of Symbolic Logic | 2001-01-14 | Paper |
Residuated fuzzy logics with an involutive negation
Archive for Mathematical Logic | 2000-12-14 | Paper |
| scientific article; zbMATH DE number 1420841 (Why is no real title available?) | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1516312 (Why is no real title available?) | 2000-10-11 | Paper |
| scientific article; zbMATH DE number 1420885 (Why is no real title available?) | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1342205 (Why is no real title available?) | 2000-08-27 | Paper |
The liar paradox and fuzzy logic
Journal of Symbolic Logic | 2000-06-22 | Paper |
Knowledge-driven versus data-driven logics
Journal of Logic, Language and Information | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 1303329 (Why is no real title available?) | 2000-05-01 | Paper |
Ten questions and one problem on fuzzy logic
Annals of Pure and Applied Logic | 2000-02-08 | Paper |
Metamathematics of fuzzy logic
Trends in Logic -- Studia Logica Library | 1999-10-31 | Paper |
| scientific article; zbMATH DE number 1293548 (Why is no real title available?) | 1999-05-31 | Paper |
| scientific article; zbMATH DE number 1144041 (Why is no real title available?) | 1998-04-20 | Paper |
Fuzzy logic and arithmetical hierarchy. II
Studia Logica | 1997-09-02 | Paper |
| scientific article; zbMATH DE number 970614 (Why is no real title available?) | 1997-06-30 | Paper |
A REMARK ON BANDLER-KOHOUT PRODUCTS OF RELATIONS
International Journal of General Systems | 1997-05-19 | Paper |
| scientific article; zbMATH DE number 937367 (Why is no real title available?) | 1997-04-07 | Paper |
Fuzzy logic and arithmetical hierarchy
Fuzzy Sets and Systems | 1997-03-11 | Paper |
GUHA for personal computers
Computational Statistics and Data Analysis | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 956587 (Why is no real title available?) | 1996-12-11 | Paper |
A complete many-valued logic with product-conjunction
Archive for Mathematical Logic | 1996-07-08 | Paper |
GETTING BELIEF FUNCTIONS FROM KRIPKE MODELS
International Journal of General Systems | 1996-05-22 | Paper |
A qualitative fuzzy possibilistic logic
International Journal of Approximate Reasoning | 1995-08-27 | Paper |
| scientific article; zbMATH DE number 517059 (Why is no real title available?) | 1995-07-12 | Paper |
The logic of \(\Pi_ 1\)-conservativity continued
Archive for Mathematical Logic | 1994-06-22 | Paper |
SYSTEMS OF CONDITIONAL BELIEFS IN DEMPSTER-SHAFER THEORY AND EXPERT SYSTEMS
International Journal of General Systems | 1994-06-19 | Paper |
Epistemic entrenchment and arithmetical hierarchy
Artificial Intelligence | 1994-04-21 | Paper |
| scientific article; zbMATH DE number 440479 (Why is no real title available?) | 1993-12-05 | Paper |
| scientific article; zbMATH DE number 440480 (Why is no real title available?) | 1993-12-05 | Paper |
| scientific article; zbMATH DE number 227056 (Why is no real title available?) | 1993-07-06 | Paper |
| scientific article; zbMATH DE number 4172428 (Why is no real title available?) | 1991-01-01 | Paper |
A note on the normal form of closed formulas of interpretability logic
Studia Logica | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4178811 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4172427 (Why is no real title available?) | 1990-01-01 | Paper |
The logic of \(\Pi_ 1\)-conservativity
Archive for Mathematical Logic | 1990-01-01 | Paper |
On some formalized conservation results in arithmetic
Archive for Mathematical Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4088967 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4088967 (Why is no real title available?) | 1989-01-01 | Paper |
On recursion theory in <i>IΣ</i><sub>1</sub>
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4206049 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4112583 (Why is no real title available?) | 1987-01-01 | Paper |
Combinatorial principles concerning approximations of functions
Archiv für Mathematische Logik und Grundlagenforschung | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3999893 (Why is no real title available?) | 1986-01-01 | Paper |
A simple dynamic logic
Theoretical Computer Science | 1986-01-01 | Paper |
Combining functions for certainty degrees in consulting systems
International Journal of Man-Machine Studies | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3909783 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3941534 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3892615 (Why is no real title available?) | 1984-01-01 | Paper |
Arithmetical interpretations of dynamic logic
Journal of Symbolic Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3811563 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3772938 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3729437 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3765778 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3786752 (Why is no real title available?) | 1981-01-01 | Paper |
Decision problems of some statistically motivated monadic modal calculi
International Journal of Man-Machine Studies | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3737634 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3741356 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3708396 (Why is no real title available?) | 1979-01-01 | Paper |
Arithmetical hierarchy and complexity of computation
Theoretical Computer Science | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3654109 (Why is no real title available?) | 1978-01-01 | Paper |
Mechanizing hypothesis formation. Mathematical foundations for a general theory
Universitext | 1978-01-01 | Paper |
Experimental logics and Π<sub>3</sub><sup>0</sup> theories
Journal of Symbolic Logic | 1978-01-01 | Paper |
The GUHA method—its aims and techniques (twenty-four questions and answers)
International Journal of Man-Machine Studies | 1978-01-01 | Paper |
On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3600018 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3551900 (Why is no real title available?) | 1977-01-01 | Paper |
On generation of inductive hypotheses
International Journal of Man-Machine Studies | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3683568 (Why is no real title available?) | 1976-01-01 | Paper |
| On the unattained sixtieth birthday of Ladislav Rieger | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3555501 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3550205 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3499251 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3454824 (Why is no real title available?) | 1974-01-01 | Paper |
Degrees of dependence in the theory of semisets.
Fundamenta Mathematicae | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3430656 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3454823 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3438845 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3422328 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3395897 (Why is no real title available?) | 1972-01-01 | Paper |
The theory of semisets
Studies in Logic and the Foundations of Mathematics | 1972-01-01 | Paper |
On interpretability in theories containing arithmetic
Fundamenta Mathematicae | 1972-01-01 | Paper |
Contributions to the Theory of Semisets I. Relations of the theory of semisets to the Zermelo‐Fraenkel set theory
Mathematical Logic Quarterly | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3365265 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3368175 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3363541 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3368623 (Why is no real title available?) | 1971-01-01 | Paper |
Logische Kategorien
Archiv für Mathematische Logik und Grundlagenforschung | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3271532 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3263240 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3495613 (Why is no real title available?) | 1966-01-01 | Paper |
| Generalized interpretability in terms of models. (Note to a paper of R. Montague.) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3488639 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3237860 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3247996 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3254927 (Why is no real title available?) | 1966-01-01 | Paper |
The GUHA method of automatic hypotheses determination
Computing | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3209195 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3212883 (Why is no real title available?) | 1965-01-01 | Paper |
| The concept of a primitive class of algebras (Birkhoff theorem) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3231096 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3231097 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3242161 (Why is no real title available?) | 1965-01-01 | Paper |
Modelle Der Mengenlehre, in Denen Mengen Gegebener Gestalt Existieren
Mathematical Logic Quarterly | 1965-01-01 | Paper |
EIN DEM FUNDIERUNGSAXIOM ÄQUIVALENTES AXIOM
Mathematical Logic Quarterly | 1964-01-01 | Paper |
DIE DURCH DIE SCHWACH INNEREN RELATIONEN GEGEBENEN MODELLE DER MENGENLEHRE
Mathematical Logic Quarterly | 1964-01-01 | Paper |
Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie
Mathematical Logic Quarterly | 1963-01-01 | Paper |
