Editing Material conditional (section)

== Bibliography ==
*{{Cite web |url=https://math.stackexchange.com/a/1146502/186330 |title=elementary set theory – Is there any connection between the symbol &sup; when it means implication and its meaning as superset? |access-date=2022-08-10 |first=Mauro |last=Allegranza |date=2015-02-13 |website=Mathematics Stack Exchange |publisher=Stack Exchange Inc |language=en |at=Answer}}

* {{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 |last=Bourbaki |first=N. |title=Théorie des ensembles |date=1954 |publisher=Hermann & Cie, Éditeurs |location=Paris |page=14}}

*{{cite encyclopedia |first=Dorothy |last=Edgington |editor=Edward N. Zalta |year=2008 |title=Conditionals |encyclopedia=The Stanford Encyclopedia of Philosophy |edition=Winter 2008 |url=http://plato.stanford.edu/archives/win2008/entries/conditionals/}}

*{{cite encyclopedia|last=Von Fintel|first=Kai |editor-last1=von Heusinger |editor-first1= Klaus | editor-last2= Maienborn |editor-first2= Claudia | editor-first3=Paul |editor-last3=Portner |encyclopedia=Semantics: An international handbook of meaning |title=Conditionals |url=http://mit.edu/fintel/fintel-2011-hsk-conditionals.pdf |year=2011 |pages=1515–1538 |publisher= de Gruyter Mouton |doi=10.1515/9783110255072.1515|hdl=1721.1/95781 |isbn=978-3-11-018523-2 |hdl-access=free }}

*{{cite journal | doi=10.1016/S0166-218X(99)00038-4 | volume=96-97 | title=An algorithm for the class of pure implicational formulas | journal=Discrete Applied Mathematics | pages=89–106 | year=1999 | last1=Franco | first1=John | last2=Goldsmith | first2=Judy | last3=Schlipf | first3=John | last4=Speckenmeyer | first4=Ewald | last5=Swaminathan | first5=R.P. | doi-access=free}}

*{{cite encyclopedia |last=Gillies|first=Thony |editor-last1=Hale |editor-first1=B. | editor-last2=Wright |editor-first2=C. | editor-last3=Miller |editor-first3=A. |encyclopedia=A Companion to the Philosophy of Language |title=Conditionals |url=http://www.thonygillies.org/wp-content/uploads/2015/11/gillies-conditionals-handbook.pdf |year=2017 |pages=401–436 |publisher=Wiley Blackwell |doi=10.1002/9781118972090.ch17|isbn=9781118972090 }}

*{{Cite book |editor-first=Jean |editor-last=Van Heijenoort |title=From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 |year=1967 |publisher=Harvard University Press |isbn=0-674-32449-8 |pages=84–87}}

*{{cite book |last=Hilbert |first=D. |title=Prinzipien der Mathematik (Lecture Notes edited by Bernays, P.) |date=1918}}

*{{cite journal|last= Johansson|first=Ingebrigt|author-link=Ingebrigt Johansson|year=1937|title=Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus|url=http://www.numdam.org/item/CM_1937__4__119_0|journal=[[Compositio Mathematica]]|volume=4|pages=119–136|language=de}}

*{{Cite book | last =Mendelson | first =Elliott | author-link =Elliott Mendelson |title=Introduction to Mathematical Logic | year=2015 | edition=6th | location=Boca Raton | publisher=CRC Press/Taylor & Francis Group (A Chapman & Hall Book) | isbn=978-1-4822-3778-8 | page=2 }}

*{{Cite web |url=https://github.com/mdnahas/Peano_Book/blob/46e27bdb5aed51c078ad99e5a78d134fd2a0c3ca/Peano.pdf |title=English Translation of 'Arithmetices Principia, Nova Methodo Exposita' |access-date=2022-08-10 |first=Michael |last=Nahas |date=25 Apr 2022 |publisher=GitHub}}

*{{cite journal |last1=Oaksford |first1=M. |last2=Chater |first2=N. |year=1994 |title=A rational analysis of the selection task as optimal data selection |journal=[[Psychological Review]] |volume=101 |issue=4 |pages=608–631 |doi=10.1037/0033-295X.101.4.608 |citeseerx=10.1.1.174.4085 |s2cid=2912209 }}

*{{cite book | last = Prawitz | first = Dag | author-link = Dag Prawitz | year = 1965 | title = Natural Deduction: A Proof-Theoretic Study | series = Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3 | publisher = Almqvist & Wiksell | location = Stockholm, Göteborg, Uppsala | oclc = 912927896 }}

*{{cite encyclopedia |last=Starr |first=Will |editor-last1=Zalta |editor-first1=Edward N. |encyclopedia=The Stanford Encyclopedia of Philosophy |title=Counterfactuals |year=2019 |url=https://plato.stanford.edu/archives/fall2019/entries/counterfactuals}}

*{{cite journal |last1=Stenning |first1=K. |last2=van Lambalgen |first2=M. |year=2004 |title=A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning |journal=Cognitive Science |volume=28 |issue=4 |pages=481–530 |doi=10.1016/j.cogsci.2004.02.002 |citeseerx=10.1.1.13.1854 }}

*{{cite thesis |last=Von Sydow |first=M. |title=Towards a Flexible Bayesian and Deontic Logic of Testing Descriptive and Prescriptive Rules |year=2006 |location=Göttingen |publisher=Göttingen University Press |doi=10.53846/goediss-161 |s2cid=246924881 |url=https://ediss.uni-goettingen.de/handle/11858/00-1735-0000-0006-AC29-9|type=doctoralThesis |doi-access=free }}

*{{cite book | last = Tennant | first = Neil | title = Natural Logic | publisher = [[Edinburgh University Press]] | year = 1990 | orig-year = 1978 | edition = 1st, repr. with corrections | isbn = 0852245793 }}