×

zbMATH — the first resource for mathematics

Andrews, Peter B.

Compute Distance To:
Author ID: andrews.peter-b Recent zbMATH articles by "Andrews, Peter B."
Published as: Andrews, Peter B.; Andrews, Peter; Andrews, P. B.; Andrews, P.
External Links: MGP · Wikidata · IdRef
Documents Indexed: 38 Publications since 1963, including 3 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 325 times in 235 Documents Cited by Year
Theorem proving via general matings. Zbl 0456.68119
Andrews, Peter B.
50
1981
An introduction to mathematical logic and type theory: To truth through proof. 2nd. ed. Zbl 1002.03002
Andrews, Peter B.
47
2002
Resolution in type theory. Zbl 0231.02038
Andrews, Peter B.
40
1971
An introduction to mathematical logic and type theory: to truth through proof. Zbl 0617.03001
Andrews, Peter B.
35
1986
Sullivan’s minimal models and higher order Whitehead products. Zbl 0441.55012
Andrews, Peter; Arkowitz, Martin
16
1978
Refutations by matings. Zbl 0331.68050
Andrews, Peter B.
14
1976
TPS: A theorem-proving system for classical type theory. Zbl 0858.03017
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
13
1996
General models and extensionality. Zbl 0264.02050
Andrews, Peter B.
13
1972
General models, descriptions, and choice in type theory. Zbl 0264.02049
Andrews, Peter B.
12
1972
TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091
Andrews, Peter B.; Brown, Chad E.
9
2006
False lemmas in Herbrand. Zbl 0126.01006
Dreben, Burton; Andrews, Peter; Aanderaa, Stål O.
8
1963
A reduction of the axioms for the theory of propositional types. Zbl 0127.00701
Andrews, P.
8
1963
On connections and higher-order logic. Zbl 0694.03011
Andrews, Peter B.
8
1989
Resolution with merging. Zbl 0182.02506
Andrews, P. B.
8
1968
A transfinite type theory with type variables. Zbl 0132.24504
Andrews, P. B.
7
1965
Automating higher-order logic. Zbl 0551.68075
Andrews, Peter B.; Miller, Dale A.; Cohen, Eve Longini; Pfenning, Frank
7
1984
Transforming matings into natural deduction proofs. Zbl 0438.68047
Andrews, Peter B.
6
1980
System description: TPS: A theorem proving system for type theory. Zbl 0963.68530
Andrews, Peter B.; Bishop, Matthew; Brown, Chad E.
5
2000
Classical type theory. Zbl 0992.03011
Andrews, Peter B.
5
2001
Where not to find the critical points of a polynomial – variation on a Putnam theme. Zbl 0875.26026
Andrews, Peter
3
1995
TPS: A theorem proving system for classical type theory. Zbl 1226.03026
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
3
2008
Herbrand Award acceptance speech. Zbl 1040.03002
Andrews, Peter B.
2
2003
Provability in elementary type theory. Zbl 0306.02017
Andrews, Peter B.
2
1974
The genus of a closed simply connected manifold. Zbl 0341.55009
Andrews, Peter
2
1976
Resolution in type theory. Zbl 1226.03011
Andrews, Peter B.
1
2008
More on the problem of finding a mapping between clause representation and natural-deduction representation. Zbl 0728.03010
Andrews, Peter B.
1
1991
TPS: A theorem proving system for classical type theory. Zbl 1226.03026
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
3
2008
Resolution in type theory. Zbl 1226.03011
Andrews, Peter B.
1
2008
TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091
Andrews, Peter B.; Brown, Chad E.
9
2006
Herbrand Award acceptance speech. Zbl 1040.03002
Andrews, Peter B.
2
2003
An introduction to mathematical logic and type theory: To truth through proof. 2nd. ed. Zbl 1002.03002
Andrews, Peter B.
47
2002
Classical type theory. Zbl 0992.03011
Andrews, Peter B.
5
2001
System description: TPS: A theorem proving system for type theory. Zbl 0963.68530
Andrews, Peter B.; Bishop, Matthew; Brown, Chad E.
5
2000
TPS: A theorem-proving system for classical type theory. Zbl 0858.03017
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
13
1996
Where not to find the critical points of a polynomial – variation on a Putnam theme. Zbl 0875.26026
Andrews, Peter
3
1995
More on the problem of finding a mapping between clause representation and natural-deduction representation. Zbl 0728.03010
Andrews, Peter B.
1
1991
On connections and higher-order logic. Zbl 0694.03011
Andrews, Peter B.
8
1989
An introduction to mathematical logic and type theory: to truth through proof. Zbl 0617.03001
Andrews, Peter B.
35
1986
Automating higher-order logic. Zbl 0551.68075
Andrews, Peter B.; Miller, Dale A.; Cohen, Eve Longini; Pfenning, Frank
7
1984
Theorem proving via general matings. Zbl 0456.68119
Andrews, Peter B.
50
1981
Transforming matings into natural deduction proofs. Zbl 0438.68047
Andrews, Peter B.
6
1980
Sullivan’s minimal models and higher order Whitehead products. Zbl 0441.55012
Andrews, Peter; Arkowitz, Martin
16
1978
Refutations by matings. Zbl 0331.68050
Andrews, Peter B.
14
1976
The genus of a closed simply connected manifold. Zbl 0341.55009
Andrews, Peter
2
1976
Provability in elementary type theory. Zbl 0306.02017
Andrews, Peter B.
2
1974
General models and extensionality. Zbl 0264.02050
Andrews, Peter B.
13
1972
General models, descriptions, and choice in type theory. Zbl 0264.02049
Andrews, Peter B.
12
1972
Resolution in type theory. Zbl 0231.02038
Andrews, Peter B.
40
1971
Resolution with merging. Zbl 0182.02506
Andrews, P. B.
8
1968
A transfinite type theory with type variables. Zbl 0132.24504
Andrews, P. B.
7
1965
False lemmas in Herbrand. Zbl 0126.01006
Dreben, Burton; Andrews, Peter; Aanderaa, Stål O.
8
1963
A reduction of the axioms for the theory of propositional types. Zbl 0127.00701
Andrews, P.
8
1963
all top 5

