| Publication | Date of Publication | Type |
|---|
| HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? | 2022-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5273442 | 2017-07-06 | Paper |
| Deductive Systems of Fuzzy Logic | 2015-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406032 | 2014-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406042 | 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-Lukasiewicz fuzzy set theory | 2013-06-11 | Paper |
| Interpreting lattice-valued set theory in fuzzy set theory | 2013-06-11 | Paper |
| On equality and natural numbers in Cantor-Lukasiewicz set theory | 2013-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906797 | 2013-02-28 | Paper |
| Towards metamathematics of weak arithmetics over fuzzy logic | 2012-05-21 | Paper |
| A QUALITATIVE BELIEF LOGIC | 2012-02-17 | Paper |
| FUZZY IMPLICATIONS AND GENERALIZED QUANTIFIERS | 2012-02-17 | Paper |
| Comments on Interpretability and Decidability in Fuzzy Logic | 2011-11-10 | Paper |
| On fuzzy modal logics \(S5(\mathcal C)\) | 2011-01-31 | Paper |
| SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC | 2010-07-23 | Paper |
| On White's Expansion of Lukasiewicz Logic | 2010-04-21 | Paper |
| On witnessed models in fuzzy logic III - witnessed Gödel logics | 2010-04-15 | Paper |
| Triangular norm based predicate fuzzy logics | 2010-03-18 | Paper |
| Municipal Creditworthiness Modelling by Kernel-Based Approaches with Supervised and Semi-supervised Learning | 2010-02-11 | Paper |
| The GUHA method and its meaning for data mining | 2010-01-08 | Paper |
| Arithmetical complexity of fuzzy predicate logics -- a survey. II. | 2009-11-04 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| On vagueness, truth values and fuzzy logics | 2009-05-08 | Paper |
| Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic | 2009-04-16 | Paper |
| Ontological proofs of existence and non-existence | 2009-03-17 | Paper |
| On copulas, quasicopulas and fuzzy logic | 2008-08-21 | Paper |
| A note on the first‐order logic of complete BL‐chains | 2008-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509184 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445163 | 2008-03-03 | Paper |
| On arithmetical complexity of fragments of prominent fuzzy predicate logics | 2008-01-16 | Paper |
| On witnessed models in fuzzy logic II | 2008-01-04 | Paper |
| Formal systems of fuzzy logic and their fragments | 2007-12-12 | Paper |
| On Fuzzy Theories with Crisp Sentences | 2007-11-15 | Paper |
| Complexity of fuzzy probability logics. II | 2007-10-29 | Paper |
| A HEDGE FOR GÖDEL FUZZY LOGIC | 2007-03-27 | Paper |
| On witnessed models in fuzzy logic | 2007-02-20 | Paper |
| Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa | 2007-02-13 | Paper |
| On theories and models in fuzzy predicate logics | 2006-11-29 | Paper |
| What is mathematical fuzzy logic | 2006-06-09 | Paper |
| Computational complexity of t-norm based propositional fuzzy logics with rational truth constants | 2006-06-09 | Paper |
| Arithmetical complexity of fuzzy predicate logics -- a survey | 2006-03-02 | Paper |
| Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367322 | 2006-01-24 | Paper |
| Database Support for Data Mining Applications | 2006-01-10 | Paper |
| Logic versus Approximation | 2005-12-23 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| A non-arithmetical Gödel logic | 2005-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692481 | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692887 | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5693579 | 2005-09-26 | Paper |
| On arithmetic in the Cantor-Łukasiewicz fuzzy set theory | 2005-09-13 | Paper |
| Making fuzzy description logic more general | 2005-08-22 | Paper |
| Observations on non-commutative fuzzy logic | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680307 | 2005-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4829332 | 2004-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817203 | 2004-09-22 | Paper |
| The sorites paradox and fuzzy logic | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460673 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450450 | 2004-02-15 | Paper |
| Fuzzy Inference as Deduction | 2004-01-13 | Paper |
| Hoops and Fuzzy Logic | 2003-11-10 | Paper |
| Fuzzy Logics with Noncommutative Conjuctions | 2003-11-10 | Paper |
| Basic fuzzy logic and BL-algebras. II | 2003-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415072 | 2003-07-28 | Paper |
| Formal logics of discovery and hypothesis formation by machine | 2003-05-14 | Paper |
| Observations on the monoidal t-norm logic | 2003-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549474 | 2003-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549479 | 2003-03-27 | Paper |
| Complexity of t-tautologies | 2003-03-06 | Paper |
| A note on the notion of truth in fuzzy logic | 2003-02-03 | Paper |
| A new small emendation of Gödel's ontological proof | 2002-08-26 | Paper |
| Monadic fuzzy predicate logics | 2002-08-26 | Paper |
| On Łukasiewicz's four-valued modal logic | 2002-07-08 | Paper |
| Fuzzy logic and arithmetical hierarchy. III | 2002-07-05 | Paper |
| On very true | 2002-05-21 | Paper |
| Complexity of fuzzy probability logics | 2001-11-13 | Paper |
| Embedding logics into product logic | 2001-04-19 | Paper |
| Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic | 2001-01-14 | Paper |
| Residuated fuzzy logics with an involutive negation | 2000-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944909 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4509110 | 2000-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944954 | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263789 | 2000-08-27 | Paper |
| The liar paradox and fuzzy logic | 2000-06-22 | Paper |
| Knowledge-driven versus data-driven logics | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249880 | 2000-05-01 | Paper |
| Ten questions and one problem on fuzzy logic | 2000-02-08 | Paper |
| Metamathematics of fuzzy logic | 1999-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244877 | 1999-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4384146 | 1998-04-20 | Paper |
| Fuzzy logic and arithmetical hierarchy. II | 1997-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688792 | 1997-06-30 | Paper |
| A REMARK ON BANDLER-KOHOUT PRODUCTS OF RELATIONS | 1997-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896507 | 1997-04-07 | Paper |
| Fuzzy logic and arithmetical hierarchy | 1997-03-11 | Paper |
| GUHA for personal computers | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5686977 | 1996-12-11 | Paper |
| A complete many-valued logic with product-conjunction | 1996-07-08 | Paper |
| GETTING BELIEF FUNCTIONS FROM KRIPKE MODELS | 1996-05-22 | Paper |
| A qualitative fuzzy possibilistic logic | 1995-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282587 | 1995-07-12 | Paper |
| The logic of \(\Pi_ 1\)-conservativity continued | 1994-06-22 | Paper |
| SYSTEMS OF CONDITIONAL BELIEFS IN DEMPSTER-SHAFER THEORY AND EXPERT SYSTEMS | 1994-06-19 | Paper |
| Epistemic entrenchment and arithmetical hierarchy | 1994-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140636 | 1993-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140637 | 1993-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5286672 | 1993-07-06 | Paper |
| A note on the normal form of closed formulas of interpretability logic | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197356 | 1991-01-01 | Paper |
| The logic of \(\Pi_ 1\)-conservativity | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3201786 | 1990-01-01 | Paper |
| On some formalized conservation results in arithmetic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197355 | 1990-01-01 | Paper |
| On recursion theory in IΣ1 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817006 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3355274 | 1988-01-01 | Paper |
| Combinatorial principles concerning approximations of functions | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835452 | 1987-01-01 | Paper |
| A simple dynamic logic | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4726228 | 1986-01-01 | Paper |
| Combining functions for certainty degrees in consulting systems | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686073 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714076 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184427 | 1984-01-01 | Paper |
| Arithmetical interpretations of dynamic logic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659780 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953160 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917483 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947660 | 1981-01-01 | Paper |
| Decision problems of some statistically motivated monadic modal calculi | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964543 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3924175 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927214 | 1980-01-01 | Paper |
| Arithmetical hierarchy and complexity of computation | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900061 | 1979-01-01 | Paper |
| Mechanizing hypothesis formation. Mathematical foundations for a general theory | 1978-01-01 | Paper |
| Experimental logics and Π30 theories | 1978-01-01 | Paper |
| The GUHA method—its aims and techniques (twenty-four questions and answers) | 1978-01-01 | Paper |
| On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75) | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853619 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4166743 | 1977-01-01 | Paper |
| On generation of inductive hypotheses | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125776 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3879223 | 1976-01-01 | Paper |
| On the unattained sixtieth birthday of Ladislav Rieger | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128035 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124353 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4080750 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041119 | 1974-01-01 | Paper |
| Degrees of dependence in the theory of semisets. | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5181365 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041118 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4404881 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5684636 | 1973-01-01 | Paper |
| The theory of semisets | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663866 | 1972-01-01 | Paper |
| On interpretability in theories containing arithmetic | 1972-01-01 | Paper |
| Contributions to the Theory of Semisets I. Relations of the theory of semisets to the Zermelo‐Fraenkel set theory | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638320 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5640746 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636875 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5641140 | 1971-01-01 | Paper |
| Logische Kategorien | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5556454 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5549045 | 1967-01-01 | Paper |
| The GUHA method of automatic hypotheses determination | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4077471 | 1966-01-01 | Paper |
| Generalized interpretability in terms of models. (Note to a paper of R. Montague.) | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4070340 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5525368 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534905 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541359 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5336348 | 1965-01-01 | Paper |
| Modelle Der Mengenlehre, in Denen Mengen Gegebener Gestalt Existieren | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5340122 | 1965-01-01 | Paper |
| The concept of a primitive class of algebras (Birkhoff theorem) | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519148 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519149 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5529480 | 1965-01-01 | Paper |
| EIN DEM FUNDIERUNGSAXIOM ÄQUIVALENTES AXIOM | 1964-01-01 | Paper |
| DIE DURCH DIE SCHWACH INNEREN RELATIONEN GEGEBENEN MODELLE DER MENGENLEHRE | 1964-01-01 | Paper |
| Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie | 1963-01-01 | Paper |
