Using lattice theory in higher order logic

DOI10.1007/BFB0105413zbMATH Open1543.68423MaRDI QIDQ6567722FDOQ6567722

Authors: Linas Laibinis 

Publication date: 5 July 2024

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

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)

Cites Work

• Title not available (Why is that?)
• Edinburgh LCF. A mechanized logic of computation
• Refinement concepts formalised in higher order logic
• A calculus of refinements for program derivations
• Duality in specification languages: A lattice-theoretical approach
• Title not available (Why is that?)
• Formalizing a Hierarchical Structure of Practical Mathematical Reasoning

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)