M. Randall Holmes

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 2

Top Topics

Logical Representation

Database Schemes

Temporal Relations

Top Venues

Notre Dame J. Formal Log.

J. Philos. Log.

Publications

Zuhair Al-Johar, M. Randall Holmes
Acyclic Comprehension is equal to Stratified Comprehension. CoRR (2020)
M. Randall Holmes
Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic. J. Philos. Log. 48 (2) (2019)
Zuhair Al-Johar, M. Randall Holmes, Nathan J. Bowler
The Axiom Scheme of Acyclic Comprehension. Notre Dame J. Formal Log. 55 (1) (2014)
M. Randall Holmes
On hereditarily small sets in ZF. Math. Log. Q. 60 (3) (2014)
M. Randall Holmes
The Usual Model Construction for NFU Preserves Information. Notre Dame J. Formal Log. 53 (4) (2012)
M. Randall Holmes
Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'. Stud Logica 88 (2) (2008)
M. Randall Holmes
The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory. Stud Logica 79 (3) (2005)
M. Randall Holmes
Paradoxes in Double Extension Set Theories. Stud Logica 77 (1) (2004)
M. Randall Holmes
Karel Lambert, Free Logic: Selected Essays. Stud Logica 75 (3) (2003)
M. Randall Holmes
Polymorphic type checking for the ramified theory of types of Principia Mathematica. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)
M. Randall Holmes
Strong Axioms of Infinity in NFU. J. Symb. Log. 66 (1) (2001)
M. Randall Holmes, Jim Alves-Foss
The Watson Theorem Prover. J. Autom. Reason. 26 (4) (2001)
M. Randall Holmes
A Strong and Mechanizable Grand Logic. TPHOLs (2000)
M. Randall Holmes
Subsystems of Quine's "New Foundations" with Predicativity Restrictions. Notre Dame J. Formal Log. 40 (2) (1999)
M. Randall Holmes
Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2. RTA (1995)
M. Randall Holmes
The Equivalence of NF-Style Set Theories with "Tangled" Type Theories; The Construction of omega-Models of Predicative NF (and More). J. Symb. Log. 60 (1) (1995)
M. Randall Holmes
Untyped lambda-Calculus with Relative Typing. TLCA (1995)
M. Randall Holmes
Systems of Combinatory Logic Related to Predicative and 'Mildly Impredicative' Fragments of Quine's 'New Foundations'. Ann. Pure Appl. Log. 59 (1) (1993)
M. Randall Holmes
Systems of Combinatory Logic Related to Quine's 'New Foundations'. Ann. Pure Appl. Log. 53 (2) (1991)