Definite Descriptions in Intuitionist Positive Free Logic
From MaRDI portal
Publication:5013624
DOI10.12775/LLP.2020.024MaRDI QIDQ5013624
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
free logicproof theorynormalisationdefinite descriptionsbinary quantifiersintuitionist logicterm forming operators
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