John L. Bell - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2024

A parametrized axiomatization for a large number of restricted second-order logicsGuillermo Badia, John L. Bell. logcom, 34(7):1295-1304, 2024. [doi]

2023

Recollections of logicians, mathematicians and philosophersJohn L. Bell. igpl, 31(6):1232-1250, November 2023. [doi]

Axiomatization and Completeness for Some Restricted Second-Order LanguagesJohn L. Bell. mvl, 40(1-2):121-135, 2023. [doi]

2012

Types, Sets, and CategoriesJohn L. Bell. In Dov M. Gabbay, Akihiro Kanamori, John Woods, editors, Sets and Extensions in the Twentieth Century. Volume 6 of Handbook of the History of Logic, pages 633-687, Elsevier, 2012. [doi]

2008

The axiom of choice and the law of excluded middle in weak set theoriesJohn L. Bell. mlq, 54(2):194-201, 2008. [doi]

2007

Incompleteness in a General SettingJohn L. Bell. bsl, 13(1):21-30, 2007. [doi]

2003

Some new intuitionistic equivalents of Zorn s LemmaJohn L. Bell. AML, 42(8):811-814, 2003. [doi]

2000

Sets and Classes as ManyJohn L. Bell. jphil, 29(6):585-601, 2000. [doi]

1999

Boolean Algebras and Distributive Lattices Treated ConstructivelyJohn L. Bell. mlq, 45:135-143, 1999.

Finite Sets and Frege StructuresJohn L. Bell. JSYML, 64(4):1552-1556, 1999.

Frege s Theorem in A Constructive SettingJohn L. Bell. JSYML, 64(2):486-488, 1999.

1996

Elementary Propositions and IndependenceJohn L. Bell, William Demopoulos. ndjfl, 37(1):112-124, 1996.

Polymodal Lattices and Polymodal LogicJohn L. Bell. mlq, 42:219-233, 1996.

Precovers, Modalities and Universal Closure Operators in a ToposJohn L. Bell, Silvia Gebellato. mlq, 42:289-299, 1996.

1995

Book reviewsDavid 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. mima, 5(3):411-465, 1995. [doi]

1994

Fregean Extensions of First-Order TheoriesJohn L. Bell. mlq, 40:27-30, 1994.

1993

Hilbert's ɛ-operator and classical logicJohn L. Bell. jphil, 22(1):1-18, 1993. [doi]

Hilbert s epsilon-Operator in Intuitionistic Type TheoriesJohn L. Bell. mlq, 39:323-337, 1993.

1988

Toposes and local set theories - an introductionJohn L. Bell. Clarendon Press, 1988.

1983

On the Strength of the Sikorski Extension Theorem for Boolean AlgebrasJohn L. Bell. JSYML, 48(3):841-846, 1983.

1977

A course in mathematical logicJohn L. Bell, Moshe Machover. North-Holland, 1977.

Sign in or sign up to see more results.

runs on WebDSL