Intuitionist logic, a logic of justification

DOI10.1007/BF02124726zbMath0408.03045MaRDI QIDQ1258305

John T. Kearns

Publication date: 1978

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

zbMATH Keywords

SemanticsIntuitionistic Predicate CalculusLogic of Justification

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item