12 citations · 44 across the 16 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2014
Andrews' Type Theory with Undefinedness
William M. Farmer
is an elegant version of Church's type theory formulated and extensively studied by Peter B. Andrews. Like other traditional logics, does not admit undefi…
math.LO2014★ 2 cited
Simple Type Theory with Undefinedness, Quotation, and Evaluation
William M. Farmer
This paper presents a version of simple type theory called that is based on , the elegant formulation of Church's type theory created and exten…
math.LO2013★ 12 cited
Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation
William M. Farmer
Chiron is a derivative of von-Neumann-Bernays-Gödel (NBG) set theory that is intended to be a practical, general-purpose logic for mechanizing mathematics. Unlike traditional set t…