Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture

Warszawa: Państwowe Wydawn. Naukowe (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.45.D54 no. 136

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,750

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

Uniform Cut-Free Bisequent Calculi for Three-Valued Logics.Andrzej Indrzejczak & Yaroslav Petrukhin - 2024 - Logic and Logical Philosophy 33 (3):463-506.
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.
On the definition of an infinitely-many-valued predicate calculus.Joseph D. Rutledge - 1960 - Journal of Symbolic Logic 25 (3):212-216.
Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
Many‐valued modal logics: Uses and predicate calculus.Pascal Ostermann - 1990 - Mathematical Logic Quarterly 36 (4):367-376.
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.Beata Konikowska - 1993 - Journal of Applied Non-Classical Logics 3 (1):39-71.
Why Fuzzy Logic?Petr Hájek - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 595–605.
Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order.Mitio Takano - 1988 - Annals of the Japan Association for Philosophy of Science 7 (3):117-123.
Lecții despre logica raționamentului nuanțat.Grigore C. Moisil - 1975 - București: Editura științifică și enciclopedică.

Analytics

Added to PP
2009-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - 2021 - Journal of Philosophical Logic 51 (6):1521-1547.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references