- (1 other version)The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.details
|
|
(1 other version)Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.details
|
|
(1 other version)The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.details
|
|
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.details
|
|
Note on a property of matrices for Lewis and Langford's calculi of propositions.James Dugundji - 1940 - Journal of Symbolic Logic 5 (4):150-151.details
|
|
How Are Objective Epistemic Reasons Possible?Paul Boghossian - 2001 - Philosophical Studies 106 (1-2):1-40.details
|
|
(1 other version)Conjunction and Contonktion Revisited.A. Prior - 1964 - Analysis 24 (6):191 - 195.details
|
|
On Basic Logical Knowledge: Reflections on Paul Boghossian’s “How Are Objective Epistemic Reasons Possible?‘.Crispin Wright - 2001 - Philosophical Studies 106 (1-2):41 - 85.details
|
|
Normalization theorems for full first order classical natural deduction.Gunnar Stålmarck - 1991 - Journal of Symbolic Logic 56 (1):129-149.details
|
|
In defence of evolutionary epistemology.Neil Tennant - 1983 - Theoria 49 (1):32-48.details
|
|
Truth table logic, with a survey of embeddability results.Neil Tennant - 1989 - Notre Dame Journal of Formal Logic 30 (3):459-484.details
|
|
Boghossian, P., 1 Fine, A., 107 Grimm, SR, 171 Guleserian, T., 293.F. Kroon, E. McCann, B. C. Van Fraassen & C. J. G. Wright - 2001 - Philosophical Studies 106 (306).details
|
|