×

zbMATH — the first resource for mathematics

Corcoran, John

Compute Distance To:
Author ID: corcoran.john Recent zbMATH articles by "Corcoran, John"
Published as: Corcoran, J.; Corcoran, John
Homepage: http://www.buffalo.edu/cas/philosophy/faculty/memoriam/corcoran.html
External Links: MGP · Wikidata · ResearchGate · dblp
Documents Indexed: 32 Publications since 1969, including 1 Book
Biographic References: 5 Publications

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 189 times in 147 Documents Cited by Year
What are logical notions? Zbl 0622.03004
Tarski, Alfred; Corcoran, John (ed.)
53
1986
Completeness of an ancient logic. Zbl 0261.02004
Corcoran, John
28
1973
Categoricity. Zbl 0504.03014
Corcoran, John
20
1980
String theory. Zbl 0298.02011
Corcoran, John; Frank, William; Maloney, Michael
19
1975
Schemata: the concept of schema in the history of logic. Zbl 1123.03001
Corcoran, John
9
2006
Aristotle’s Prior analytics and Boole’s Laws of thought. Zbl 1044.03001
Corcoran, John
9
2003
Aristotle’s natural deduction system. Zbl 0286.02002
Corcoran, John
8
1974
Ancient logic and its modern interpretations. Proceedings of the Buffalo symposium on modernist interpretations of ancient logic, 21 and 22 April, 1972. Zbl 0274.00002
Corcoran, John (ed.)
6
1974
Variable binding term operators. Zbl 0257.02013
Corcoran, John; Hatcher, William; Herring, John
6
1972
Boole’s criteria for validity and invalidity. Zbl 0423.03001
Corcoran, John; Wood, Susan
5
1980
Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions. Zbl 1373.03009
Corcoran, John; Masoud, Hassan
4
2015
Aristotle’s demonstrative logic. Zbl 1162.03300
Corcoran, John
4
2009
Logical consequence in modal logic: Natural deduction in S5. Zbl 0187.26603
Corcoran, John; Weaver, George
4
1969
The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. Zbl 1270.03009
Corcoran, John; Sagüillo, José Miguel
3
2011
Notes on a semantic analysis of variable binding term operators. Zbl 0239.02007
Corcoran, John; Herring, John
2
1971
Aristotle’s prototype rule-based underlying logic. Zbl 1397.01005
Corcoran, John
1
2018
Existential-import mathematics. Zbl 1368.03012
Corcoran, John; Masoud, Hassan
1
2015
Investigating knowledge and opinion. Zbl 1376.03018
Corcoran, John; Hamid, Idris Samawi
1
2015
Sentence, proposition, judgment, statement, and fact: speaking about the written English used in logic. Zbl 1227.03007
Corcoran, John
1
2009
Notes on the founding of logics and metalogic: Aristotle, Boole, and Tarski. Zbl 1165.03300
Corcoran, John
1
2007
Second-order logic. Zbl 1023.03516
Corcoran, John
1
2001
Conceptual structure of classical logic. Zbl 0657.03005
Corcoran, John
1
1988
Remarks on Stoic deduction. Zbl 0278.02005
Corcoran, John
1
1974
Weak and strong completeness in sentential logics. Zbl 0267.02007
Corcoran, John
1
1972
Aristotle’s prototype rule-based underlying logic. Zbl 1397.01005
Corcoran, John
1
2018
Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions. Zbl 1373.03009
Corcoran, John; Masoud, Hassan
4
2015
Existential-import mathematics. Zbl 1368.03012
Corcoran, John; Masoud, Hassan
1
2015
Investigating knowledge and opinion. Zbl 1376.03018
Corcoran, John; Hamid, Idris Samawi
1
2015
The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. Zbl 1270.03009
Corcoran, John; Sagüillo, José Miguel
3
2011
Aristotle’s demonstrative logic. Zbl 1162.03300
Corcoran, John
4
2009
Sentence, proposition, judgment, statement, and fact: speaking about the written English used in logic. Zbl 1227.03007
Corcoran, John
1
2009
Notes on the founding of logics and metalogic: Aristotle, Boole, and Tarski. Zbl 1165.03300
Corcoran, John
1
2007
Schemata: the concept of schema in the history of logic. Zbl 1123.03001
Corcoran, John
9
2006
Aristotle’s Prior analytics and Boole’s Laws of thought. Zbl 1044.03001
Corcoran, John
9
2003
Second-order logic. Zbl 1023.03516
Corcoran, John
1
2001
Conceptual structure of classical logic. Zbl 0657.03005
Corcoran, John
1
1988
What are logical notions? Zbl 0622.03004
Tarski, Alfred; Corcoran, John (ed.)
53
1986
Categoricity. Zbl 0504.03014
Corcoran, John
20
1980
Boole’s criteria for validity and invalidity. Zbl 0423.03001
Corcoran, John; Wood, Susan
5
1980
String theory. Zbl 0298.02011
Corcoran, John; Frank, William; Maloney, Michael
19
1975
Aristotle’s natural deduction system. Zbl 0286.02002
Corcoran, John
8
1974
Ancient logic and its modern interpretations. Proceedings of the Buffalo symposium on modernist interpretations of ancient logic, 21 and 22 April, 1972. Zbl 0274.00002
Corcoran, John (ed.)
6
1974
Remarks on Stoic deduction. Zbl 0278.02005
Corcoran, John
1
1974
Completeness of an ancient logic. Zbl 0261.02004
Corcoran, John
28
1973
Variable binding term operators. Zbl 0257.02013
Corcoran, John; Hatcher, William; Herring, John
6
1972
Weak and strong completeness in sentential logics. Zbl 0267.02007
Corcoran, John
1
1972
Notes on a semantic analysis of variable binding term operators. Zbl 0239.02007
Corcoran, John; Herring, John
2
1971
Logical consequence in modal logic: Natural deduction in S5. Zbl 0187.26603
Corcoran, John; Weaver, George
4
1969
all top 5

