An exploration in fluid logics
Loading...
Authors
Taylor, Joshua
Issue Date
2014-12
Type
Electronic thesis
Thesis
Thesis
Language
ENG
Keywords
Computer science
Alternative Title
Abstract
We designed and implemented a framework, programming language, and standard library for specifying and programming in categorical denotational proof languages. We encoded a number of logical systems, including several versions of the propositional calculus, and mappings between them, including a mapping based on a translation between axiomatic proofs into natural-deduction proofs, and a mapping based on the deduction theorem. We present examples illustrating how programs in this language achieve heterogeneous reasoning, and conclude with discussion of future work and applications.
Description
December 2014
School of Science
School of Science
Full Citation
Publisher
Rensselaer Polytechnic Institute, Troy, NY