John L. Bell - RankMe

27 papers Journal 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A representation theory for modal distributive lattices. J. Log. Comput. John L. Bell
2024	J	`jnl`	A parametrized axiomatization for a large number of restricted second-order logics. J. Log. Comput. Guillermo Badia, John L. Bell
2023	J	`jnl`	Axiomatization and Completeness for Some Restricted Second-Order Languages. J. Multiple Valued Log. Soft Comput. John L. Bell
2023	J	`jnl`	Recollections of logicians, mathematicians and philosophers. Log. J. IGPL John L. Bell
2012	—	`ch.`	Types, Sets, and Categories. Sets and Extensions in the Twentieth Century John L. Bell
2008	J	`jnl`	The axiom of choice and the law of excluded middle in weak set theories. Math. Log. Q. John L. Bell
2007	J	`jnl`	Incompleteness in a General Setting. Bull. Symb. Log. John L. Bell
2003	J	`jnl`	Some new intuitionistic equivalents of Zorn's Lemma. Arch. Math. Log. John L. Bell
2000	J	`jnl`	Sets and Classes as Many. J. Philos. Log. John L. Bell
1999	J	`jnl`	Boolean Algebras and Distributive Lattices Treated Constructively. Math. Log. Q. John L. Bell
1999	J	`jnl`	Finite Sets and Frege Structures. J. Symb. Log. John L. Bell
1999	J	`jnl`	Frege's Theorem in A Constructive Setting. J. Symb. Log. John L. Bell
1997	J	`jnl`	Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. J. Symb. Log. John L. Bell
1996	J	`jnl`	Elementary Propositions and Independence. Notre Dame J. Formal Log. John L. Bell, William Demopoulos
1996	J	`jnl`	Polymodal Lattices and Polymodal Logic. Math. Log. Q. John L. Bell
1996	J	`jnl`	Precovers, Modalities and Universal Closure Operators in a Topos. Math. Log. Q. John L. Bell, Silvia Gebellato
1995	J	`jnl`	Book reviews. Minds Mach. 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
1995	J	`jnl`	Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined. J. Symb. Log. John L. Bell
1994	J	`jnl`	Fregean Extensions of First-Order Theories. Math. Log. Q. John L. Bell
1993	J	`jnl`	Hilbert's ɛ-operator and classical logic. J. Philos. Log. John L. Bell
1993	J	`jnl`	Hilbert's ϵ-Operator in Intuitionistic Type Theories. Math. Log. Q. John L. Bell
1988	—	`book`	Toposes and local set theories - an introduction. John L. Bell
1983	J	`jnl`	On the Strength of the Sikorski Extension Theorem for Boolean Algebras. J. Symb. Log. John L. Bell
1981	J	`jnl`	Isomorphism of Structures in S-Toposes. J. Symb. Log. John L. Bell
1977	—	`book`	A course in mathematical logic. John L. Bell, Moshé Machover
1976	J	`jnl`	A Note on Generic Ultrafilters. Math. Log. Q. John L. Bell
1976	J	`jnl`	Universal Complete Boolean Algebras and Cardinal Collapsing. Math. Log. Q. John L. Bell