Dual systems of sequents and tableaux for many-valued logics

Simple item page
dc.contributor.authorBaaz, Matthias
dc.contributor.authorFermüller, Christian G.
dc.contributor.authorZach, Richard
dc.date.accessioned2021-06-04T19:30:18Z
dc.date.available2021-06-04T19:30:18Z
dc.date.issued1993-01
dc.descriptionBulletin of the EATCS 51 (1993) 192–197en_US
dc.description.abstractThe aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are always two dual proof systems (not just only two ways to interpret the calculi). This phenomenon may easily escape one's attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and the exclusion of the opposite truth value describe the same situation.en_US
dc.identifier.citationBaaz, M., Fermüller, C. G., & Zach, R. (1993). Dual systems of sequents and tableaux for many-valued logics.en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/38908
dc.identifier.urihttp://hdl.handle.net/1880/113470
dc.language.isoengen_US
dc.publisherEuropean Association for Theoretical Computer Scienceen_US
dc.publisher.departmentPhilosophyen_US
dc.publisher.facultyArtsen_US
dc.publisher.hasversionpublishedVersionen_US
dc.publisher.institutionUniversity of Calgaryen_US
dc.publisher.institutionTechnische Universität Wienen_US
dc.publisher.policyhttps://eatcs.org/index.php/on-line-issuesen_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.subjecttableauxen_US
dc.titleDual systems of sequents and tableaux for many-valued logicsen_US
dc.typejournal articleen_US
ucalgary.item.requestcopyfalseen_US
ucalgary.scholar.levelFacultyen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Baaz et al - 1993 - Dual systems of sequents and tableaux for many-valued logics2.pdf
Size:
235.51 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