A Proof-theoretic Treatment of Assignments

DOI10.1093/JIGPAL/3.2-3.223MaRDI QIDQ4842273zbMATH OpenOpenAlexFDO

Authors Wilfried Meyer-Viol

Publication date 27 July 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/3.2-3.223

zbMATH Keywords

semanticsexistential quantifierassignments

Mathematics Subject Classification ID

Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Intuitionistic hypothetical logic of proofs
• Proof-theoretic semantics
• A Type Theory with Mixed Constructivity and Assignments
• Dynamic interpretation and Hoare deduction
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).

This page was built for publication: A Proof-theoretic Treatment of Assignments

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