Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

DOI10.18778/0138-0680.48.4.04zbMath1446.03026arXiv2108.01977OpenAlexW3189436952MaRDI QIDQ5126200

Nils Kürbis

Publication date: 15 October 2020

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.01977

zbMATH Keywords

natural deductiondefinite descriptionsbinary quantifierLambert's lawintuitionist negative free logicterm forming operator

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Tableaux for free logics with descriptions, Proof-theory and semantics for a theory of definite descriptions, RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH, 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A free logic with simple and complex predicates
• First-order modal logic
• Fregean Description Theory in Proof-Theoretical Setting
• A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation