| Publication | Date of Publication | Type |
|---|
| Serious computing with tense | 2024-05-30 | Paper |
Spatial unity for the apperception engine
International Journal of Approximate Reasoning | 2024-04-18 | Paper |
| Kant's logic revisited | 2020-02-13 | Paper |
| Logic in the study of autism: reasoning with rules and exceptions | 2019-04-23 | Paper |
The logic and topology of Kant's temporal continuum
The Review of Symbolic Logic | 2018-05-03 | Paper |
A formalization of Kant's transcendental logic
The Review of Symbolic Logic | 2011-10-21 | Paper |
Logical form as a determinant of cognitive processes
Logic, Language, Information and Computation | 2010-09-29 | Paper |
Formal models for real people
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Logic in the study of psychiatric disorders: executive function and rule-following
Topoi | 2007-11-14 | Paper |
| Evolutionary considerations on logical reaoning | 2006-08-16 | Paper |
| On the (ab)use of statistics in the legal case against the nurse Lucia de B | 2006-07-14 | Paper |
| scientific article; zbMATH DE number 2236679 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2222020 (Why is no real title available?) | 2005-11-02 | Paper |
| Logical constructions suggested by vision | 2002-02-28 | Paper |
Semantics as a foundation for psychology: A case study of Wason's selection task
Journal of Logic, Language and Information | 2001-07-23 | Paper |
Conditional quantification, or poor man's probability
Journal of Logic and Computation | 2001-06-26 | Paper |
| Natural deduction for generalized quantifiers | 2001-03-12 | Paper |
On a Spector Ultrapower for the Solovay Model
Mathematical Logic Quarterly | 1997-12-08 | Paper |
| scientific article; zbMATH DE number 956477 (Why is no real title available?) | 1997-06-03 | Paper |
Generalized quantification as substructural logic
Journal of Symbolic Logic | 1997-03-17 | Paper |
Correspondence and Completeness for Generalized Quantifiers
Logic Journal of the IGPL | 1996-07-24 | Paper |
| scientific article; zbMATH DE number 512574 (Why is no real title available?) | 1994-11-29 | Paper |
| scientific article; zbMATH DE number 437514 (Why is no real title available?) | 1993-12-12 | Paper |
Independence, randomness and the axiom of choice
Journal of Symbolic Logic | 1993-04-01 | Paper |
The axiomatization of randomness
Journal of Symbolic Logic | 1990-01-01 | Paper |
Algorithmic information theory
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4089442 (Why is no real title available?) | 1988-01-01 | Paper |
Von Mises' definition of random sequences reconsidered
Journal of Symbolic Logic | 1987-01-01 | Paper |
The representation of Takeuti's \(\coprod\)-operator
Studia Logica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3853062 (Why is no real title available?) | 1983-01-01 | Paper |
