A complete negationless system

DOI10.1007/BF02123809zbMath0317.02025OpenAlexW1978232803MaRDI QIDQ1221742

S. Singh

Publication date: 1973

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

Full work available at URL: https://doi.org/10.1007/bf02123809

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

Pedagogical second-order \(\lambda \)-calculus

Cites Work

• Intuitionism. An introduction
• Constructions and negationless logic
• Non-null implication
• Constructible falsity
• Unnamed Item
• Unnamed Item

This page was built for publication: A complete negationless system