- Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
(1 other version)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
|
|
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History.Reviel Netz - 1999 - Cambridge and New York: Cambridge University Press.details
|
|
Sellars and the Space of Reasons [Sellars y el espacio de las razones].John McDowell - unknowndetails
|
|
Dialectic, the Dictum de Omni and Ecthesis.Michel Crubellier, Mathieu Marion, Zoe Mcconaughey & Shahid Rahman - 2019 - History and Philosophy of Logic 40 (3):207-233.details
|
|
(1 other version)Other Minds.J. L. Austin - 2000 - In Sven Bernecker & Fred I. Dretske (eds.), Knowledge: readings in contemporary epistemology. New York: Oxford University Press.details
|
|
The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.details
|
|
The Justification of Identity Elimination in Martin-Löf’s Type Theory.Ansten Klev - 2019 - Topoi 38 (3):577-590.details
|
|
Foundations of Set Theory.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1973 - Atlantic Highlands, NJ, USA: Elsevier.details
|
|
(1 other version)Logische Syntax der Sprache.R. Carnap - 1936 - Philosophy 11 (41):110-114.details
|
|
(3 other versions)Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.details
|
|
Ludic Proof: Greek Mathematics and the Alexandrian Aesthetic.Reviel Netz - 2009 - Cambridge University Press.details
|
|
Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.details
|
|
On the meanings of the logical constants and the justifications of the logical laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.details
|
|
Naturalizing Dialogic Pragmatics.Gerhard Heinzmann - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 285--297.details
|
|
Aristotle's natural deduction system.John Corcoran - 1974 - In Ancient logic and its modern interpretations. Boston,: Reidel. pp. 85--131.details
|
|
On the strength of dependent products in the type theory of Martin-Löf.Richard Garner - 2009 - Annals of Pure and Applied Logic 160 (1):1-12.details
|
|
La dialectique, entre logique et rhétorique.Laurent Keiff - 2010 - Revue de Métaphysique et de Morale 66 (2):149-178.details
|
|
(1 other version)Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.details
|
|
Aristotle's Prior Analytics.Robin Smith - 1989 - Hackett Publishing Company.details
|
|
(5 other versions)Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
Logic, language-games and information: Kantian themes in the philosophy of logic.Jaakko Hintikka - 1973 - Oxford,: Clarendon Press.details
|
|
Truth and other enigmas.Michael Dummett - 1978 - Cambridge: Harvard University Press.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)Basic objectives of dialogue logic in historical perspective.Kuno Lorenz - 2001 - Synthese 127 (1-2):255 - 263.details
|
|
Intuitionistic logic as epistemic logic.Jaakko Hintikka - 2001 - Synthese 127 (1-2):7 - 19.details
|
|
Empiricism and the philosophy of mind.Wilfrid Sellars - 1956 - Minnesota Studies in the Philosophy of Science 1:253-329.details
|
|
Programming in Martin-Löf’s Type Theory: An Introduction.Bengt Nordström, Kent Petersson & Jan M. Smith - 1990 - Clarendon Press.details
|
|
Neuer Beweis für die Möglichkeit einer Wohlordnung.Ernst Zermelo - 1907 - Mathematische Annalen 65 (1):107-128.details
|
|
Making it Explicit.Isaac Levi & Robert B. Brandom - 1996 - Journal of Philosophy 93 (3):145.details
|
|
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.details
|
|
(1 other version)The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
(1 other version)An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.details
|
|
Ibn sīnā’s approach to equality and unity.Shahid Rahman, Johan Georg Granström & Zaynab Salloum - 2014 - Arabic Sciences and Philosophy 24 (2):297-307.details
|
|
On Hypothetical Judgements and Leibniz’s Notion of Conditional Right.Shahid Rahman - 2015 - In Matthias Armgardt, Patrice Canivez & Sandrine Chassagnard-Pinet (eds.), Past and Present Interactions in Legal Reasoning and Logic. Cham, Switzerland: Springer.details
|
|
Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre.Ernst Zermelo - 1930 - Fundamenta Mathematicæ 16:29--47.details
|
|
Ein formales Modell der Syllogistik des Aristotles.Kurt Ebbinghaus & Aristotle - 1964 - Vandenhoeck & Reprecht.details
|
|
Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Outlines of a formalist philosophy of mathematics.Haskell Brooks Curry - 1951 - Amsterdam,: North-Holland Pub. Co..details
|
|
Realizability and intuitionistic logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.details
|
|
(1 other version)Einführung in die operative Logik und Mathematik.Paul Lorenzen - 1955 - Berlin,: Springer.details
|
|
(1 other version)An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In H. E. Rose & J. C. Shepherdson (eds.), Logic Colloquium ’73 Proceedings of the Logic Colloquium. Elsevier. pp. 73--118.details
|
|
Plato On Truth And Falsity In Names.J. V. Luce - 1969 - Classical Quarterly 19 (2):222-232.details
|
|
Models for Modalities.Jaakko Hintikka - 1971 - Studia Logica 28:161-163.details
|
|
Ludwig Wittgenstein: Half-Truths and One-and-a-Half-Truths.Jaakko Hintikka - 1996 - Springer.details
|
|
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.details
|
|
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.details
|
|