Definite Descriptions in Intuitionist Positive Free Logic

DOI10.12775/LLP.2020.024MaRDI QIDQ5013624

Nils Kürbis

Publication date: 2 December 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

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

zbMATH Keywords

free logicproof theorynormalisationdefinite descriptionsbinary quantifiersintuitionist logicterm forming operators

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Proof-theory and semantics for a theory of definite descriptions, A binary quantifier for definite descriptions for cut free free logics

Cites Work

• Incomplete symbols -- definite descriptions revisited
• Proof-theoretic semantics, a problem with negation and prospects for modality
• A note on harmony
• General-elimination harmony and the meaning of the logical constants
• A free logic with simple and complex predicates
• A logical calculus with descriptions
• First-order modal logic
• Meaning approached via proofs
• Proof and Falsity
• A natural extension of natural deduction
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
• Fregean Description Theory in Proof-Theoretical Setting
• A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
• On Free Description Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item