scientific article; zbMATH DE number 877752

MaRDI QIDQ4877445zbMATH OpenFDO

Authors Fairouz Kamareddine, Twan Laan

Publication date 16 July 1996

zbMATH Keywords

codingfinite levels of truthKripke's theory of truthorders of quantificationRussell's ramified theory of types

Mathematics Subject Classification ID

Recommendations

• A modern elaboration of the ramified theory of types
• Notes on the computational aspects of Kripke's theory of truth
• A constructive examination of a Russell-style ramified type theory
• A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems

Cited in

(1)

• A modern elaboration of the ramified theory of types

This page was built for publication:

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