In this paper, we present a natural deduction system for a strong Kleene-based neutral free logic with definite descriptions.The system combines a three-valued propositional basis with free quantification, identity, existence, and rules for definite descriptions.The main result is a normalisation theorem for a proof-theoretically equivalent restricted formulation of the system; we also establish a corresponding modified subformula property for its fragment.
No takes yet. Share an insight, caveat, or question.
Петрухин Ярослав Игоревич (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: