Corcoran, John; Sagüillo, José Miguel The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. (English) Zbl 1406.03005 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 405-424 (2018). MSC: 03-03 03A05 01A60 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{J. M. Sagüillo}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 405--424 (2018; Zbl 1406.03005) Full Text: DOI
Corcoran, John Aristotle’s prototype rule-based underlying logic. (English) Zbl 1397.01005 Log. Univers. 12, No. 1-2, 9-35 (2018). Reviewer: Victor V. Pambuccian (Yerevan) MSC: 01A20 00A30 03-01 PDFBibTeX XMLCite \textit{J. Corcoran}, Log. Univers. 12, No. 1--2, 9--35 (2018; Zbl 1397.01005) Full Text: DOI
Rohde, D.; Corcoran, J.; McGee, T. R.; Wickes, R.; Townsley, M. Probabilistic methods of analysis for the time series Moran scatterplot quadrant signature. (English) Zbl 1525.62207 Environmetrics 26, No. 1, 52-65 (2015). MSC: 62P12 PDFBibTeX XMLCite \textit{D. Rohde} et al., Environmetrics 26, No. 1, 52--65 (2015; Zbl 1525.62207) Full Text: DOI
Corcoran, John; Masoud, Hassan Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions. (English) Zbl 1373.03009 Hist. Philos. Log. 36, No. 1, 39-61 (2015). MSC: 03B10 03A05 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{H. Masoud}, Hist. Philos. Log. 36, No. 1, 39--61 (2015; Zbl 1373.03009) Full Text: DOI
Corcoran, John; Masoud, Hassan Existential-import mathematics. (English) Zbl 1368.03012 Bull. Symb. Log. 21, No. 1, 1-14 (2015). MSC: 03B10 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{H. Masoud}, Bull. Symb. Log. 21, No. 1, 1--14 (2015; Zbl 1368.03012) Full Text: DOI
Corcoran, John; Hamid, Idris Samawi Investigating knowledge and opinion. (English) Zbl 1376.03018 Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 95-126 (2015). MSC: 03B42 03A05 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{I. S. Hamid}, in: The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer. 95--126 (2015; Zbl 1376.03018) Full Text: DOI Link
Corcoran, John; Narendran, Paliath; Thomas, Wolfgang Obituary: Robert McNaughton (1924–2014). (English) Zbl 1409.01030 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 114, 23-25 (2014). MSC: 01A70 PDFBibTeX XMLCite \textit{J. Corcoran} et al., Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 114, 23--25 (2014; Zbl 1409.01030) Full Text: Link
Corcoran, John; Masoud, Hassan Book review of: L. Horsten, The Tarskian turn. Deflationism and axiomatic truth. (English) Zbl 1308.00012 Hist. Philos. Log. 35, No. 3, 308-313 (2014). MSC: 00A17 03-02 03-03 03A05 00A30 01A60 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{H. Masoud}, Hist. Philos. Log. 35, No. 3, 308--313 (2014; Zbl 1308.00012) Full Text: DOI
Corcoran, John; Sagüillo, José Miguel The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. (English) Zbl 1270.03009 Hist. Philos. Log. 32, No. 4, 359-374 (2011). MSC: 03-03 01A60 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{J. M. Sagüillo}, Hist. Philos. Log. 32, No. 4, 359--374 (2011; Zbl 1270.03009) Full Text: DOI
Corcoran, John Sentence, proposition, judgment, statement, and fact: speaking about the written English used in logic. (English) Zbl 1227.03007 Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 71-103 (2009). MSC: 03A05 03B65 PDFBibTeX XMLCite \textit{J. Corcoran}, Stud. Log. (Lond.) 21, 71--103 (2009; Zbl 1227.03007)
Corcoran, John Aristotle’s demonstrative logic. (English) Zbl 1162.03300 Hist. Philos. Log. 30, No. 1, 1-20 (2009). MSC: 03-03 01A20 PDFBibTeX XMLCite \textit{J. Corcoran}, Hist. Philos. Log. 30, No. 1, 1--20 (2009; Zbl 1162.03300) Full Text: DOI
Corcoran, John Notes on the founding of logics and metalogic: Aristotle, Boole, and Tarski. (English) Zbl 1165.03300 Martínez, Concha (ed.) et al., Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001–2005. Santiago de Compostela: Universidade de Santiago de Compostela (ISBN 978-84-9750-811-7/pbk). Cursos e Congresos da Universidade de Santiago de Compostela 167, 143-176 (2007). MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{J. Corcoran}, in: Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001--2005. Santiago de Compostela: Universidade de Santiago de Compostela. 143--176 (2007; Zbl 1165.03300)
Corcoran, John Schemata: the concept of schema in the history of logic. (English) Zbl 1123.03001 Bull. Symb. Log. 12, No. 2, 219-240 (2006). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03-03 03A05 00A30 PDFBibTeX XMLCite \textit{J. Corcoran}, Bull. Symb. Log. 12, No. 2, 219--240 (2006; Zbl 1123.03001) Full Text: DOI
Corcoran, John Aristotle’s Prior analytics and Boole’s Laws of thought. (English) Zbl 1044.03001 Hist. Philos. Log. 24, No. 4, 261-288 (2003). MSC: 03-03 01A55 03A05 01A20 PDFBibTeX XMLCite \textit{J. Corcoran}, Hist. Philos. Log. 24, No. 4, 261--288 (2003; Zbl 1044.03001) Full Text: DOI
Corcoran, John Second-order logic. (English) Zbl 1023.03516 Anderson, C. Anthony (ed.) et al., Logic, meaning and computation. Essays in memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 305, 61-75 (2001). MSC: 03A05 03B15 PDFBibTeX XMLCite \textit{J. Corcoran}, Synth. Libr. 305, 61--75 (2001; Zbl 1023.03516)
Corcoran, John; Wood, Susan Boole’s criteria for validity and invalidity. (English) Zbl 0985.03514 Gasser, James (ed.), A Boole anthology. Recent and classical studies in the logic of George Boole. Including papers from the international Boole conference, Lausanne, Switzerland, September 26-27, 1997. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 291, 101-128 (2000). MSC: 03A05 03-03 01A55 03G25 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{S. Wood}, Synth. Libr. 291, 101--128 (2000; Zbl 0985.03514)
Cohen, Morris R.; Nagel, Ernest [Corcoran, John] An introduction to logic. 2nd ed. (English) Zbl 0860.03003 Indianapolis, IN: Hackett Publishing. xlix, 232 p., £24.95/hbk (1993). Reviewer: A.M.Coyne (Asheville) MSC: 03-01 03A05 PDFBibTeX XMLCite \textit{M. R. Cohen} and \textit{E. Nagel}, An introduction to logic. 2nd ed. Indianapolis, IN: Hackett Publishing (1993; Zbl 0860.03003)
Corcoran, John Conceptual structure of classical logic. (Portuguese) Zbl 0657.03005 Bol. Soc. Parana. Mat. (2) 9, No. 1, 77-118 (1988). MSC: 03A05 PDFBibTeX XMLCite \textit{J. Corcoran}, Bol. Soc. Parana. Mat., II. Sér. 9, No. 1, 77--118 (1988; Zbl 0657.03005)
Tarski, Alfred Corcoran, John (ed.) What are logical notions? (English) Zbl 0622.03004 Hist. Philos. Log. 7, 143-154 (1986). Reviewer: H.Guggenheimer MSC: 03A05 03-03 PDFBibTeX XMLCite \textit{A. Tarski} and \textit{J. Corcoran} (ed.), Hist. Philos. Log. 7, 143--154 (1986; Zbl 0622.03004) Full Text: DOI
Corcoran, John Categoricity. (English) Zbl 0504.03014 Hist. Philos. Logic 1, 187-207 (1980). MSC: 03C35 03A05 PDFBibTeX XMLCite \textit{J. Corcoran}, Hist. Philos. Log. 1, 187--207 (1980; Zbl 0504.03014) Full Text: DOI
Corcoran, John; Wood, Susan Boole’s criteria for validity and invalidity. (English) Zbl 0423.03001 Notre Dame J. Formal Logic 21, 609-638 (1980). MSC: 03A05 03-03 01A55 03G25 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{S. Wood}, Notre Dame J. Formal Logic 21, 609--638 (1980; Zbl 0423.03001) Full Text: DOI
Corcoran, John; Ziewacz, Stanley Identity logics. (English) Zbl 0368.02001 Notre Dame J. Formal Logic 20, 777-784 (1979). MSC: 03B99 03G25 03-01 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{S. Ziewacz}, Notre Dame J. Formal Logic 20, 777--784 (1978; Zbl 0368.02001) Full Text: DOI
Corcoran, John; Frank, William; Maloney, Michael String theory. (English) Zbl 0298.02011 J. Symb. Log. 39(1974), 625-637 (1975). MSC: 03B99 03C35 03B15 03C60 PDFBibTeX XMLCite \textit{J. Corcoran} et al., J. Symb. Log. 39, 625--637 (1975; Zbl 0298.02011) Full Text: DOI
Corcoran, John Aristotle’s natural deduction system. (English) Zbl 0286.02002 Ancient Logic modern Interpr., Proc. Buffalo Sympos. 1972, 85-131 (1974). MSC: 03-03 03A05 01A20 03B99 03B10 PDFBibTeX XML
Weaver, George; Corcoran, John Logical consequence in modal logic. II: Some semantic systems for S4. (English) Zbl 0281.02029 Notre Dame J. Formal Logic 15, 370-378 (1974). MSC: 03B45 PDFBibTeX XMLCite \textit{G. Weaver} and \textit{J. Corcoran}, Notre Dame J. Formal Logic 15, 370--378 (1974; Zbl 0281.02029) Full Text: DOI
Corcoran, John Remarks on Stoic deduction. (English) Zbl 0278.02005 Ancient Logic modern Interpr., Proc. Buffalo Sympos. 1972, 169-181 (1974). MSC: 03-03 01A20 PDFBibTeX XML
Corcoran, John (ed.) Ancient logic and its modern interpretations. Proceedings of the Buffalo symposium on modernist interpretations of ancient logic, 21 and 22 April, 1972. (English) Zbl 0274.00002 Synthese Historical Library. Vol. 9. Dordrecht, Holland - Boston, U.S.A.: D. Reidel Publishing Company. X, 211 p. Dfl. 80.00 (1974). MSC: 00Bxx 03-06 01A20 PDFBibTeX XML
Weaver, G.; Corcoran, J. Logical consequence in modal logic. II: Some semantic systems for \(S4\). (English) Zbl 0214.01003 Notre Dame J. Formal Logic 15, 370-378 (1974). MSC: 03B45 PDFBibTeX XMLCite \textit{G. Weaver} and \textit{J. Corcoran}, Notre Dame J. Formal Logic 15, 370--378 (1974; Zbl 0214.01003) Full Text: DOI
Corcoran, John Completeness of an ancient logic. (English) Zbl 0261.02004 J. Symb. Log. 37(1972), 696-702 (1973). MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{J. Corcoran}, J. Symb. Log. 37, 696--702 (1973; Zbl 0261.02004) Full Text: DOI
Corcoran, John Weak and strong completeness in sentential logics. (English) Zbl 0267.02007 Logique Anal., Nouv. Sér. 15, 429-434 (1972). MSC: 03B05 PDFBibTeX XMLCite \textit{J. Corcoran}, Log. Anal., Nouv. Sér. 15, 429--434 (1972; Zbl 0267.02007)
Corcoran, John; Hatcher, William; Herring, John Variable binding term operators. (English) Zbl 0257.02013 Z. Math. Logik Grundlagen Math. 18, 177-182 (1972). Reviewer: Newton C. A. da Costa MSC: 03B10 03C80 03B99 PDFBibTeX XMLCite \textit{J. Corcoran} et al., Z. Math. Logik Grundlagen Math. 18, 177--182 (1972; Zbl 0257.02013) Full Text: DOI
Corcoran, John Strange arguments. (English) Zbl 0193.28702 Notre Dame J. Formal Logic 13, 206-210 (1972). MSC: 03B05 PDFBibTeX XMLCite \textit{J. Corcoran}, Notre Dame J. Formal Logic 13, 206--210 (1972; Zbl 0193.28702) Full Text: DOI
Corcoran, John; Herring, John Notes on a semantic analysis of variable binding term operators. (English) Zbl 0239.02007 Logique Anal., Nouv. Sér. 14, 644-657 (1971). MSC: 03B99 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{J. Herring}, Log. Anal., Nouv. Sér. 14, 644--657 (1971; Zbl 0239.02007)
Corcoran, John; Weaver, George Logical consequence in modal logic: Natural deduction in S5. (English) Zbl 0187.26603 Notre Dame J. Formal Logic 10, 370-384 (1969). PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{G. Weaver}, Notre Dame J. Formal Logic 10, 370--384 (1969; Zbl 0187.26603) Full Text: DOI