- The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.details
|
|
Natural deduction with general elimination rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.details
|
|
Logic is not Mathematical.Hartley Slater - 2012 - Polish Journal of Philosophy 6 (1):69-86.details
|
|
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.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
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Absolute generality.Agustín Rayo & Gabriel Uzquiano (eds.) - 2006 - New York: Oxford University Press.details
|
|
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.details
|
|
(1 other version)On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.details
|
|
(1 other version)Articulating Reasons: An Introduction to Inferentialism.Robert Brandom - 2000 - Cambridge, Mass.: Harvard University Press.details
|
|
(1 other version)The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.details
|
|
(1 other version)Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Clarendon Press.details
|
|
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.details
|
|
(1 other version)Articulating reasons: an introduction to inferentialism.Robert Brandom - 2000 - Cambridge: Harvard University Press.details
|
|
Absolute Generality.Agustín Rayo & Gabriel Uzquiano Cruz - 2009 - Critica 41 (121):67-84.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
Logic and Ontology.Nino B. Cocchiarella - 2001 - Axiomathes 12 (1-2):117-150.details
|
|
Logical Inquiries into a New Formal System with Plural Reference.Ran Lanzet & Hanoch Ben-Yami - 2004 - In Vincent F. Hendricks (ed.), First-order logic revisited. Berlin: Logos. pp. 173-223.details
|
|
A Problem of Normal Form in Natural Deduction.Jan von Plato - 2000 - Mathematical Logic Quarterly 46 (1):121-124.details
|
|
A general theory of abstraction operators.Neil Tennant - 2004 - Philosophical Quarterly 54 (214):105-133.details
|
|
Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.details
|
|
Robert B. Brandom, Articulating Reasons (An Introduction to Inferentialism). [REVIEW]Robert B. Brandom - 2001 - Erkenntnis 55 (1):121-127.details
|
|
A critique of Frege on common nouns.Hanoch Ben-Yami - 2006 - Ratio 19 (2):148–155.details
|
|
Logic & Natural Language: On Plural Reference and its Semantic and Logical Significance.Hanoch Ben-Yami - 2004 - Routledge.details
|
|
(1 other version)Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Oxford University Press UK.details
|
|
Categorial Type Logics.Michael Moortgat - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language. Elsevier.details
|
|
Frege - Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens. [REVIEW]Paul Tannery - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.details
|
|