Notes on constructive negation

DOI10.1007/s11229-004-6294-3zbMath1108.03057OpenAlexW1987269014MaRDI QIDQ2500818

Grigori Mints

Publication date: 18 August 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-004-6294-3

zbMATH Keywords

Markov's principlePeirce's lawconstructive negations

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (1)

A semantic hierarchy for intuitionistic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A step semantic system for set theory
• Deductive capabilities of negationless intuitionistic arithmetic
• Zur Deutung der intuitionistischen Logik
• A negationless interpretation of intuitionistic theories. I
• A negationless interpretation of intuitionistic theories. II
• Mathematical significance of consistency proofs
• Non-null implication

This page was built for publication: Notes on constructive negation