Graduate Thesis Or Dissertation

 

Finite models of zero order propositional calculi Public Deposited

Downloadable Content

Download PDF
https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/2f75rd16j

Descriptions

Attribute NameValues
Creator
Abstract
  • The main result of this dissertation provides rather general conditions under which extensions of zero order propositional calculi inherit the property of having a finite characteristic model. This result is applied to show that if a calculus T is a normal extension of the Heyting calculus H, and if T has a finite characteristic model, then every normal extension of T has a finite characteristic model. Equivalent statements are shown to hold for the normal extensions of the implicational fragment of H, as well as for various extensions of the modal logics S2 and E2. Discussion of these results is preceded by a detailed study of the properties of finite order Lindenbaum models. It is followed by a summary of known results and methods on the existence or nonexistence of finite characteristic models. Finally, there is a study of completeness, which provides sufficient conditions on the first order Lindenbaum model of a calculus for the calculus to be complete. (A calculus is said to be complete if its only normal extensions are itself and the calculus in which all words are theorems.)
Resource Type
Date Available
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
Language
Digitization Specifications
  • File scanned at 300 ppi (Monochrome) using Capture Perfect 3.0.82 on a Canon DR-9080C in PDF format. CVista PdfCompressor 4.0 was used for pdf compression and textual OCR.
Replaces
Additional Information
  • description.provenance : Submitted by Joe Nguyen (jnscanner@gmail.com) on 2010-07-22T00:43:09Z No. of bitstreams: 1 ApplebeeRalphCalvin1972Redacted.pdf: 1031977 bytes, checksum: 8bb72ddacf47529fe518e2627a58ec3b (MD5)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2010-07-22T15:22:24Z (GMT) No. of bitstreams: 1 ApplebeeRalphCalvin1972Redacted.pdf: 1031977 bytes, checksum: 8bb72ddacf47529fe518e2627a58ec3b (MD5)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2010-07-22T15:20:39Z (GMT) No. of bitstreams: 1 ApplebeeRalphCalvin1972Redacted.pdf: 1031977 bytes, checksum: 8bb72ddacf47529fe518e2627a58ec3b (MD5)
  • description.provenance : Made available in DSpace on 2010-07-22T15:22:24Z (GMT). No. of bitstreams: 1 ApplebeeRalphCalvin1972Redacted.pdf: 1031977 bytes, checksum: 8bb72ddacf47529fe518e2627a58ec3b (MD5)

Relationships

Parents:

This work has no parents.

Items