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

DOI10.1007/S10849-016-9238-7MaRDI QIDQ2011824zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(4)

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

Describes a project that uses

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)