Cited by 285 Authors

17 Novák, Vilém
13 Benzmüller, Christoph Ewald
8 Andrews, Peter B.
8 Brown, Chad Edward
8 Murinová, Petra
7 Farmer, William M.
6 Paulson, Lawrence Charles
4 Blanchette, Jasmin Christian
4 Degtyarev, Anatoli Ivanovich
4 Dowek, Gilles
4 Halperin, Stephen
4 Hetzl, Stefan
4 Miller, Dale Allen
4 Wolff, Burkhart
3 Brucker, Achim D.
3 Buijs, Urtzi
3 Félix, Yves
3 Huet, Gerard P.
3 Leitsch, Alexander
3 Lloyd, John Wylie
3 Ng, Kee Siong
3 Siekmann, Jörg H.
3 Stickel, Mark E.
3 Straßburger, Lutz
3 Thomas, Jean-Claude
3 Voronkov, Andrei
2 Abreu, Miguel
2 Anellis, Irving H.
2 Armando, Alessandro
2 Baaz, Matthias
2 Bishop, Matthew
2 Bledsoe, Woodrow W.
2 Böhme, Sascha
2 Dreben, Burton
2 Egly, Uwe
2 El-Zekey, Moataz Saleh
2 Gallier, Jean H.
2 Galmiche, Didier
2 Giunchiglia, Enrico
2 Hermant, Olivier
2 Horwitz, Alan L.
2 Huang, Xiaorong
2 Kerber, Manfred
2 Kohlhase, Michael
2 Krauss, Alexander
2 Manzano, María
2 McDuff, Dusa
2 Moreno-Fernández, José Manuel
2 Narendran, Paliath
2 Otten, Jens
2 Pym, David J.
2 Rath, Thomas
2 Schiemer, Georg
2 Seldin, Jonathan P.
2 Snyder, Wayne
2 Sutcliffe, Geoff
2 Takahara, Yasuhiko
2 Theiss, Frank
2 Uther, William T. B.
2 Waaler, Arild
2 Weller, Daniel S.
2 Woltzenlogel Paleo, Bruno
2 Xi, Hongwei
1 Aanderaa, Stål O.
1 Aderhold, Markus
1 Affeldt, Reynald
1 Alama, Jesse
1 Amjad, Hasan
1 Antonsen, Roger
1 Arkowitz, Martin
1 Artemov, Sergei
1 Arthan, Rob D.
1 Atayan, V. V.
1 Autexier, Serge
1 Backes, Julian
1 Becher, Gérard
1 Beeson, Michael J.
1 Belchí, Francisco
1 Bentkamp, Alexander
1 Bibel, Wolfgang
1 Bjørner, Nikolaj S.
1 Blanc, David Abraham
1 Bonacina, Maria Paola
1 Bongio, Jeremy
1 Boy de la Tour, Thierry
1 Brink, Chris
1 Britz, Katarina
1 Cerrito, Serenella
1 Chen, Huowang
1 Chihani, Zakaria
1 Cho, Jung Wan
1 Cialdea Mayer, Marta
1 Comon-Lundh, Hubert
1 Coquand, Thierry
1 Corella, Francisco
1 Cruanes, Simon
1 Daum, Matthias
1 Davydov, G. V.
1 Davydova, I. M.
1 Dawson, John W. jun.
...and 185 more Authors
all top 5

Cited in 57 Serials

33 Journal of Automated Reasoning
20 Theoretical Computer Science
15 Fuzzy Sets and Systems
12 The Journal of Symbolic Logic
8 Journal of Symbolic Computation
7 Artificial Intelligence
7 Information and Computation
7 Annals of Mathematics and Artificial Intelligence
7 Journal of Applied Logic
7 Logica Universalis
5 Studia Logica
4 Annals of Pure and Applied Logic
3 Notre Dame Journal of Formal Logic
2 Communications in Mathematical Physics
2 Journal of Mathematical Analysis and Applications
2 Annales de l’Institut Fourier
2 Manuscripta Mathematica
2 Formal Aspects of Computing
2 MSCS. Mathematical Structures in Computer Science
2 Formal Methods in System Design
2 The Bulletin of Symbolic Logic
2 Geometry & Topology
2 Erkenntnis
1 Acta Informatica
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 International Journal of Systems Science
1 International Journal of Theoretical Physics
1 Letters in Mathematical Physics
1 BIT
1 Bulletin de la Société Mathématique de France
1 Duke Mathematical Journal
1 Information Sciences
1 Publications Mathématiques
1 Journal of Philosophical Logic
1 Mathematische Zeitschrift
1 Proceedings of the American Mathematical Society
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Synthese
1 Bulletin of the Section of Logic
1 Topology and its Applications
1 Cybernetics
1 Journal of Computer Science and Technology
1 Journal of the American Mathematical Society
1 Annals of Operations Research
1 Linear Algebra and its Applications
1 Cybernetics and Systems Analysis
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 Mathematical Logic Quarterly (MLQ)
1 Bulletin des Sciences Mathématiques
1 Quantum Information Processing
1 Bulletin of the American Mathematical Society
1 Journal of Homotopy and Related Structures
1 Logical Methods in Computer Science
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

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.