| Publication | Date of Publication | Type |
|---|
| The Twin Continua of Inductive Methods | 2020-02-03 | Paper |
| PURE INDUCTIVE LOGIC WITH FUNCTIONS | 2020-01-10 | Paper |
| Translation invariance and Miller's weather example | 2019-11-26 | Paper |
| Six problems in pure inductive logic | 2019-09-03 | Paper |
| Ancient Indian Logic and Analogy | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967706 | 2019-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4613681 | 2019-01-24 | Paper |
| Combining analogical support in pure inductive logic | 2018-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2974970 | 2017-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2974971 | 2017-04-11 | Paper |
| The counterpart principle of analogical support by structural similarity | 2016-04-05 | Paper |
| An examination of the SEP candidate analogical inference rule within pure inductive logic | 2016-02-09 | Paper |
| An analogy principle in inductive logic | 2015-08-27 | Paper |
| From Unary to Binary Inductive Logic | 2015-07-03 | Paper |
| THE THEORY OF SPECTRUM EXCHANGEABILITY | 2015-04-24 | Paper |
| Pure Inductive Logic | 2015-03-20 | Paper |
| Symmetry in polyadic inductive logic | 2015-02-09 | Paper |
| Second order inductive logic and Wilmers' principle | 2014-11-20 | Paper |
| An observation on Carnap's continuum and stochastic independencies | 2014-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5300190 | 2013-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4919768 | 2013-05-15 | Paper |
| Truth definitions without exponentiation and the Σ1 collection scheme | 2012-06-19 | Paper |
| A survey of some recent results on spectrum exchangeability in polyadic inductive logic | 2012-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3101124 | 2011-11-22 | Paper |
| A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic | 2011-08-26 | Paper |
| A note on irrelevance in inductive logic | 2011-06-17 | Paper |
| Symmetry's end? | 2011-05-11 | Paper |
| A Note on Nathanial’s Invariance Principle in Polyadic Inductive Logic | 2010-12-17 | Paper |
| Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic | 2010-09-02 | Paper |
| A Note on the Least Informative Model of a Theory | 2010-07-29 | Paper |
| A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability | 2010-07-28 | Paper |
| Inconsistency as qualified truth: a probability logic approach | 2010-04-07 | Paper |
| O IS NOT ENOUGH | 2009-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3391715 | 2009-08-12 | Paper |
| Atom exchangeability and instantial relevance | 2009-06-19 | Paper |
| Some aspects of polyadic inductive logic | 2009-03-17 | Paper |
| Instantial Relevance in Polyadic Inductive Logic | 2009-02-12 | Paper |
| Language Invariance and Spectrum Exchangeability in Inductive Logic | 2008-09-16 | Paper |
| Inference Processes for Quantified Predicate Knowledge | 2008-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509215 | 2008-07-01 | Paper |
| On LP-models of arithmetic | 2008-05-08 | Paper |
| Maximum Entropy Inference with Quantified Knowledge | 2008-03-07 | Paper |
| A note on binary inductive logic | 2007-12-03 | Paper |
| ON THE STRUCTURE OF PROBABILITY FUNCTIONS IN THE NATURAL WORLD | 2007-03-27 | Paper |
| A continuum of inductive methods arising from a generalized principle of instantial relevance | 2006-08-14 | Paper |
| A note on Priest's finite inconsistent arithmetics | 2006-08-14 | Paper |
| Rationality as conformity | 2005-12-12 | Paper |
| ON FILLING-IN MISSING CONDITIONAL PROBABILITIES IN CAUSAL NETWORKS | 2005-09-28 | Paper |
| Conditionals, Information, and Inference | 2005-08-17 | Paper |
| Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for | 2005-04-05 | Paper |
| The emergence of reasons conjecture. | 2004-03-14 | Paper |
| When Maximizing Entropy gives the Rational Closure | 2003-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530894 | 2003-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549471 | 2003-03-06 | Paper |
| Some observations on induction in predicate probabilistic reasoning | 2002-08-20 | Paper |
| On the emergence of reasons in inductive logic | 2001-11-01 | Paper |
| Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic | 2001-01-14 | Paper |
| The liar paradox and fuzzy logic | 2000-06-22 | Paper |
| A new criterion for comparing fuzzy logics for uncertain reasoning | 2000-06-04 | Paper |
| In defense of the maximum entropy inference process | 1999-12-20 | Paper |
| Common sense and maximum entropy | 1999-11-02 | Paper |
| Proof systems for probabilistic uncertain reasoning | 1999-07-15 | Paper |
| A natural prior probability distribution derived from the propositional calculus | 1995-09-18 | Paper |
| The Uncertain Reasoner's Companion | 1995-03-12 | Paper |
| A model of belief | 1994-05-26 | Paper |
| Subsets of models of arithmetic | 1994-01-13 | Paper |
| A method for updating that justifies minimum cross entropy | 1993-05-16 | Paper |
| A note on the infeasibility of some inference processes | 1990-01-01 | Paper |
| A note on the inevitability of maximum entropy | 1990-01-01 | Paper |
| On some formalized conservation results in arithmetic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202178 | 1990-01-01 | Paper |
| On the applicability of maximum entropy to inexact reasoning | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3032227 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470461 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729763 | 1989-01-01 | Paper |
| A Note on a Theorem of H. FRIEDMAN | 1988-01-01 | Paper |
| On parameter free induction schemas | 1988-01-01 | Paper |
| Provability of the pigeonhole principle and the existence of infinitely many primes | 1988-01-01 | Paper |
| On the scheme of induction for bounded arithmetic formulas | 1987-01-01 | Paper |
| Counting $Δ_0$ sets | 1987-01-01 | Paper |
| Combinatorial principles concerning approximations of functions | 1987-01-01 | Paper |
| The Pigeonhole Principle and Fragments of Arithmetic | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773860 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689182 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346307 | 1984-01-01 | Paper |
| A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682483 | 1984-01-01 | Paper |
| Regularity in models of arithmetic | 1984-01-01 | Paper |
| A note on the undefinability of cuts | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931384 | 1982-01-01 | Paper |
| Accessible Independence Results for Peano Arithmetic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931391 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964542 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893931 | 1980-01-01 | Paper |
| Closure properties of countable non-standard integers | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3884109 | 1978-01-01 | Paper |
| Note on an induction axiom | 1978-01-01 | Paper |
| Some independence results for Peano arithmetic | 1978-01-01 | Paper |
| Measure and minimal degrees | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138726 | 1977-01-01 | Paper |
| Models of arithmetic and the 1-3-1 lattice | 1977-01-01 | Paper |
| Sets Satisfying 0# | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4087182 | 1975-01-01 | Paper |
| Patterns of Indiscernibles | 1974-01-01 | Paper |
| ZF ⊦ Σ40 determinateness | 1973-01-01 | Paper |
| More on the free subset problem | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5645412 | 1972-01-01 | Paper |
| Boolean extensions and measurable cardinals | 1971-01-01 | Paper |
