Propositional calculus (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Propositional calculus" in English language version.

refsWebsite

Global rank English rank

16stanford.edu

179^th place

183^rd place

14worldcat.org

5^th place

13doi.org

2^nd place

9books.google.com

3^rd place

5utm.edu

1,379^th place

1,175^th place

3wolfram.com

513^th place

537^th place

3stonybrook.edu

9,697^th place

6,089^th place

3britannica.com

40^th place

58^th place

2ams.org

451^st place

277^th place

2odu.edu

low place

7,401^st place

2springer.com

274^th place

309^th place

2oxfordreference.com

938^th place

658^th place

2nih.gov

4^th place

1terrytao.wordpress.com

low place

1uidaho.edu

8,940^th place

6,665^th place

1toronto.edu

low place

8,821^st place

1miami.edu

4,511^th place

2,800^th place

1brilliant.org

low place

8,871^st place

1web.archive.org

1^st place

1mcmaster.ca

6,572^nd place

4,351^st place

1semanticscholar.org

11^th place

8^th place

1fsu.edu

2,584^th place

1,811^th place

1hawaii.edu

1,308^th place

924^th place

1millersville.edu

low place

1columbia.edu

488^th place

374^th place

1latech.edu

low place

1jstor.org

26^th place

20^th place

1colorado.edu

2,526^th place

1,796^th place

1rochester.edu

2,691^st place

1,948^th place

1cornell.edu

332^nd place

246^th place

1openmathbooks.org

low place

1leanprover.github.io

low place

1emse.fr

low place

1libretexts.org

3,627^th place

2,467^th place

1ualberta.ca

3,600^th place

2,528^th place

1tru.ca

low place

1geneseo.edu

low place

1yale.edu

565^th place

460^th place

1mit.edu

415^th place

327^th place

1ru.nl

9,179^th place

6,972^nd place

1metamath.org

low place

ams.org

mathscinet.ams.org

Tao, Terence (2010), "The completeness and compactness theorems of first-order logic", An epsilon of room, II, American Mathematical Society, pp. 27–31, doi:10.1090/mbk/077, ISBN 978-0-8218-5280-4, MR 2780010
Andrews, Peter B. (2002), An introduction to mathematical logic and type theory: to truth through proof, Applied Logic Series, vol. 27 (Second ed.), Kluwer Academic Publishers, Dordrecht, p. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, MR 1932484

books.google.com

Andrews, Peter B. (2002), An introduction to mathematical logic and type theory: to truth through proof, Applied Logic Series, vol. 27 (Second ed.), Kluwer Academic Publishers, Dordrecht, p. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, MR 1932484
Matthes, Ralph (1999). Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types. Herbert Utz Verlag. p. 23. ISBN 978-3-89675-578-0.
Fitting, Melvin (6 December 2012). First-Order Logic and Automated Theorem Proving. Springer Science & Business Media. p. 16. ISBN 978-1-4612-2360-3.
Restall, Greg; Standefer, Shawn (3 January 2023). Logical Methods. MIT Press. p. 76. ISBN 978-0-262-54484-9.
Beall, J. C.; Restall, Greg (2006). Logical Pluralism. Clarendon Press. p. 38. ISBN 978-0-19-928840-3.
Smullyan, Raymond M. (23 July 2014). A Beginner's Guide to Mathematical Logic. Courier Corporation. pp. 102–103. ISBN 978-0-486-49237-7.
Mendelsohn, Richard L. (10 January 2005). The Philosophy of Gottlob Frege. Cambridge University Press. p. 185. ISBN 978-1-139-44403-3.
Łukasiewicz, Jan (1970). Jan Lukasiewicz: Selected Works. North-Holland. p. 136.
Church, Alonzo (1996). Introduction to Mathematical Logic. Princeton University Press. p. 119. ISBN 978-0-691-02906-1.

brilliant.org

"Propositional Logic | Brilliant Math & Science Wiki". brilliant.org. Retrieved 20 August 2020.

britannica.com

"Truth table | Boolean, Operators, Rules | Britannica". www.britannica.com. 14 March 2024. Retrieved 23 March 2024.
"Formal logic - Semantic Tableaux, Proofs, Rules | Britannica". www.britannica.com. Retrieved 23 March 2024.
"Axiomatic method | Logic, Proofs & Foundations | Britannica". www.britannica.com. Retrieved 23 March 2024.

colorado.edu

math.colorado.edu

"Lecture Topics for Discrete Math Students". math.colorado.edu. Retrieved 22 March 2024.

columbia.edu

cs.columbia.edu

"Lecture1". www.cs.columbia.edu. Retrieved 22 March 2024.

cornell.edu

cs.cornell.edu

"Propositional calculus". www.cs.cornell.edu. Retrieved 22 March 2024.

doi.org

Tao, Terence (2010), "The completeness and compactness theorems of first-order logic", An epsilon of room, II, American Mathematical Society, pp. 27–31, doi:10.1090/mbk/077, ISBN 978-0-8218-5280-4, MR 2780010
Andrews, Peter B. (2002), An introduction to mathematical logic and type theory: to truth through proof, Applied Logic Series, vol. 27 (Second ed.), Kluwer Academic Publishers, Dordrecht, p. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, MR 1932484
Anellis, Irving H. (2012). "Peirce's Truth-functional Analysis and the Origin of the Truth Table". History and Philosophy of Logic. 33: 87–97. doi:10.1080/01445340.2011.621702. S2CID 170654885.
Stojnić, Una (2017). "One's Modus Ponens: Modality, Coherence and Logic". Philosophy and Phenomenological Research. 95 (1): 167–214. doi:10.1111/phpr.12307. ISSN 0031-8205. JSTOR 48578954.
Ayala-Rincón, Mauricio; de Moura, Flávio L.C. (2017). Applied Logic for Computer Scientists. Undergraduate Topics in Computer Science. Springer. p. 2. doi:10.1007/978-3-319-51653-0. ISBN 978-3-319-51651-6.
Metcalfe, David; Powell, John (2011). "Should doctors spurn Wikipedia?". Journal of the Royal Society of Medicine. 104 (12): 488–489. doi:10.1258/jrsm.2011.110227. ISSN 0141-0768. PMC 3241521. PMID 22179287.
Landman, Fred (1991). "Structures for Semantics". Studies in Linguistics and Philosophy. 45: 127. doi:10.1007/978-94-011-3212-1. ISBN 978-0-7923-1240-6. ISSN 0924-4662.
Chowdhary, K.R. (2020). "Fundamentals of Artificial Intelligence". SpringerLink: 31–34. doi:10.1007/978-81-322-3972-7. ISBN 978-81-322-3970-3.
Genesereth, Michael; Kao, Eric J. (2017). Introduction to Logic. Synthesis Lectures on Computer Science. Cham: Springer International Publishing. p. 18. doi:10.1007/978-3-031-01801-5. ISBN 978-3-031-00673-9.
Rogers, Robert L. (1971). Mathematical Logic and Formalized Theories. Elsevier. pp. 38–39. doi:10.1016/c2013-0-11894-6. ISBN 978-0-7204-2098-2.
Ferguson, Thomas Macaulay; Priest, Graham (23 June 2016), "semantic consequence", A Dictionary of Logic, Oxford University Press, doi:10.1093/acref/9780191816802.001.0001, ISBN 978-0-19-181680-2, retrieved 23 March 2024
Ferguson, Thomas Macaulay; Priest, Graham (23 June 2016), "syntactic consequence", A Dictionary of Logic, Oxford University Press, doi:10.1093/acref/9780191816802.001.0001, ISBN 978-0-19-181680-2, retrieved 23 March 2024

dx.doi.org

Rogers, Robert L. (1971). Mathematical Logic and Formalized Theories. Elsevier. pp. 38–39. doi:10.1016/c2013-0-11894-6. ISBN 978-0-7204-2098-2.

emse.fr

"Knowledge Representation and Reasoning: Basics of Logics". www.emse.fr. Retrieved 28 March 2024.

fsu.edu

math.fsu.edu

"Part2Mod1: LOGIC: Statements, Negations, Quantifiers, Truth Tables". www.math.fsu.edu. Retrieved 22 March 2024.

geneseo.edu

milnepublishing.geneseo.edu

DeLancey, Craig (2017). "A Concise Introduction to Logic: §4. Proofs". Milne Publishing. Retrieved 23 March 2024.

hawaii.edu

www2.hawaii.edu

"Lecture Notes on Logical Organization and Critical Thinking". www2.hawaii.edu. Retrieved 22 March 2024.

jstor.org

Stojnić, Una (2017). "One's Modus Ponens: Modality, Coherence and Logic". Philosophy and Phenomenological Research. 95 (1): 167–214. doi:10.1111/phpr.12307. ISSN 0031-8205. JSTOR 48578954.

latech.edu

watson.latech.edu

"Watson". watson.latech.edu. Retrieved 22 March 2024.

leanprover.github.io

"6. Semantics of Propositional Logic — Logic and Proof 3.18.4 documentation". leanprover.github.io. Retrieved 28 March 2024.

libretexts.org

math.libretexts.org

"1.4: Tautologies and contradictions". Mathematics LibreTexts. 9 September 2021. Retrieved 29 March 2024.

mcmaster.ca

digitalcommons.mcmaster.ca

"Russell: the Journal of Bertrand Russell Studies".{{cite web}}: CS1 maint: url-status (link)

metamath.org

us.metamath.org

"Proof Explorer - Home Page - Metamath". us.metamath.org. Retrieved 2 July 2024.

miami.edu

cs.miami.edu

"Propositional Logic". www.cs.miami.edu. Retrieved 22 March 2024.

millersville.edu

sites.millersville.edu

"Logical Connectives". sites.millersville.edu. Retrieved 22 March 2024.

mit.edu

logitext.mit.edu

"Interactive Tutorial of the Sequent Calculus". logitext.mit.edu. Retrieved 23 March 2024.

nih.gov

ncbi.nlm.nih.gov

Metcalfe, David; Powell, John (2011). "Should doctors spurn Wikipedia?". Journal of the Royal Society of Medicine. 104 (12): 488–489. doi:10.1258/jrsm.2011.110227. ISSN 0141-0768. PMC 3241521. PMID 22179287.

pubmed.ncbi.nlm.nih.gov

Metcalfe, David; Powell, John (2011). "Should doctors spurn Wikipedia?". Journal of the Royal Society of Medicine. 104 (12): 488–489. doi:10.1258/jrsm.2011.110227. ISSN 0141-0768. PMC 3241521. PMID 22179287.

odu.edu

cs.odu.edu

"Introduction to Theoretical Computer Science, Chapter 1". www.cs.odu.edu. Retrieved 22 March 2024.
Toida, Shunichi (2 August 2009). "Proof of Implications". CS381 Discrete Structures/Discrete Mathematics Web Course Material. Department of Computer Science, Old Dominion University. Retrieved 10 March 2010.

openmathbooks.org

discrete.openmathbooks.org

Levin, Oscar. Propositional Logic.

oxfordreference.com

Ferguson, Thomas Macaulay; Priest, Graham (23 June 2016), "semantic consequence", A Dictionary of Logic, Oxford University Press, doi:10.1093/acref/9780191816802.001.0001, ISBN 978-0-19-181680-2, retrieved 23 March 2024
Ferguson, Thomas Macaulay; Priest, Graham (23 June 2016), "syntactic consequence", A Dictionary of Logic, Oxford University Press, doi:10.1093/acref/9780191816802.001.0001, ISBN 978-0-19-181680-2, retrieved 23 March 2024

rochester.edu

cs.rochester.edu

"Propositional Logic". www.cs.rochester.edu. Retrieved 22 March 2024.

ru.nl

cs.ru.nl

Lucas, Peter; Gaag, Linda van der (1991). Principles of expert systems (PDF). International computer science series. Wokingham, England; Reading, Mass: Addison-Wesley. p. 26. ISBN 978-0-201-41640-4.

semanticscholar.org

api.semanticscholar.org

Anellis, Irving H. (2012). "Peirce's Truth-functional Analysis and the Origin of the Truth Table". History and Philosophy of Logic. 33: 87–97. doi:10.1080/01445340.2011.621702. S2CID 170654885.

springer.com

link.springer.com

Ayala-Rincón, Mauricio; de Moura, Flávio L.C. (2017). Applied Logic for Computer Scientists. Undergraduate Topics in Computer Science. Springer. p. 2. doi:10.1007/978-3-319-51653-0. ISBN 978-3-319-51651-6.
Genesereth, Michael; Kao, Eric J. (2017). Introduction to Logic. Synthesis Lectures on Computer Science. Cham: Springer International Publishing. p. 18. doi:10.1007/978-3-031-01801-5. ISBN 978-3-031-00673-9.

stanford.edu

plato.stanford.edu

Franks, Curtis (2023), "Propositional Logic", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Fall 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
McGrath, Matthew; Frank, Devin (2023), "Propositions", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Winter 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Bobzien, Susanne (1 January 2016). "Ancient Logic". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
Bobzien, Susanne (2020), "Ancient Logic", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Summer 2020 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Peckhaus, Volker (1 January 2014). "Leibniz's Influence on 19th Century Logic". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
Dutilh Novaes, Catarina (2022), "Argument and Argumentation", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Fall 2022 ed.), Metaphysics Research Lab, Stanford University, retrieved 5 April 2024
Pelletier, Francis Jeffry; Hazen, Allen (2024), "Natural Deduction Systems in Logic", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Spring 2024 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Restall, Greg (2018), "Substructural Logics", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Spring 2018 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Paseau, Alexander; Pregel, Fabian (2023), "Deductivism in the Philosophy of Mathematics", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Fall 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Demey, Lorenz; Kooi, Barteld; Sack, Joshua (2023), "Logic and Probability", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Fall 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Shramko, Yaroslav; Wansing, Heinrich (2021), "Truth Values", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Winter 2021 ed.), Metaphysics Research Lab, Stanford University, retrieved 23 March 2024
Shapiro, Stewart; Kouri Kissel, Teresa (2024), "Classical Logic", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Spring 2024 ed.), Metaphysics Research Lab, Stanford University, retrieved 25 March 2024
Aloni, Maria (2023), "Disjunction", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Spring 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 23 March 2024
"Natural Deduction Systems in Logic > Notes (Stanford Encyclopedia of Philosophy)". plato.stanford.edu. Retrieved 19 April 2024.

