Negative predication and distinctness

DOI10.1007/s11787-022-00321-9OpenAlexW4323315047MaRDI QIDQ6043099

Bartosz Więckowski

Publication date: 4 May 2023

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-022-00321-9

zbMATH Keywords

natural deductionintuitionistic logicnegationidentityproof-theoretic semanticstrinitynegative predication

Mathematics Subject Classification ID

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

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Logics of relative identity
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Subatomic negation
• Meaning approached via proofs
• Failure of completeness in proof-theoretic semantics
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• THE QUANTIFIED ARGUMENT CALCULUS
• Cut as Consequence
• RULES FOR SUBATOMIC DERIVATION
• Intuitionistic multi-agent subatomic natural deduction for belief and knowledge
• Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• An Invitation to Formal Reasoning
• Truth and Proof in Intuitionism
• Handbook of philosophical logic. Vol. 4.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Negative predication and distinctness