John L. Bell

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 2

Top Topics

Artificial Intelligence And Cognitive Science

Directional Derivatives

Top Venues

J. Multiple Valued Log. Soft Comput.

Publications

John L. Bell
Recollections of logicians, mathematicians and philosophers. Log. J. IGPL 31 (6) (2023)
John L. Bell
Axiomatization and Completeness for Some Restricted Second-Order Languages. J. Multiple Valued Log. Soft Comput. 40 (1-2) (2023)
John L. Bell
The axiom of choice and the law of excluded middle in weak set theories. Math. Log. Q. 54 (2) (2008)
John L. Bell
Incompleteness in a General Setting. Bull. Symb. Log. 13 (1) (2007)
John L. Bell
Some new intuitionistic equivalents of Zorn's Lemma. Arch. Math. Log. 42 (8) (2003)
John L. Bell
Sets and Classes as Many. J. Philos. Log. 29 (6) (2000)
John L. Bell
Boolean Algebras and Distributive Lattices Treated Constructively. Math. Log. Q. 45 (1999)
John L. Bell
Finite Sets and Frege Structures. J. Symb. Log. 64 (4) (1999)
John L. Bell
Frege's Theorem in A Constructive Setting. J. Symb. Log. 64 (2) (1999)
John L. Bell
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. J. Symb. Log. 62 (4) (1997)
John L. Bell
Polymodal Lattices and Polymodal Logic. Math. Log. Q. 42 (1996)
John L. Bell, Silvia Gebellato
Precovers, Modalities and Universal Closure Operators in a Topos. Math. Log. Q. 42 (1996)
John L. Bell, William Demopoulos
Elementary Propositions and Independence. Notre Dame J. Formal Log. 37 (1) (1996)
David Kemmerer, Kenneth Aizawa, Donald H. Berman, Stacey L. Edgar, James E. Tomberlin, J. Christopher Maloney, John L. Bell, Stuart C. Shapiro, Georges Rey, Morton L. Schagrin, Robert A. Wilson, Patrick J. Hayes
Book reviews. Minds Mach. 5 (3) (1995)
John L. Bell
Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined. J. Symb. Log. 60 (1) (1995)
John L. Bell
Fregean Extensions of First-Order Theories. Math. Log. Q. 40 (1994)
John L. Bell
Hilbert's ϵ-Operator in Intuitionistic Type Theories. Math. Log. Q. 39 (1993)
John L. Bell
Hilbert's ɛ-operator and classical logic. J. Philos. Log. 22 (1) (1993)
John L. Bell
On the Strength of the Sikorski Extension Theorem for Boolean Algebras. J. Symb. Log. 48 (3) (1983)
John L. Bell
Isomorphism of Structures in S-Toposes. J. Symb. Log. 46 (3) (1981)