Recommendations
Cites work
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 1749197 (Why is no real title available?)
- A fully logical inductive logic
- A sequent calculus for a negative free logic
- Cut Elimination in the Presence of Axioms
- Free logic and the concept of existence
- Full cut elimination and interpolation for intuitionistic logic with existence predicate
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Handbook of philosophical logic. Vol. 5
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
- Proof Analysis
- Proof analysis in modal logic
- Proof theory for quantified monotone modal logics
- Proto-semantics for positive free logic
- Quantification and the empty domain
- Quantification theory and empty individual-domains
- Structural proof theory. With an appendix by Aarne Ranta
Cited in
(11)- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
- Tableaux for free logics with descriptions
- Single-domain free logic and the problem of compositionality
- scientific article; zbMATH DE number 1337625 (Why is no real title available?)
- Free logic. A generalization (to appear)
- Decidable fragments of the quantified argument calculus
- Denotation and description in free logic*
- Neutral free logic: motivation, proof theory and models
- A completeness proof for a regular predicate logic with undefined truth value
- On supervaluations in free logic
- Free logics are cut-free
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)
