GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC

DOI10.1017/S175502031800031XOpenAlexW2904547520MaRDI QIDQ5381029

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 logicsequent calculusproof theorygenerality

Mathematics Subject Classification ID

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

Related Items

RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ A novel approach to equality ⋮ Priest on Negation ⋮ Hopeful monsters: a note on multiple conclusions ⋮ Atomic ontology ⋮ The calculus of natural calculation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A cut-free sequent system for two-dimensional modal logic, and why it matters
• Logical constants as punctuation marks
• A sequent calculus for a negative free logic
• Truth values and proof theory
• Proof theory. 2nd ed
• From basic logic to quantum logics with cut-elimination
• Gentzen-type systems, resolution and tableaux
• Ein System des Verknüpfenden Schliessens
• “There Is an ‘Is’ in ‘There Is”’: Meinongian Quantification and Existence
• Basic logic: reflection, symmetry, visibility
• Term Rewriting and Applications
• Quantification and the empty domain

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