| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3172991 | 2011-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789454 | 2003-01-29 | Paper |
| Absolute probability functions for intuitionistic propositional 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 | 1999-10-28 | Paper |
| Commentary on W. V. Quine's “Free Logic, Description, and Virtual Classes” | 1999-06-22 | Paper |
| Of A and B being logically independent of each other and of their having no common factual content | 1998-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342089 | 1997-07-08 | Paper |
| Consequence and confirmation | 1996-02-04 | Paper |
| Henkin's completeness proof: Forty years later | 1992-06-28 | Paper |
| Indiscernibility and identity in probability theory | 1992-06-25 | Paper |
| Extending ω-consistent sets to maximally consistent, ω-complete sets | 1990-01-01 | Paper |
| On relativizing Kolmogorov's absolute probability functions | 1989-01-01 | Paper |
| The Autonomy of Probability Theory (Notes on Kolmogorov, Rényi, and Popper) | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757895 | 1985-01-01 | Paper |
| Probability theory, intuitionism, semantics, and the Dutch book argument | 1983-01-01 | Paper |
| Probability functions and their assumption sets. The singulary case | 1983-01-01 | Paper |
| Probabilistic semantics for intuitionistic logic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967510 | 1982-01-01 | Paper |
| Generalization in first order logic | 1979-01-01 | Paper |
| On carnap and popper probability functions | 1979-01-01 | Paper |
| Probabilistic Semantics for First-Order Logic | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156409 | 1978-01-01 | Paper |
| A strong completeness theorem for 3-valued logic. II | 1977-01-01 | Paper |
| A Completeness Result for Quantificational Tense Logic | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4117804 | 1976-01-01 | Paper |
| That 'Principia Mathematica', first edition, has a predicative interpretation after all | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4769041 | 1975-01-01 | Paper |
| Completeness of relevant quantification theories | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041544 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5181660 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183469 | 1973-01-01 | Paper |
| Matters of separation | 1972-01-01 | Paper |
| Duals of Smullyan trees | 1972-01-01 | Paper |
| Matters of relevance. Comments by Brian F. Chellas | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632547 | 1972-01-01 | Paper |
| Truth-value semantics for a logic of existence | 1971-01-01 | Paper |
| On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) — A Free Quantification Theory Without Identity | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656756 | 1970-01-01 | Paper |
| Open formulas and the empty domain | 1969-01-01 | Paper |
| A liberated version of S5 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5610992 | 1969-01-01 | Paper |
| Completeness theorems for some presupposition-free logics | 1968-01-01 | Paper |
| On Meyer and Lambert's quantificational calculus FQ | 1968-01-01 | Paper |
| Subformula theorems for N-sequents | 1968-01-01 | Paper |
| A simplified account of validity and implication for quantificational logic | 1968-01-01 | Paper |
| All or none; A novel choice of primitives for elementary logic | 1967-01-01 | Paper |
| Two separation theorems for natural deduction | 1966-01-01 | Paper |
| The Demarcation Line Between Intuitionist Logic and Classical Logic | 1966-01-01 | Paper |
| On not strengthening intuitionistic logic | 1963-01-01 | Paper |
| Proof routines for the propositional calculus | 1963-01-01 | Paper |
| Intuitionism reconsidered | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5336740 | 1962-01-01 | Paper |
| An Extension of the Équivalence Calculus | 1961-01-01 | Paper |
| On requirements for conditional probability functions | 1960-01-01 | Paper |
| On logically false evidence statements | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5847168 | 1955-01-01 | Paper |
