SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
From MaRDI portal
Publication:6051421
DOI10.1017/s1755020321000320OpenAlexW3206651520MaRDI QIDQ6051421
Publication date: 20 September 2023
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020321000320
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dialogue structure and logical expressivism
- Bilateralism in proof-theoretic semantics
- Logical constants as punctuation marks
- Proof-theoretic semantics for subsentential phrases
- Truth values and proof theory
- The logic of paradox
- The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment
- A nonmonotonic modal relevant sequent calculus
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
- Definitional reflection and basic logic
- Speech acts, categoricity, and the meanings of logical connectives
- Meaning approached via proofs
- A judgmental reconstruction of modal logic
- Refinements of subatomic natural deduction
- RULES FOR SUBATOMIC DERIVATION
- Proof Analysis
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
- Proof-Theoretic Semantics for a Natural Language Fragment
- A Proof-Theoretic Approach to Logic Programming
- Basic logic: reflection, symmetry, visibility
- Assertion, Denial and Non-classical Theories
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
- Views of proof-theoretic semantics: reified proof-theoretic meanings
- Open Problems in Proof-Theoretic Semantics
- The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility
This page was built for publication: SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
