Subatomic natural deduction for a naturalistic first-order language with non-primitive identity

DOI10.1007/s10849-016-9238-7zbMath1396.03110OpenAlexW2339038883MaRDI QIDQ2011824

Bartosz Więckowski

Publication date: 7 August 2017

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-016-9238-7

zbMATH Keywords

normalizationnatural deductionidentityproof-theoretic semanticsnatural logicsimple rules

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Negative predication and distinctness ⋮ Subatomic negation

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on harmony
• Dag Prawitz on proofs and meaning
• Constructive belief reports
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• Associative substitutional semantics and quantified modal logic
• Proof-theoretic semantics for subsentential phrases
• Untersuchungen über das logische Schliessen. I
• On the rules of suppositions in formal logic
• On the equivalence conjecture for proof-theoretic harmony
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Meaning approached via proofs
• Failure of completeness in proof-theoretic semantics
• A judgmental reconstruction of modal logic
• HARMONIOUS RULES FOR IDENTITY
• Refinements of subatomic natural deduction
• RULES FOR SUBATOMIC DERIVATION
• HARMONISING HARMONY
• A modal analysis of staged computation
• Proof-Theoretic Semantics for a Natural Language Fragment
• Identity and harmony
• General-Elimination Harmony and Higher-Level Rules
• Hypothesis-Discharging Rules in Atomic Bases
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis
• ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
• Open Problems in Proof-Theoretic Semantics
• Logic and structure

This page was built for publication: Subatomic natural deduction for a naturalistic first-order language with non-primitive identity