- The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
Inference, Consequence, Implication: A Constructivist's Perspective.B. G. Sundholm - 1998 - Philosophia Mathematica 6 (2):178-194.details
|
|
Inference, consequence, implication: a constructivist's perspective.Göran Sundholm - 1998 - Philosophia Mathematica 6 (2):178-194.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
Existence, proof and truth-making: A perspective on the intuitionistic conception of truth.Göran Sundholm - 1994 - Topoi 13 (2):117-126.details
|
|
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.details
|
|
Brouwer's Anticipation of the Principle of Charity.Göran Sundholm - 1984 - Proceedings of the Aristotelian Society 84:145.details
|
|
Some remarks on verificationistic theories of meaning.Dag Prawitz - 1987 - Synthese 73 (3):471 - 477.details
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Book reviews. [REVIEW]Dag Prawitz - 1994 - Mind 103 (411):373-376.details
|
|
Truth-Makers.Kevin Mulligan, Peter Simons & Barry Smith - 1984 - Philosophy and Phenomenological Research 44 (3):287-321.details
|
|
Verificationism Then and Now.Per Martin-löf - 1995 - Vienna Circle Institute Yearbook 3:187-196.details
|
|
Le Théorème fondamental de Gentzen.Jean Ladrière - 1951 - Revue Philosophique De Louvain 49 (23):357-384.details
|
|
General Propositions and Causality.Frank Plumpton Ramsey - 1929 - In The Foundations of Mathematics and other Logical Essays. Kegan Paul, Trench, Trübner. pp. 237-255.details
|
|
Brouwer's Anticipation of the Principle of Charity.B. G. Sundholm - 1985 - Proceedings of the Aristotelian Society 85:263 - 276.details
|
|
The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.details
|
|
Wissenschaftslehre.Bernard Bolzano & Alois Höfler - 1837 - Revue de Métaphysique et de Morale 22 (4):15-16.details
|
|