Editing Natural deduction (section)

===General references===
* {{Cite book
 |last1=Allen
 |first1=Colin
 |last2=Hand
 |first2=Michael
 |title=Logic Primer
 |date=2022
 |publisher=The MIT Press
 |isbn=978-0-262-54364-4
 |edition=3rd
 |location=Cambridge, Massachusetts
}}
* {{Cite book
 |last=Arthur
 |first=Richard T. W.
 |title=An Introduction to Logic: Using Natural Deduction, Real Arguments, a Little History, and Some Humour
 |date=2017
 |publisher=Broadview Press
 |isbn=978-1-55481-332-2
 |edition=2nd
 |location=Peterborough, Ontario
 |oclc=962129086
 |url=https://www.worldcat.org/title/962129086
}}
* {{Cite book
 |last1=Ayala-Rincón
 |first1=Mauricio
 |last2=de Moura
 |first2=Flávio L. C.
 |title=Applied Logic for Computer Scientists
 |date=2017
 |publisher=Springer
 |series=Undergraduate Topics in Computer Science
 |isbn=978-3-319-51651-6
 |doi=10.1007/978-3-319-51653-0
 |url=https://link.springer.com/book/10.1007/978-3-319-51653-0
}}
* {{cite book|last1=Barker-Plummer|first1=Dave|last2=Barwise|first2=Jon|author2-link=Jon Barwise|last3=Etchemendy|first3=John|author3-link=John Etchemendy|year=2011|title=Language Proof and Logic|publisher=CSLI Publications|edition=2nd|isbn=978-1575866321}}
* {{Cite book
 |last=Bostock
 |first=David
 |title=Intermediate Logic
 |date=1997
 |publisher=Clarendon Press ; Oxford University Press
 |isbn=978-0-19-875141-0
 |location=Oxford ; New York
}}
* {{cite web|last1=Gallier|first1=Jean|author-link= Jean Gallier |title=Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi|url=ftp://ftp.cis.upenn.edu/pub/papers/gallier/conslog1.ps|access-date=12 June 2014|year=2005}}
* {{Cite journal|last=Gentzen|first=Gerhard Karl Erich|author-link=Gerhard Gentzen|year=1935a|title=Untersuchungen über das logische Schließen. I|journal=[[Mathematische Zeitschrift]]|volume=39 | issue = 2 |pages=176–210|doi=10.1007/bf01201353 |s2cid=121546341|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375508|archive-url=https://web.archive.org/web/20151224194624/http://gdz.sub.uni-goettingen.de/dms/load/img/?IDDOC=17178|archive-date=2015-12-24|url-status=live}}
:{{cite journal|author-mask=1|last=Gentzen|first=Gerhard Karl Erich|author-link=Gerhard Gentzen|year=1964|orig-year=1935| title=Investigations into logical deduction | journal=[[American Philosophical Quarterly]] | volume=1 | number=4 | pages=249–287}}
* {{Cite journal|last=Gentzen|first=Gerhard Karl Erich|author-link=Gerhard Gentzen|year=1935b|title=Untersuchungen über das logische Schließen. II|journal=[[Mathematische Zeitschrift]]|volume=39 | issue = 3 |pages=405–431|doi=10.1007/bf01201363 |s2cid=186239837|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375605|archive-url=https://archive.today/20120709063902/http://gdz.sub.uni-goettingen.de/dms/load/img/?IDDOC=17188|archive-date=2012-07-09|url-status=live}}
:{{cite journal|author-mask=1|last=Gentzen|first=Gerhard Karl Erich|author-link=Gerhard Gentzen| year=1965|orig-year=1935| title=Investigations into logical deduction | journal=[[American Philosophical Quarterly]] | volume=2 | number=3 | pages=204–218}}
* {{cite book
 | last1 = Girard
 | first1 = Jean-Yves
 | author1-link = Jean-Yves Girard
 | url = http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html
 | publisher = Cambridge University Press, Cambridge, England
 | series = Cambridge Tracts in Theoretical Computer Science
 | title = Proofs and Types
 | year = 1990
 | access-date = 2006-04-20
 | archive-url = https://web.archive.org/web/20160704202340/http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html
 | archive-date = 2016-07-04
 | url-status = dead
 }} Translated and with appendices by Paul Taylor and Yves Lafont.
* {{Cite book
 |last1=Hansson
 |first1=Sven Ove
 |last2=Hendricks
 |first2=Vincent F.
 |title=Introduction to Formal Philosophy
 |date=2018
 |publisher=Springer
 |isbn=978-3-030-08454-7
 |series=Springer Undergraduate Texts in Philosophy
 |location=Cham
}}
* {{cite book|last1=Jaśkowski|first1=Stanisław|author1-link=Stanisław Jaśkowski|title=On the rules of suppositions in formal logic|year=1934}} Reprinted in ''Polish logic 1920–39'', ed. Storrs McCall.
* {{cite book|last1=Kleene|first1=Stephen Cole|author1-link=Stephen Cole Kleene|title=Introduction to metamathematics|orig-year=1952|year=1980|publisher=North-Holland|edition=Eleventh|isbn=978-0-7204-2103-3}} 
* {{cite book|last1=Kleene|first1=Stephen Cole|author1-link=Stephen Cole Kleene|title=Introduction to metamathematics|orig-year=1952|year=2009|publisher=Ishi Press International|isbn=978-0-923891-57-2}} 
* {{cite book|last1=Kleene|first1=Stephen Cole|author1-link=Stephen Cole Kleene|title=Mathematical logic|orig-year=1967|year=2002|publisher=Dover Publications|location=Mineola, New York|isbn=978-0-486-42533-7}}
* {{Cite book
 |last=Lemmon
 |first=Edward John
 |author-link=John Lemmon
 |title=Beginning Logic
 |url= https://archive.org/details/beginninglogic00lemm
 |year=1978
 |orig-year=1965
 |edition= Fifth printing, 1985
 |publisher=[[Hackett Publishing Company]]
 |isbn=0915144-50-6
 |location=Boca Raton, FL
}}
* {{cite book
 | last1 = Magnus
 | first1 = P.D.
 | last2 = Button
 | first2 = Tim
 | last3 = Trueman
 | first3 = Robert
 | last4 = Zach
 | first4 = Richard
 | title = forall x: An Introduction to Formal Logic
 | edition = Fall 2023
 | publisher = Open Logic Project
 | year = 2023
 | url = https://forallx.openlogicproject.org/
 | access-date = 2025-05-04
}}
* {{cite journal
 | last=Martin-Löf
 | first=Per
 | author-link=Per Martin-Löf
 | url = http://docenti.lett.unisi.it/files/4/1/1/6/martinlof4.pdf
 | title = On the meanings of the logical constants and the justifications of the logical laws
 | journal=[[Nordic Journal of Philosophical Logic]]
 | volume=1
 | issue=1
 | year=1996
 | pages=11–60
}} Lecture notes to a short course at Università degli Studi di Siena, April 1983.
* {{Cite web
 |last1=Paseau
 |first1=A. C.
 |last2=Leek
 |first2=Robert
 |title=The Compactness Theorem
 |publisher= Internet Encyclopedia of Philosophy
 |url=https://iep.utm.edu/compactness/
 |access-date=2024-03-22
 |language=en-US
}}
* {{Citation
 |last1=Paseau
 |first1=Alexander
 |last2=Pregel
 |first2=Fabian
 |title=Deductivism in the Philosophy of Mathematics
 |date=2023
 |encyclopedia=The Stanford Encyclopedia of Philosophy
 |editor-last=Zalta
 |editor-first=Edward N.
 |editor2-last=Nodelman
 |editor2-first=Uri
 |url=https://plato.stanford.edu/archives/fall2023/entries/deductivism-mathematics/
 |access-date=2024-03-22
 |edition=Fall 2023
 |publisher=Metaphysics Research Lab, Stanford University
}}
* {{Citation
 |last1=Pelletier
 |first1=Francis Jeffry
 |last2=Hazen
 |first2=Allen
 |title=Natural Deduction Systems in Logic
 |date=2024
 |encyclopedia=The Stanford Encyclopedia of Philosophy
 |editor-last=Zalta
 |editor-first=Edward N.
 |editor2-last=Nodelman
 |editor2-first=Uri
 |url=https://plato.stanford.edu/archives/spr2024/entries/natural-deduction/
 |access-date=2024-03-22
 |edition=Spring 2024
 |publisher=Metaphysics Research Lab, Stanford University
}}
* {{cite journal
 | last1 = Pfenning
 | first1 = Frank
 | last2 = Davies
 | first2 = Rowan
 | url = https://www-2.cs.cmu.edu/~fp/papers/mscs00.pdf
 | title = A judgmental reconstruction of modal logic
 | journal = Mathematical Structures in Computer Science
 | volume = 11
 | issue = 4
 | year = 2001
 | pages = 511–540
 | doi = 10.1017/S0960129501003322
 | doi-broken-date=2025-02-25 <!-- This line generates a template warning -->
 | citeseerx = 10.1.1.43.1611
 | s2cid = 16467268
}}
* {{Prawitz Natural Deduction|year=1965}}
* {{Prawitz Natural Deduction|year=2006|include-link=no}}
* {{cite book|last1=Quine|first1=Willard Van Orman|author1-link=Willard Van Orman Quine|title=Mathematical logic|edition=Revised|publisher=Harvard University Press|location=Cambridge, Massachusetts|year=1981|orig-year=1940|isbn=978-0-674-55451-1}}
* {{cite book|last1=Quine|first1=Willard Van Orman|author1-link=Willard Van Orman Quine|title=Methods of logic|edition=Fourth|publisher=Harvard University Press|location=Cambridge, Massachusetts|year=1982|orig-year=1950|isbn=978-0-674-57176-1}}
* {{Citation
 | last = Restall
 | first = Greg
 | title = Substructural Logics
 | date = 2018
 | encyclopedia = The Stanford Encyclopedia of Philosophy
 | editor-last = Zalta
 | editor-first = Edward N.
 | url = https://plato.stanford.edu/archives/spr2018/entries/logic-substructural/
 | access-date = 2024-03-22
 | edition = Spring 2018
 | publisher = Metaphysics Research Lab, Stanford University
}}
*{{cite thesis|last=Simpson|first=Alex K.|year=1994|title=The Proof Theory and Semantics of Intuitionistic Modal Logic|url=https://era.ed.ac.uk/bitstream/handle/1842/407/ECS-LFCS-94-308.PDF?sequence=2&isAllowed=y|hdl=1842/407|publisher=[[University of Edinburgh|Edinburgh Research Archive (ERA)]]}}
* {{cite book|last1=Stoll|first1=Robert Roth|title=Set Theory and Logic|location=Mineola, New York|publisher=Dover Publications|year=1979|orig-year=1963|isbn=978-0-486-63829-4}}
* {{cite book|last1=Stouppa|first1=Phiniki|title=The Design of Modal Proof Theories: The Case of S5|year=2004|publisher=University of Dresden|citeseerx=10.1.1.140.1858}} MSc thesis.
* {{cite book|last1=Suppes|first1=Patrick Colonel|author1-link=Patrick Suppes|year=1999|orig-year=1957|title=Introduction to logic|publisher=Dover Publications|location=Mineola, New York|isbn=978-0-486-40687-9}}
* {{Cite web |last=Sutcliffe|first=Geoff|title=Propositional Logic |url=https://www.cs.miami.edu/home/geoff/Courses/CSC648-12S/Content/Propositional.shtml |access-date=2025-05-04|publisher=University of Miami|website=www.cs.miami.edu}}
* {{cite book|last=Van Dalen|first=Dirk|author-link=Dirk van Dalen|year=2013|orig-year=1980|title=Logic and Structure|series=Universitext |edition=5|publisher=[[Springer Science+Business Media|Springer]]|location=London, Heidelberg, New York, Dordrecht|isbn=978-1-4471-4558-5|doi=10.1007/978-1-4471-4558-5}}
* {{Cite book
 |last=von Plato
 |first=Jan
 |title=Elements of Logical Reasoning
 |date=2013
 |publisher=[[Cambridge University Press]]
 |isbn=978-1-107-03659-8
 |edition=1. publ
 |location=Cambridge
}}
* {{Cite web
 |last=Weisstein
 |first=Eric W.
 |title=Connective
 |url=https://mathworld.wolfram.com/
 |access-date=2024-03-22
 |website=mathworld.wolfram.com
 |language=en
}}