A sequent calculus for Lukasiewicz's three-valued logic based on Suszko's bivalent semantics

Bulletin of the Section of Logic 28 (2):89-97 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

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

Four-valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.
Uwagi o logice trójwartościowej.Tomasz Bigaj - 1997 - Filozofia Nauki 3.
Many-valued logics and Suszko's thesis revisited.Marcelo Tsuji - 1998 - Studia Logica 60 (2):299-309.
Distributive-lattice semantics of sequent calculi with structural rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Two's Company: The humbug of many logical values.Carlos Caleiro, Walter Carnielli, Marcelo Coniglio & João Marcos - 2005 - In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlag. pp. 169-189.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Cuts, Gluts and Gaps.Vincent Degauquier - 2012 - Logique Et Analyse 55 (218):229-240.
Remarks on Lukasiewicz's three-valued logic.Roman Suszko - 1975 - Bulletin of the Section of Logic 4 (3):87-90.
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
Identity, many-valuedness and referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown

Analytics

Added to PP
2014-01-19

Downloads
31 (#504,675)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jean-Yves Beziau
Federal University of Rio de Janeiro

Citations of this work

Many-valued and Kripke semantics.Jean-Yves Béziau - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 89--101.
Louis Joly as a Platonist Painter?Roger Pouivet - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 337--341.

Add more citations

References found in this work

Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
Many-valued logics of extended Gentzen style II.Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (4):493-528.

Add more references