| |
| 1985 | ||
|---|---|---|
| 3 | John Bacon: The Completeness of a Predicate-Functor Logic. J. Symb. Log. 50(4): 903-926 (1985) | |
| 1982 | ||
| 2 | John Bacon: First-Order Logic Based on Inclusion and Abstraction. J. Symb. Log. 47(4): 793-808 (1982) | |
| 1980 | ||
| 1 | John Bacon: Substance and First-Order Quantification Over Individual-Concepts. J. Symb. Log. 45(2): 193-203 (1980) | |