ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
From MaRDI portal
Publication:6041346
Cites work
- scientific article; zbMATH DE number 3167150 (Why is no real title available?)
- scientific article; zbMATH DE number 3467029 (Why is no real title available?)
- scientific article; zbMATH DE number 1215493 (Why is no real title available?)
- scientific article; zbMATH DE number 1361537 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- scientific article; zbMATH DE number 3199779 (Why is no real title available?)
- A more unified approach to free logics
- A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
- Aristotle, logic, and QUARC
- Free logic and the quantified argument calculus
- Full cut elimination and interpolation for intuitionistic logic with existence predicate
- Logical inquiries into a new formal system with plural reference
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
- Structural proof theory. With an appendix by Aarne Ranta
- The quantified argument calculus
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Untersuchungen über das logische Schliessen. I
Cited in
(4)
This page was built for publication: ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041346)