A formalization of logic in diagonal-free cylindric algebras

dc.contributor.advisor Roger D Maddux
dc.contributor.author Ylvisaker, Andrew
dc.contributor.department Mathematics
dc.date 2018-08-11T19:27:55.000
dc.date.accessioned 2020-06-30T02:43:21Z
dc.date.available 2020-06-30T02:43:21Z
dc.date.copyright Sun Jan 01 00:00:00 UTC 2012
dc.date.embargo 2013-06-05
dc.date.issued 2012-01-01
dc.description.abstract <p>We exhibit a quasi-projectional relation algebra reduct of any diagonal-free cylindric algebra of dimension 3 having sufficiently strong projection and equality parameters. We also offer a complete proof that full first-order logic can be formalized in the calculus of binary relations (a result due to Maddux and Tarski). Finally, we use these constructions to recursively define a translation function from the sentences of first-order logic to the equational theory of diagonal-free cylindric algebras of dimension 3 which preserves validity.</p>
dc.format.mimetype application/pdf
dc.identifier archive/lib.dr.iastate.edu/etd/12536/
dc.identifier.articleid 3543
dc.identifier.contextkey 3437906
dc.identifier.doi https://doi.org/10.31274/etd-180810-1565
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath etd/12536
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/26725
dc.language.iso en
dc.source.bitstream archive/lib.dr.iastate.edu/etd/12536/Ylvisaker_iastate_0097E_12762.pdf|||Fri Jan 14 19:23:59 UTC 2022
dc.subject.disciplines Mathematics
dc.subject.keywords algebraic logic
dc.subject.keywords cylindric algebra
dc.subject.keywords relation algebra
dc.title A formalization of logic in diagonal-free cylindric algebras
dc.type article
dc.type.genre dissertation
dspace.entity.type Publication
relation.isOrgUnitOfPublication 82295b2b-0f85-4929-9659-075c93e82c48
thesis.degree.level dissertation
thesis.degree.name Doctor of Philosophy
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
551.82 KB
Adobe Portable Document Format