| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 5955030 (Why is no real title available?) | 2011-10-07 | Paper |
| scientific article; zbMATH DE number 1852924 (Why is no real title available?) | 2003-01-29 | Paper |
Absolute probability functions for intuitionistic propositional logic
Journal of Philosophical Logic | 1999-11-22 | Paper |
De A et B, de leur indépendance logique, et de ce qu'ils n'ont aucun contenu factuel commun
Dialogue | 1999-10-28 | Paper |
Commentary on W. V. Quine's “Free Logic, Description, and Virtual Classes”
Dialogue | 1999-06-22 | Paper |
Of A and B being logically independent of each other and of their having no common factual content
Theoria | 1998-03-30 | Paper |
| scientific article; zbMATH DE number 1028826 (Why is no real title available?) | 1997-07-08 | Paper |
Consequence and confirmation
Notre Dame Journal of Formal Logic | 1996-02-04 | Paper |
Henkin's completeness proof: Forty years later
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
Indiscernibility and identity in probability theory
Notre Dame Journal of Formal Logic | 1992-06-25 | Paper |
Extending ω-consistent sets to maximally consistent, ω-complete sets
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
On relativizing Kolmogorov's absolute probability functions
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
The Autonomy of Probability Theory (Notes on Kolmogorov, Rényi, and Popper)
The British Journal for the Philosophy of Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4006238 (Why is no real title available?) | 1985-01-01 | Paper |
Probabilistic semantics for intuitionistic logic
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
Probability theory, intuitionism, semantics, and the Dutch book argument
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
Probability functions and their assumption sets. The singulary case
Journal of Philosophical Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3790396 (Why is no real title available?) | 1982-01-01 | Paper |
On carnap and popper probability functions
Journal of Symbolic Logic | 1979-01-01 | Paper |
Probabilistic Semantics for First-Order Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1979-01-01 | Paper |
Generalization in first order logic
Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3588626 (Why is no real title available?) | 1978-01-01 | Paper |
A strong completeness theorem for 3-valued logic. II
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3542383 (Why is no real title available?) | 1976-01-01 | Paper |
A Completeness Result for Quantificational Tense Logic
Mathematical Logic Quarterly | 1976-01-01 | Paper |
That 'Principia Mathematica', first edition, has a predicative interpretation after all
Journal of Philosophical Logic | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3443622 (Why is no real title available?) | 1975-01-01 | Paper |
Completeness of relevant quantification theories
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3432215 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3455225 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3428888 (Why is no real title available?) | 1973-01-01 | Paper |
Matters of separation
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
Duals of Smullyan trees
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
Matters of relevance. Comments by Brian F. Chellas
Journal of Philosophical Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358446 (Why is no real title available?) | 1972-01-01 | Paper |
Truth-value semantics for a logic of existence
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) — A Free Quantification Theory Without Identity
Mathematical Logic Quarterly | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3387334 (Why is no real title available?) | 1970-01-01 | Paper |
A liberated version of S5
Archiv für Mathematische Logik und Grundlagenforschung | 1969-01-01 | Paper |
Open formulas and the empty domain
Archiv für Mathematische Logik und Grundlagenforschung | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3333266 (Why is no real title available?) | 1969-01-01 | Paper |
Completeness theorems for some presupposition-free logics
Fundamenta Mathematicae | 1968-01-01 | Paper |
A simplified account of validity and implication for quantificational logic
Journal of Symbolic Logic | 1968-01-01 | Paper |
On Meyer and Lambert's quantificational calculus FQ
Journal of Symbolic Logic | 1968-01-01 | Paper |
Subformula theorems for N-sequents
Journal of Symbolic Logic | 1968-01-01 | Paper |
All or none; A novel choice of primitives for elementary logic
Journal of Symbolic Logic | 1967-01-01 | Paper |
Two separation theorems for natural deduction
Notre Dame Journal of Formal Logic | 1966-01-01 | Paper |
The Demarcation Line Between Intuitionist Logic and Classical Logic
Mathematical Logic Quarterly | 1966-01-01 | Paper |
On not strengthening intuitionistic logic
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
Proof routines for the propositional calculus
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
Intuitionism reconsidered
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3209626 (Why is no real title available?) | 1962-01-01 | Paper |
An Extension of the Équivalence Calculus
Mathematical Logic Quarterly | 1961-01-01 | Paper |
On requirements for conditional probability functions
Journal of Symbolic Logic | 1960-01-01 | Paper |
On logically false evidence statements
Journal of Symbolic Logic | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3108371 (Why is no real title available?) | 1955-01-01 | Paper |
