Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report

Simple item page
dc.contributor.authorBaaz, Matthias
dc.contributor.authorFermüller, Christian G.
dc.contributor.authorZach, Richard
dc.date.accessioned2022-08-04T21:49:55Z
dc.date.available2022-08-04T21:49:55Z
dc.date.issued1993-05-01
dc.descriptionUnpublished longer version of a paper in: Proc. 23rd International Symposium on Multiple Val- ued Logic, Sacramento, CA, May 24–28, 1993, IEEE Pressen_US
dc.description.abstractWe exhibit a construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics. These systems are systematically obtained from sequent calculi, which in turn can be extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness and normal form theorems for the natural deduction systems.en_US
dc.identifier.citationBaaz, M., Fermuller, C., & Zach, R. Systematic construction of natural deduction systems for many-valued logics: Extended report. [Unpublished technical report]. 1993.en_US
dc.identifier.doidoi: 10.1109/ISMVL.1993.289558en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/39963
dc.identifier.urihttp://hdl.handle.net/1880/114914
dc.language.isoengen_US
dc.publisherIEEEen_US
dc.publisher.departmentPhilosophyen_US
dc.publisher.facultyArtsen_US
dc.publisher.institutionUniversity of Calgaryen_US
dc.publisher.institutionTU Wienen_US
dc.publisher.policyhttps://journals.ieeeauthorcenter.ieee.org/become-an-ieee-journal-author/publishing-ethics/guidelines-and-policies/post-publication-policies/en_US
dc.relation.ispartofseriesTUW–E185.2–BFZ.1–93en_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.subjectnatural deductionen_US
dc.subjectsequent calculusen_US
dc.subjectnormal formen_US
dc.subjectcut-free derivationen_US
dc.subjectmany-valued logicen_US
dc.titleSystematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Reporten_US
dc.typetechnical reporten_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 - Systematic construction of natural deduction syste3.pdf
Size:
246.23 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