intrologic.stanford.edu

"Introduction to Logic - Chapter 2". intrologic.stanford.edu. Retrieved 22 March 2024.

mally.stanford.edu

"Propositional Logic". mally.stanford.edu. Retrieved 23 March 2024.

stonybrook.edu

www3.cs.stonybrook.edu

"Predicate Logic". www3.cs.stonybrook.edu. Retrieved 22 March 2024.
"Analytic Tableaux". www3.cs.stonybrook.edu. Retrieved 23 March 2024.
Bachmair, Leo (2009). "CSE541 Logic in Computer Science" (PDF). Stony Brook University.

terrytao.wordpress.com

Tao, Terence (2010), "The completeness and compactness theorems of first-order logic", An epsilon of room, II, American Mathematical Society, pp. 27–31, doi:10.1090/mbk/077, ISBN 978-0-8218-5280-4, MR 2780010

toronto.edu

teach.cs.toronto.edu

"3.1 Propositional Logic". www.teach.cs.toronto.edu. Retrieved 22 March 2024.

tru.ca

intrologicimport.pressbooks.tru.ca

DeLancey, Craig; Woodrow, Jenna (2017). Elementary Formal Logic (1 ed.). Pressbooks.

ualberta.ca

sites.ualberta.ca

Sylvestre, Jeremy. EF Tautologies and contradictions.

