Rules for subatomic derivation

DOI10.1017/S175502031000033XMaRDI QIDQ3094185zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Refinements of subatomic natural deduction
• scientific article; zbMATH DE number 7307096
• Proof-theoretic semantics for subsentential phrases
• Subatomic negation
• On reduction rules, meaning-as-use, and proof-theoretic semantics

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Associative substitutional semantics and quantified modal logic
• Formal Reductions of the General Combinatorial Decision Problem
• Identity and harmony
• Meaning approached via proofs
• Proof-theoretic semantics for subsentential phrases
• Term sequent logic
• Untersuchungen über das logische Schliessen. I
• Validity concepts in proof-theoretic semantics

Cited in

(13)

• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Negative predication and distinctness
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• Subatomic negation
• Refinements of subatomic natural deduction
• Counterfactual assumptions and counterfactual implications
• Comments on the contributions
• The logicality of equality
• Bilateralism in proof-theoretic semantics
• The calculus of natural calculation
• The definitional view of atomic systems in proof-theoretic semantics
• Constructive belief reports
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions

This page was built for publication: Rules for subatomic derivation

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