A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
From MaRDI portal
Publication:5241405
DOI10.18778/0138-0680.48.2.01zbMath1477.03024arXiv2108.01976OpenAlexW3188201283MaRDI QIDQ5241405
Publication date: 31 October 2019
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.01976
Related Items (7)
Tableaux for free logics with descriptions ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ A binary quantifier for definite descriptions for cut free free logics
Cites Work
This page was built for publication: A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation