LF: a Foundational Higher-Order-Logic

MaRDI QIDQ6518186arXivFDO

Authors Zachary Goodsell, Juhani Yli-Vakkuri

Published in arXiv

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16) Modal logic (including the logic of norms) (03B45)

This page was built for publication: LF: a Foundational Higher-Order-Logic

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