uidaho.edu

webpages.uidaho.edu

"Philosophy 404: Lecture Five". www.webpages.uidaho.edu. Retrieved 22 March 2024.

utm.edu

iep.utm.edu

"Propositional Logic | Internet Encyclopedia of Philosophy". Retrieved 22 March 2024.
"Propositional Logic | Internet Encyclopedia of Philosophy". Retrieved 20 August 2020.
"Validity and Soundness | Internet Encyclopedia of Philosophy". Retrieved 5 April 2024.
"Compactness | Internet Encyclopedia of Philosophy". Retrieved 22 March 2024.
"Natural Deduction | Internet Encyclopedia of Philosophy". Retrieved 23 March 2024.

web.archive.org

Truth in Frege

wolfram.com

mathworld.wolfram.com

Weisstein, Eric W. "Propositional Calculus". mathworld.wolfram.com. Retrieved 22 March 2024.
Weisstein, Eric W. "Connective". mathworld.wolfram.com. Retrieved 22 March 2024.
Weisstein, Eric W. "Sequent Calculus". mathworld.wolfram.com. Retrieved 23 March 2024.

worldcat.org

search.worldcat.org

Hilbert, D.; Ackermann, W. (1950). Principles of Mathematical Logic. Chelsea Publishing Company. OCLC 372927.
Stojnić, Una (2017). "One's Modus Ponens: Modality, Coherence and Logic". Philosophy and Phenomenological Research. 95 (1): 167–214. doi:10.1111/phpr.12307. ISSN 0031-8205. JSTOR 48578954.
Humberstone, Lloyd (2011). The connectives. Cambridge, Mass: MIT Press. pp. 118, 702. ISBN 978-0-262-01654-4. OCLC 694679197.
Metcalfe, David; Powell, John (2011). "Should doctors spurn Wikipedia?". Journal of the Royal Society of Medicine. 104 (12): 488–489. doi:10.1258/jrsm.2011.110227. ISSN 0141-0768. PMC 3241521. PMID 22179287.
Ayers, Phoebe; Matthews, Charles; Yates, Ben (2008). How Wikipedia works: and how you can be a part of it. San Francisco: No Starch Press. p. 22. ISBN 978-1-59327-176-3. OCLC 185698411.
Landman, Fred (1991). "Structures for Semantics". Studies in Linguistics and Philosophy. 45: 127. doi:10.1007/978-94-011-3212-1. ISBN 978-0-7923-1240-6. ISSN 0924-4662.
Burgess, John P. (2009). Philosophical logic. Princeton foundations of contemporary philosophy. Princeton: Princeton University Press. p. 5. ISBN 978-0-691-13789-6. OCLC 276141382.
Dix, J.; Fisher, Michael; Novak, Peter, eds. (2010). Computational logic in multi-agent systems: 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009: revised selected and invited papers. Lecture notes in computer science. Berlin; New York: Springer. p. 49. ISBN 978-3-642-16866-6. OCLC 681481210.
Arthur, Richard T. W. (2017). An introduction to logic: using natural deduction, real arguments, a little history, and some humour (2nd ed.). Peterborough, Ontario: Broadview Press. ISBN 978-1-55481-332-2. OCLC 962129086.

worldcat.org

Humberstone, Lloyd (2011). The connectives. Cambridge, Mass: MIT Press. pp. 118, 702. ISBN 978-0-262-01654-4. OCLC 694679197.
Ayers, Phoebe; Matthews, Charles; Yates, Ben (2008). How Wikipedia works: and how you can be a part of it. San Francisco: No Starch Press. p. 22. ISBN 978-1-59327-176-3. OCLC 185698411.
Burgess, John P. (2009). Philosophical logic. Princeton foundations of contemporary philosophy. Princeton: Princeton University Press. p. 5. ISBN 978-0-691-13789-6. OCLC 276141382.
Dix, J.; Fisher, Michael; Novak, Peter, eds. (2010). Computational logic in multi-agent systems: 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009: revised selected and invited papers. Lecture notes in computer science. Berlin; New York: Springer. p. 49. ISBN 978-3-642-16866-6. OCLC 681481210.
Arthur, Richard T. W. (2017). An introduction to logic: using natural deduction, real arguments, a little history, and some humour (2nd ed.). Peterborough, Ontario: Broadview Press. ISBN 978-1-55481-332-2. OCLC 962129086.

yale.edu

cs.yale.edu

"MathematicalLogic". www.cs.yale.edu. Retrieved 23 March 2024.