Elimination of Cuts in First-order Finite-valued Logics

, &
Journal of Information Processing and Cybernetics EIK 29 (6):333-355 (1993)
  Copy   BIBTEX

Abstract

A 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.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics.Arnon Avron, Jonathan Ben-Naim & Beata Konikowska - 2007 - Logica Universalis 1 (1):41-70.
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
Uniform Cut-Free Bisequent Calculi for Three-Valued Logics.Andrzej Indrzejczak & Yaroslav Petrukhin - 2024 - Logic and Logical Philosophy 33 (3):463-506.
Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Unknown, Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. IEEE Press. pp. 208-213.
Proof Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.
Modal extension of ideal paraconsistent four-valued logic and its subsystem.Norihiro Kamide & Yoni Zohar - 2020 - Annals of Pure and Applied Logic 171 (10):102830.
Calculi for Many-Valued Logics.Michael Kaminski & Nissim Francez - 2021 - Logica Universalis 15 (2):193-226.
Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach - 2022 - Journal of Symbolic Logic 87 (2):682-720.
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic.Alexander S. Gerasimov - 2023 - Logic and Logical Philosophy 32 (2):269-318.
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.

Analytics

Added to PP
2017-10-10

Downloads
519 (#60,379)

6 months
143 (#39,038)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Richard Zach
University of Calgary
Matthias Baaz
TU Wien

Citations of this work

A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.
Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC.Richard Zach - 2023 - Logic and Logical Philosophy 32 (2):161-179.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.

View all 15 citations / Add more citations

References found in this work

Many-valued logics.J. Barkley Rosser - 1977 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein, Modern Uses of Multiple-Valued Logic. D. Reidel.
Many-Valued Logics.J. B. Rosser & A. R. Turquette - 1954 - British Journal for the Philosophy of Science 5 (17):80-83.

View all 9 references / Add more references