Paulson, Lawrence C. (February 2018). "Computational Logic: Its Origins and Applications"
(https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5832843). Proceedings of the Royal Society
A: Mathematical, Physical and Engineering Sciences. 474 (2210): 1–14. arXiv:1712.04375
(https://arxiv.org/abs/1712.04375). Bibcode:2018RSPSA.47470872P (https://ui.adsabs.harv
ard.edu/abs/2018RSPSA.47470872P). doi:10.1098/rspa.2017.0872 (https://doi.org/10.109
8%2Frspa.2017.0872). PMC 5832843 (https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5832
843). PMID 29507522 (https://pubmed.ncbi.nlm.nih.gov/29507522). S2CID 3805901 (http
s://api.semanticscholar.org/CorpusID:3805901).
Pedemonte, Bettina (25 June 2018). "Strategic vs Definitory Rules: Their Role in Abductive
Argumentation and their Relationship with Deductive Proof" (https://www.ejmste.com/article/
strategic-vs-definitory-rules-their-role-in-abductive-argumentation-and-their-relationship-with
-5539). Eurasia Journal of Mathematics, Science and Technology Education. 14 (9): 1–17.
doi:10.29333/ejmste/92562 (https://doi.org/10.29333%2Fejmste%2F92562). ISSN 1305-
8215 (https://search.worldcat.org/issn/1305-8215). S2CID 126245285 (https://api.semantics
cholar.org/CorpusID:126245285). Archived (https://web.archive.org/web/20211207195246/h
ttps://www.ejmste.com/article/strategic-vs-definitory-rules-their-role-in-abductive-argumentati
on-and-their-relationship-with-5539) from the original on 7 December 2021. Retrieved
8 January 2022.
Pickel, Bryan (1 July 2020). "Structured Propositions and Trivial Composition" (https://doi.or
g/10.1007%2Fs11229-018-1853-1). Synthese. 197 (7): 2991–3006. doi:10.1007/s11229-
018-1853-1 (https://doi.org/10.1007%2Fs11229-018-1853-1). hdl:20.500.11820/3427c028-
f2cb-4216-a199-9679a49ce71c (https://hdl.handle.net/20.500.11820%2F3427c028-f2cb-42
16-a199-9679a49ce71c). ISSN 1573-0964 (https://search.worldcat.org/issn/1573-0964).
S2CID 49729020 (https://api.semanticscholar.org/CorpusID:49729020).
Pietroski, Paul (2021). "Logical Form: 1. Patterns of Reason" (https://plato.stanford.edu/entri
es/logical-form/#pat). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
Stanford University. Archived (https://web.archive.org/web/20211002190116/https://plato.sta
nford.edu/entries/logical-form/#pat) from the original on 2 October 2021. Retrieved
4 December 2021.
Planty-Bonjour, Guy (2012). The Categories of Dialectical Materialism: Contemporary Soviet
Ontology. Springer Science & Business Media. p. 62. ISBN 978-94-010-3517-0.
Possin, Kevin (2016). "Conductive Arguments: Why is This Still a Thing?" (https://philpapers.
org/rec/POSCAW-4). Informal Logic. 36 (4): 563–593. doi:10.22329/il.v36i4.4527 (https://do
i.org/10.22329%2Fil.v36i4.4527). Archived (https://web.archive.org/web/20220108171723/ht
tps://philpapers.org/rec/POSCAW-4) from the original on 8 January 2022. Retrieved
8 January 2022.
Priest, Graham; Tanaka, Koji; Weber, Zach (2018). "Paraconsistent Logic" (https://plato.stan
ford.edu/entries/logic-paraconsistent/). The Stanford Encyclopedia of Philosophy.
Metaphysics Research Lab, Stanford University. Retrieved 14 December 2021.
Pépin, Jean (2004). "Logos". Encyclopedia of Religion (https://www.encyclopedia.com/philo
sophy-and-religion/philosophy/philosophy-terms-and-concepts/logos). ISBN 978-0-02-
865733-2. Archived (https://web.archive.org/web/20211229134626/https://www.encyclopedi
a.com/philosophy-and-religion/philosophy/philosophy-terms-and-concepts/logos) from the
original on 29 December 2021. Retrieved 29 December 2021.
Putnam, H. (1969). "Is Logic Empirical?". Boston Studies in the Philosophy of Science.
Vol. 5. pp. 216–241. doi:10.1007/978-94-010-3381-7_5 (https://doi.org/10.1007%2F978-94-
010-3381-7_5). ISBN 978-94-010-3383-1.
Quine, Willard Van Orman (1981). Mathematical Logic. Harvard University Press. p. 1.
ISBN 978-0-674-55451-1.
Rathjen, Michael; Sieg, Wilfried (2022). "Proof Theory" (https://plato.stanford.edu/entries/pro