GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC

DOI10.1017/S175502031800031XMaRDI QIDQ5381029zbMATH OpenOpenAlexWikidataFDO

Authors Greg Restall

Publication date 7 June 2019

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s175502031800031x

zbMATH Keywords

free logicgeneralityproof theorysequent calculus

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Free logic and the concept of existence
• Free logics are cut-free
• Free logic and the quantified argument calculus
• Truth-value semantics for a logic of existence
• A sequent calculus for a negative free logic

Cites work

• ``There is an `is' in `there is: Meinongian quantification and existence
• A cut-free sequent system for two-dimensional modal logic, and why it matters
• A sequent calculus for a negative free logic
• Basic logic: reflection, symmetry, visibility
• Doubt truth to be a liar
• Ein System des Verknüpfenden Schliessens
• From basic logic to quantum logics with cut-elimination
• Gentzen-type systems, resolution and tableaux
• scientific article; zbMATH DE number 4162838 (Why is no real title available?)
• scientific article; zbMATH DE number 1418442 (Why is no real title available?)
• scientific article; zbMATH DE number 3271472 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Logical constants as punctuation marks
• Multiple conclusions
• Proof theory. 2nd ed
• Quantification and the empty domain
• Term Rewriting and Applications
• Truth values and proof theory

Cited in

(9)

• Hopeful monsters: a note on multiple conclusions
• Atomic ontology
• The calculus of natural calculation
• The bounds of logic. A generalized viewpoint
• Priest on negation
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• A novel approach to equality
• Objects and existence: Reflections on free logic

This page was built for publication: GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5381029)