Subatomic negation

DOI10.1007/s10849-020-09325-4zbMath1496.03030OpenAlexW4210702514MaRDI QIDQ2035849

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

proof theorynegationproof-theoretic semanticscontrarietyaffixal negationpredicate term negation

Mathematics Subject Classification ID

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

Related Items (1)

Negative predication and distinctness

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic: a history of its central concepts
• Advances in proof-theoretic semantics
• What is negation?
• Handbook of philosophical logic. Vol. 9
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• Contrariety
• A note on contrariety
• Modal logic with subjunctive conditionals and dispositional predicates
• The fundamental problem of general proof theory
• Refinements of subatomic natural deduction
• RULES FOR SUBATOMIC DERIVATION
• An Invitation to Formal Reasoning
• LOGICS FOR THE RELATIONAL SYLLOGISTIC

This page was built for publication: Subatomic negation