Subatomic negation

DOI10.1007/S10849-020-09325-4MaRDI QIDQ2035849zbMATH OpenOpenAlexFDO

Authors Bartosz Więckowski

Publication date 25 June 2021

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

Full work available at URL https://doi.org/10.1007/s10849-020-09325-4

zbMATH Keywords

affixal negationcontrarietynegationpredicate term negationproof theoryproof-theoretic semantics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Refinements of subatomic natural deduction
• Rules for subatomic derivation
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• scientific article; zbMATH DE number 6863646
• Substructural negations

Cites work

• A note on contrariety
• Advances in proof-theoretic semantics
• An invitation to formal reasoning. The logic of terms
• Contrariety
• Handbook of philosophical logic. Vol. 9
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Logic: a history of its central concepts
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• Meaning approached via proofs
• Modal logic with subjunctive conditionals and dispositional predicates
• Proof-theoretic semantics
• Refinements of subatomic natural deduction
• Rules for subatomic derivation
• Structural proof theory. With an appendix by Aarne Ranta
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• The connectives
• The fundamental problem of general proof theory
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Validity concepts in proof-theoretic semantics
• What is negation?

Cited in

(7)

• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Refinements of subatomic natural deduction
• Rules for subatomic derivation
• Term negation in first-order logic
• Negative predication and distinctness
• Counterfactual assumptions and counterfactual implications
• Qualified definiteness

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Subatomic negation

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