A more unified approach to free logics
From MaRDI portal
Publication:830379
DOI10.1007/s10992-020-09564-7OpenAlexW3049148892MaRDI QIDQ830379
Publication date: 7 May 2021
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-020-09564-7
Related Items (5)
Tableaux for free logics with descriptions ⋮ ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ A completeness proof for a regular predicate logic with undefined truth value ⋮ Neutral free logic: motivation, proof theory and models ⋮ Free logics are cut-free
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A sequent calculus for a negative free logic
- A fully logical inductive logic
- Proof analysis in modal logic
- Proto-semantics for positive free logic
- Handbook of philosophical logic. Vol. 5
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Free logic and the concept of existence
- Proof Analysis
- Cut Elimination in the Presence of Axioms
- Proof theory for quantified monotone modal logics
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
- Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
- Quantification theory and empty individual-domains
- Quantification and the empty domain
This page was built for publication: A more unified approach to free logics