Connecting formal semantics to constructive intuitions

DOI10.1007/BFB0021079MaRDI QIDQ4594247zbMATH OpenOpenAlexFDO

Authors Stuart A. Kurtz, John Mitchell, Michael J. O'Donnell

Publication date 17 November 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Semantics in the theory of computing (68Q55)

Recommendations

• Intuitive counterexamples for constructive fallacies
• A constructive semantics for non‐deducibility
• On the semantic completeness of the logics of the creating subject
• scientific article; zbMATH DE number 4125400
• scientific article; zbMATH DE number 65751

Cited in

(4)

• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
• scientific article; zbMATH DE number 3916267 (Why is no real title available?)
• Intuitive counterexamples for constructive fallacies

This page was built for publication: Connecting formal semantics to constructive intuitions

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