Notes on constructive negation

DOI10.1007/S11229-004-6294-3zbMATH Open1108.03057OpenAlexW1987269014MaRDI QIDQ2500818FDOQ2500818

G. E. 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

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Zur Deutung der intuitionistischen Logik
• Deductive capabilities of negationless intuitionistic arithmetic
• A negationless interpretation of intuitionistic theories. I
• A negationless interpretation of intuitionistic theories. II
• Non-null implication
• Mathematical significance of consistency proofs
• A step semantic system for set theory

Cited In (8)

• A semantic hierarchy for intuitionistic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the structure of involutive, contracting and expanding negations
• On negation rationality
• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Constructive negation, implication, and co-implication 👍 👎
• Constructive negations and paraconsistency 👍 👎
• Implementing constructive intensional negation 👍 👎
• Constructive Proofs of Negated Statements 👍 👎
• On negation as instantiation 👍 👎
• Négation constructive et axiomatique interne 👍 👎
• Constructive negation under the well-founded semantics 👍 👎
• Functional and Logic Programming 👍 👎

This page was built for publication: Notes on constructive negation

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