An exploration in fluid logics
Authors
Taylor, Joshua
ORCID
Loading...
Other Contributors
Bringsjord, Selmer
Goldberg, Mark
Varela, Carlos A.
Cassimatis, Nicholas L. (Nicholas Louis), 1971-
Goldberg, Mark
Varela, Carlos A.
Cassimatis, Nicholas L. (Nicholas Louis), 1971-
Issue Date
2014-12
Keywords
Computer science
Degree
PhD
Terms of Use
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
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
Department
Dept. of Computer Science
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.