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

DOI10.1007/S10849-016-9238-7zbMATH Open1396.03110OpenAlexW2339038883MaRDI QIDQ2011824FDOQ2011824

Authors: 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

Recommendations

• Refinements of subatomic natural deduction
• Subatomic negation
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• Rules for subatomic derivation
• A logic for natural language

zbMATH Keywords

natural deductionproof-theoretic semanticsnormalizationidentitynatural logicsimple rules

Mathematics Subject Classification ID

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

Cites Work

• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• Meaning approached via proofs
• A judgmental reconstruction of modal logic
• A note on harmony
• Title not available (Why is that?)
• Title not available (Why is that?)
• A modal analysis of staged computation
• On the rules of suppositions in formal logic
• Title not available (Why is that?)
• Logic and structure
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• Rules for subatomic derivation
• Dag Prawitz on proofs and meaning
• Proof-theoretic semantics
• Open Problems in Proof-Theoretic Semantics
• Failure of completeness in proof-theoretic semantics
• Refinements of subatomic natural deduction
• Constructive belief reports
• General-elimination harmony and higher-level rules
• On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• Associative substitutional semantics and quantified modal logic
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Identity and harmony
• On the equivalence conjecture for proof-theoretic harmony
• Harmonious rules for identity
• HARMONISING HARMONY
• Hypothesis-discharging rules in atomic bases

Cited In (4)

• Negative predication and distinctness
• Counterfactual assumptions and counterfactual implications
• Subatomic negation
• Refinements of subatomic natural deduction

Uses Software

• MiniML

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

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