Show simple item record

dc.contributor.authorSpörl, Yannick
dc.date.accessioned2023-06-13T23:59:21Z
dc.date.available2023-06-13T23:59:21Z
dc.date.issued2023-06-01
dc.date.submitted2023-06-13T22:00:37Z
dc.identifier.urihttps://hdl.handle.net/11250/3071237
dc.description.abstractLSO, Logic of Sentential Operators, is defined by extending first- order logic by sentential quantification and sentential operators. Its semantics is defined by a digraph, with kernels reflecting consistent valuations of all sentences and consistency of the language. It is pos- sible, by using self-reference, to construct paradoxes and LSO need not be consistent with arbitrary valuations for its operators. While certain choices for operators allow existence of a kernel, not all do. The syntactic equality operator, only true for syntactically iden- tical sentences, raises the question, whether the language with it is consistent. Analyzing structure and complexity of sentences shows that certain subsets of sentences are consistent and that under some assumption the whole language is consistent. Even without a con- clusive answer to the question of consistency of LSO with syntactic equality, consistency appears to hold and results provide a solid base for a potential proof showing the whole claim.
dc.language.isoeng
dc.publisherThe University of Bergen
dc.rightsCopyright the Author. All rights reserved
dc.titleConsistency of LSO with syntactic equality
dc.typeMaster thesis
dc.date.updated2023-06-13T22:00:37Z
dc.rights.holderCopyright the Author. All rights reserved
dc.description.degreeMaster's Thesis in Informatics
dc.description.localcodeINF399
dc.description.localcodeMAMN-PROG
dc.description.localcodeMAMN-INF
dc.subject.nus754199
fs.subjectcodeINF399
fs.unitcode12-12-0


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record