A more unified approach to free logics
From MaRDI portal
Publication:830379
DOI10.1007/S10992-020-09564-7OpenAlexW3049148892MaRDI QIDQ830379FDOQ830379
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Structural proof theory. With an appendix by Aarne Ranta
- Cut Elimination in the Presence of Axioms
- Handbook of philosophical logic. Vol. 5
- Proof Analysis
- Proof analysis in modal logic
- Quantification theory and empty individual-domains
- A fully logical inductive logic
- A sequent calculus for a negative free logic
- Proto-semantics for positive free logic
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Free logic and the concept of existence
- 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 and the empty domain
Cited In (10)
- Free logics are cut-free
- On supervaluations in free logic
- Title not available (Why is that?)
- Tableaux for free logics with descriptions
- Single-domain free logic and the problem of compositionality
- Denotation and description in free logic*
- Decidable fragments of the quantified argument calculus
- A completeness proof for a regular predicate logic with undefined truth value
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
- Neutral free logic: motivation, proof theory and models
Uses Software
This page was built for publication: A more unified approach to free logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q830379)
