Proof Theory of Finite-valued Logics

Simple item page
dc.contributor.authorZach, Richard
dc.date.accessioned2021-05-03T16:47:42Z
dc.date.available2021-05-03T16:47:42Z
dc.date.issued1993-09-21
dc.description.abstractThe proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics.en_US
dc.identifier.citationZach, R. (1993). Proof Theory of Finite-valued Logics (Unpublished thesis). Technische Universität Wien, Vienna, Austria.en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/38803
dc.identifier.urihttp://hdl.handle.net/1880/113339
dc.language.isoengen_US
dc.publisher.departmentPhilosophyen_US
dc.publisher.facultyArtsen_US
dc.publisher.institutionUniversity of Calgaryen_US
dc.publisher.institutionTechnische Universität Wienen_US
dc.rightsUnless otherwise indicated, this material is protected by copyright and has been made available with authorization from the copyright owner. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.en_US
dc.subjectmany-valued logicen_US
dc.subjectsequent calculusen_US
dc.subjectnatural deductionen_US
dc.subjectresolutionen_US
dc.titleProof Theory of Finite-valued Logicsen_US
dc.typemaster thesisen_US
ucalgary.item.requestcopytrueen_US
ucalgary.scholar.levelFacultyen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
ptmvl.pdf
Size:
684.99 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.92 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Arts Research & Publications