| Publication | Date of Publication | Type |
|---|
Symmetry principles in pure inductive logic
| 2024-11-20 | Paper |
Asymptotic conditional probabilities for binary probability functions
Annals of Pure and Applied Logic | 2024-06-24 | Paper |
The twin continua of inductive methods
Logic Without Borders | 2020-02-03 | Paper |
Pure inductive logic with functions
Journal of Symbolic Logic | 2020-01-10 | Paper |
Translation invariance and Miller's weather example
Journal of Logic, Language and Information | 2019-11-26 | Paper |
Six problems in pure inductive logic
Journal of Philosophical Logic | 2019-09-03 | Paper |
Ancient Indian logic and analogy
Logic and Its Applications | 2019-07-24 | Paper |
scientific article; zbMATH DE number 7078770 (Why is no real title available?)
| 2019-07-10 | Paper |
On the distribution of probability functions in the natural world
| 2019-01-24 | Paper |
Combining analogical support in pure inductive logic
Erkenntnis | 2018-03-28 | Paper |
scientific article; zbMATH DE number 6704266 (Why is no real title available?)
| 2017-04-11 | Paper |
Principles of remembering and forgetting
| 2017-04-11 | Paper |
The counterpart principle of analogical support by structural similarity
Erkenntnis | 2016-04-05 | Paper |
An examination of the SEP candidate analogical inference rule within pure inductive logic
Journal of Applied Logic | 2016-02-09 | Paper |
An analogy principle in inductive logic
Annals of Pure and Applied Logic | 2015-08-27 | Paper |
From unary to binary inductive logic
Games, Norms and Reasons | 2015-07-03 | Paper |
The theory of spectrum exchangeability
The Review of Symbolic Logic | 2015-04-24 | Paper |
Pure inductive logic
| 2015-03-20 | Paper |
Symmetry in polyadic inductive logic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Second order inductive logic and Wilmers' principle
Journal of Applied Logic | 2014-11-20 | Paper |
An observation on Carnap's continuum and stochastic independencies
Journal of Applied Logic | 2014-04-17 | Paper |
scientific article; zbMATH DE number 6181515 (Why is no real title available?)
| 2013-06-26 | Paper |
Reasoning by analogy in inductive logic
| 2013-05-15 | Paper |
Predicate Exchangeability and Language Invariance in Pure Inductive Logic
| 2013-05-04 | Paper |
Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme
The Journal of Symbolic Logic | 2012-06-19 | Paper |
A survey of some recent results on spectrum exchangeability in polyadic inductive logic
Synthese | 2012-04-05 | Paper |
scientific article; zbMATH DE number 5976718 (Why is no real title available?)
| 2011-11-22 | Paper |
A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
A note on irrelevance in inductive logic
Journal of Philosophical Logic | 2011-06-17 | Paper |
Symmetry's end?
Erkenntnis | 2011-05-11 | Paper |
A note on Nathanial's invariance principle in polyadic inductive logic
Logic and Its Applications | 2010-12-17 | Paper |
Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic
International Journal of Approximate Reasoning | 2010-09-02 | Paper |
A note on the least informative model of a theory
Programs, Proofs, Processes | 2010-07-29 | Paper |
A general representation theorem for probability functions satisfying spectrum exchangeability
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
Inconsistency as qualified truth: a probability logic approach
International Journal of Approximate Reasoning | 2010-04-07 | Paper |
O IS NOT ENOUGH
The Review of Symbolic Logic | 2009-08-26 | Paper |
scientific article; zbMATH DE number 5594125 (Why is no real title available?)
| 2009-08-12 | Paper |
Atom exchangeability and instantial relevance
Journal of Philosophical Logic | 2009-06-19 | Paper |
Some aspects of polyadic inductive logic
Studia Logica | 2009-03-17 | Paper |
Instantial Relevance in Polyadic Inductive Logic
Logic and Its Applications | 2009-02-12 | Paper |
Language Invariance and Spectrum Exchangeability in Inductive Logic
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Inference Processes for Quantified Predicate Knowledge
Logic, Language, Information and Computation | 2008-07-10 | Paper |
Information from inconsistent knowledge: a probability logic approach
| 2008-07-01 | Paper |
On LP-models of arithmetic
Journal of Symbolic Logic | 2008-05-08 | Paper |
Maximum Entropy Inference with Quantified Knowledge
Logic Journal of the IGPL | 2008-03-07 | Paper |
A note on binary inductive logic
Journal of Philosophical Logic | 2007-12-03 | Paper |
ON THE STRUCTURE OF PROBABILITY FUNCTIONS IN THE NATURAL WORLD
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2007-03-27 | Paper |
A continuum of inductive methods arising from a generalized principle of instantial relevance
Journal of Philosophical Logic | 2006-08-14 | Paper |
A note on Priest's finite inconsistent arithmetics
Journal of Philosophical Logic | 2006-08-14 | Paper |
Rationality as conformity
Synthese | 2005-12-12 | Paper |
ON FILLING-IN MISSING CONDITIONAL PROBABILITIES IN CAUSAL NETWORKS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2005-09-28 | Paper |
Conditionals, Information, and Inference
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for
Logic Journal of the IGPL | 2005-04-05 | Paper |
The emergence of reasons conjecture.
Journal of Applied Logic | 2004-03-14 | Paper |
When Maximizing Entropy gives the Rational Closure
Journal Of Logic And Computation | 2003-09-09 | Paper |
scientific article; zbMATH DE number 1746713 (Why is no real title available?)
| 2003-05-06 | Paper |
scientific article; zbMATH DE number 1790406 (Why is no real title available?)
| 2003-03-06 | Paper |
Some observations on induction in predicate probabilistic reasoning
Journal of Philosophical Logic | 2002-08-20 | Paper |
On the emergence of reasons in inductive logic
Logic Journal of the IGPL | 2001-11-01 | Paper |
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
Journal of Symbolic Logic | 2001-01-14 | Paper |
The liar paradox and fuzzy logic
Journal of Symbolic Logic | 2000-06-22 | Paper |
A new criterion for comparing fuzzy logics for uncertain reasoning
Journal of Logic, Language and Information | 2000-06-04 | Paper |
In defense of the maximum entropy inference process
International Journal of Approximate Reasoning | 1999-12-20 | Paper |
Common sense and maximum entropy
Synthese | 1999-11-02 | Paper |
Proof systems for probabilistic uncertain reasoning
Journal of Symbolic Logic | 1999-07-15 | Paper |
A natural prior probability distribution derived from the propositional calculus
Annals of Pure and Applied Logic | 1995-09-18 | Paper |
The Uncertain Reasoner's Companion
| 1995-03-12 | Paper |
A model of belief
Artificial Intelligence | 1994-05-26 | Paper |
Subsets of models of arithmetic
Archive for Mathematical Logic | 1994-01-13 | Paper |
A method for updating that justifies minimum cross entropy
International Journal of Approximate Reasoning | 1993-05-16 | Paper |
scientific article; zbMATH DE number 4193657 (Why is no real title available?)
| 1990-01-01 | Paper |
A note on the inevitability of maximum entropy
International Journal of Approximate Reasoning | 1990-01-01 | Paper |
On some formalized conservation results in arithmetic
Archive for Mathematical Logic | 1990-01-01 | Paper |
A note on the infeasibility of some inference processes
International Journal of Intelligent Systems | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4114597 (Why is no real title available?)
| 1989-01-01 | Paper |
On the applicability of maximum entropy to inexact reasoning
International Journal of Approximate Reasoning | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4137758 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4130346 (Why is no real title available?)
| 1989-01-01 | Paper |
On parameter free induction schemas
Journal of Symbolic Logic | 1988-01-01 | Paper |
Provability of the pigeonhole principle and the existence of infinitely many primes
Journal of Symbolic Logic | 1988-01-01 | Paper |
A Note on a Theorem of H. FRIEDMAN
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
On the scheme of induction for bounded arithmetic formulas
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
Combinatorial principles concerning approximations of functions
Archiv für Mathematische Logik und Grundlagenforschung | 1987-01-01 | Paper |
Counting $Δ_0$ sets
Fundamenta Mathematicae | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4033719 (Why is no real title available?)
| 1986-01-01 | Paper |
The Pigeonhole Principle and Fragments of Arithmetic
Mathematical Logic Quarterly | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3912375 (Why is no real title available?)
| 1985-01-01 | Paper |
On the structure of models of bounded $E\sb 1$-induction
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3880682 (Why is no real title available?)
| 1984-01-01 | Paper |
A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION
Mathematical Logic Quarterly | 1984-01-01 | Paper |
Regularity in models of arithmetic
Journal of Symbolic Logic | 1984-01-01 | Paper |
A note on the undefinability of cuts
Journal of Symbolic Logic | 1983-01-01 | Paper |
Accessible Independence Results for Peano Arithmetic
Bulletin of the London Mathematical Society | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3745156 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3745164 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3786751 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3700836 (Why is no real title available?)
| 1980-01-01 | Paper |
Closure properties of countable non-standard integers
Fundamenta Mathematicae | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3689386 (Why is no real title available?)
| 1978-01-01 | Paper |
Some independence results for Peano arithmetic
Journal of Symbolic Logic | 1978-01-01 | Paper |
Note on an induction axiom
Journal of Symbolic Logic | 1978-01-01 | Paper |
Models of arithmetic and the 1-3-1 lattice
Fundamenta Mathematicae | 1977-01-01 | Paper |
Measure and minimal degrees
Annals of Mathematical Logic | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3566838 (Why is no real title available?)
| 1977-01-01 | Paper |
Sets Satisfying 0#
Bulletin of the London Mathematical Society | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3506695 (Why is no real title available?)
| 1975-01-01 | Paper |
Patterns of Indiscernibles
Bulletin of the London Mathematical Society | 1974-01-01 | Paper |
More on the free subset problem
Annals of Mathematical Logic | 1973-01-01 | Paper |
ZF ⊦ Σ40 determinateness
Journal of Symbolic Logic | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3373751 (Why is no real title available?)
| 1972-01-01 | Paper |
Boolean extensions and measurable cardinals
Annals of Mathematical Logic | 1971-01-01 | Paper |
