Elimination of cuts in first-order finite-valued logics

Simple item page
dc.contributor.authorBaaz, Matthias
dc.contributor.authorFermüller, Christian G.
dc.contributor.authorZach, Richard
dc.date.accessioned2021-05-03T16:31:45Z
dc.date.available2021-05-03T16:31:45Z
dc.date.issued1994-01
dc.description.abstractA uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.en_US
dc.identifier.citationBaaz, M., Fermüller, C.G., & Zach, R. (1993) Elimination of Cuts in First-order Finite-valued Logics. J. Inf. Process. Cybern. 29(6): 333-355en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/38801
dc.identifier.issn0013-5712
dc.identifier.urihttp://hdl.handle.net/1880/113337
dc.language.isoengen_US
dc.publisherInstitut für Informatiken_US
dc.publisher.departmentPhilosophyen_US
dc.publisher.facultyArtsen_US
dc.publisher.hasversionpublishedVersionen_US
dc.publisher.institutionUniversity of Calgaryen_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.subjectBelnap logicen_US
dc.titleElimination of cuts in first-order finite-valued logicsen_US
dc.typejournal articleen_US
ucalgary.item.requestcopytrueen_US
ucalgary.scholar.levelFacultyen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Baaz et al - 1993 - Elimination of cuts in first-order finite-valued logics.pdf
Size:
305.09 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.92 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Arts Research & Publications