Computational Logic: Its Origins and Applications

12/12/2017
by   Lawrence C. Paulson, et al.
0

Computational Logic is the use of computers to establish facts in a logical formalism. Originating in 19th-century attempts to understand the nature of mathematical reasoning, the subject now comprises a wide variety of formalisms, techniques and technologies. One strand of work follows the "LCF approach" pioneered by Robin Milner FRS, where proofs can be constructed interactively or with the help of users' code (which does not compromise correctness). A refinement of LCF, called Isabelle, retains these advantages while providing flexibility in the choice of logical formalism and much stronger automation. The main application of these techniques has been to prove the correctness of hardware and software systems, but increasingly researchers have been applying them to mathematics itself.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/14/2021

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Logical frameworks and meta-languages form a common substrate for repres...
research
11/14/2022

Unrealizability Logic

We consider the problem of establishing that a program-synthesis problem...
research
03/06/2023

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

Program logics for bug-finding (such as the recently introduced Incorrec...
research
05/07/2020

GeoLogic – Graphical interactive theorem prover for Euclidean geometry

Domain of mathematical logic in computers is dominated by automated theo...
research
09/04/2019

(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic

Reachability Logic is a formalism that can be used, among others, for ex...
research
01/21/2013

Computational Aspects of the Calculus of Structure

Logic is the science of correct inferences and a logical system is a too...
research
02/12/2020

The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems

Mathematical software systems are becoming more and more important in pu...

Please sign up or login with your details

Forgot password? Click here to reset