Cited by 136 Authors

10 Corcoran, John
5 Grattan-Guinness, Ivor
5 Sagüillo, Jose-Miguel
4 Awodey, Steve
4 Shapiro, Stewart
3 Antonelli, Gian Aldo
3 Bonnay, Denis
3 Feferman, Solomon
3 Martin, John Neil
3 Masoud, Hassan
3 Pratt-Hartmann, Ian
3 Read, Stephen
3 Schiemer, Georg
2 Béziau, Jean-Yves
2 Boger, George
2 Da Costa, Newton Carneiro Affonso
2 Dutilh Novaes, Catarina
2 Hazen, Allen P.
2 Heck, Richard Kimberly
2 Moss, Lawrence S.
2 Reck, Erich H.
2 Sagi, Gil
2 Sher, Gila
2 Topal, Selçuk
2 Weaver, George E.
2 Westerståhl, Dag
1 Abeles, Francine F.
1 Abiteboul, Serge
1 Alvarez-Fontecilla, Enrique
1 Andrade-Lotero, Edgar
1 Andrade, Edgar José
1 Arazim, Pavel
1 Avron, Arnon
1 Baldwin, John T.
1 Becerra, Edward Samuel
1 Benis-Sinaceur, Hourya
1 Bobzien, Susanne
1 Bonotto, Cinzia
1 Braüner, Torben
1 Bressan, Aldo
1 Broersen, Jan M.
1 Bueno, Otávio
1 Buldt, Bernd
1 Burke, Mark E.
1 Casanovas, Enrique
1 Castelnérac, Benoît
1 Cerna, David M.
1 Çevik, Ahmet Sinan
1 Cohen, Liron
1 Coquand, Thierry
1 Crubellier, Michel
1 da Silva, Jairo José
1 Danielsson, Nils Anders
1 Demopoulos, William
1 Demri, Stéphane P.
1 DeVidi, David
1 Dipert, Randall Roy
1 Dyckhoff, Roy
1 Ebels-Duggan, Sean C.
1 Ebert, Philip A.
1 Eder, Günther
1 Edwards, Jim
1 Engström, Fredrik
1 Glashoff, Klaus
1 Gómez-Torrente, Mario
1 Griffiths, Owen
1 Hamami, Yacin
1 Hammer, Eric M.
1 Hartimo, Mirja Helena
1 Humberstone, I. L.
1 Humberstone, Lloyd
1 Indrzejczak, Andrzej
1 Joray, Pierre
1 Kristiansen, Lars
1 La Palme Reyes, Marie
1 Leach-Krouse, Graham
1 Lefever, Koen
1 Lemanski, Jens
1 Loeb, Iris
1 Lungenstrass, Tomás
1 Macnamara, John
1 Malink, Marko
1 Mancosu, Paolo
1 Marion, Martine
1 Marion, Mathieu
1 May, Robert D.
1 McConaughey, Zoé
1 McGee, Vann
1 Mineshima, Koji
1 Mortensen, Chris
1 Murwanashyaka, Juvenal
1 Nicolai, Carlo
1 Okada, Mitsuhiro
1 Pagnan, Ruggero
1 Paseau, Alexander Christopher
1 Pelletier, Francis Jeffry
1 Pleitz, Martin
1 Pollock, Samantha
1 Raab, Jonas
1 Raclavský, Jiří
...and 36 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.