RULES FOR SUBATOMIC DERIVATION

DOI10.1017/S175502031000033XzbMath1252.03125OpenAlexW1979845904MaRDI QIDQ3094185

Bartosz Więckowski

Publication date: 21 October 2011

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

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

zbMATH Keywords

proof-theoretic semanticssubatomic introduction and elimination rules for atomic sentencessubatomic normal form theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

Related Items (8)

Negative predication and distinctness ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ Bilateralism in proof-theoretic semantics ⋮ Constructive belief reports ⋮ A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Subatomic negation ⋮ The calculus of natural calculation

Cites Work

• Unnamed Item
• Associative substitutional semantics and quantified modal logic
• Proof-theoretic semantics for subsentential phrases
• Untersuchungen über das logische Schliessen. I
• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Identity and harmony
• Term Sequent Logic
• Formal Reductions of the General Combinatorial Decision Problem

This page was built for publication: RULES FOR SUBATOMIC DERIVATION