Using lattice theory in higher order logic

DOI10.1007/BFB0105413MaRDI QIDQ6567722zbMATH OpenFDO

Authors Linas Laibinis

Publication date 5 July 2024

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

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• scientific article; zbMATH DE number 1863386
• An application of lattice theory to knowledge representation
• scientific article; zbMATH DE number 1617310
• HOLCF = HOL + LCF
• Refinement concepts formalised in higher order logic

Cites work

• A calculus of refinements for program derivations
• Duality in specification languages: A lattice-theoretical approach
• Edinburgh LCF. A mechanized logic of computation
• Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
• scientific article; zbMATH DE number 2185694 (Why is no real title available?)
• scientific article; zbMATH DE number 2185697 (Why is no real title available?)
• Refinement concepts formalised in higher order logic

This page was built for publication: Using lattice theory in higher order logic

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