Searcharxiv⌕ Search

arXiv subjects

Ben Middleton

Publications and source records attributed to Ben Middleton.

2 recordsLinked to original sources
arXiv2020

Binary Kripke Semantics for a Strong Logic for Naive Truth

I show that the logic $\textsf{TJK}^{d+}$, one of the strongest logics currently known to support the naive theory of truth, is obtained from the Kripke semantics for constant domain intuitionistic logic by (i) dropping the requirement that the accessibility relation is reflexive and (ii) only allowing reflexive worlds to serve as counterexamples to logical consequence. In addition, I provide a simplified natural deduction system for $\textsf{TJK}^{d+}$, in which a restricted form of conditional proof is used to establish conditionals.

math.LO↗
arXiv2019

A Canonical Model for Constant Domain Basic First-Order Logic

I build a canonical model for constant domain basic first-order logic (BQLCD), the constant domain first-order extension of Visser's basic propositional logic, and use the canonical model to verify that BQLCD satisfies the disjunction and existence properties.

math.LO↗