An exploration in fluid logics

dc.contributorBringsjord, Selmer
dc.contributorGoldberg, Mark
dc.contributorVarela, Carlos A.
dc.contributorCassimatis, Nicholas L. (Nicholas Louis), 1971-
dc.contributor.authorTaylor, Joshua
dc.date.accessioned2021-11-03T08:18:49Z
dc.date.available2021-11-03T08:18:49Z
dc.date.created2015-03-09T11:41:56Z
dc.date.issued2014-12
dc.descriptionDecember 2014
dc.descriptionSchool of Science
dc.description.abstractWe 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.
dc.description.degreePhD
dc.digitool.pid174847
dc.digitool.pid174848
dc.digitool.pid174849
dc.identifier.urihttps://hdl.handle.net/20.500.13015/1323
dc.language.isoENG
dc.publisherRensselaer Polytechnic Institute, Troy, NY
dc.relation.departmentDept. of Computer Science
dc.relation.ispartofRensselaer Theses and Dissertations Online Collection
dc.rights.holderThis electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
dc.rights.licenseRestricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.
dc.subjectComputer science
dc.titleAn exploration in fluid logics
dc.typeElectronic thesis
dc.typeThesis
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
174848_Taylor_rpi_0185E_10553.pdf
Size:
1.03 MB
Format:
Adobe Portable Document Format