An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics

, &
Journal of Applied Non-Classical Logics 8 (4):353-360 (1998)
  Copy   BIBTEX

Abstract

ABSTRACT We show that there is a polynomial over the rational number field corresponding to each propositional formula in a given many-valued logic. To decide whether a propositional formula can be deduced from a finite set of such formulas (deduction problem), we only need to decide whether a polynomial vanishes on an algebraic variety. By using Wu's method, an algorithm for this problem is presented

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1998.10510951

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Many-valued logics and Suszko's thesis revisited.Marcelo Tsuji - 1998 - Studia Logica 60 (2):299-309.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.
Decidable fragments of field theories.Shih-Ping Tung - 1990 - Journal of Symbolic Logic 55 (3):1007-1018.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Pseudo two-valued evaluation method for intermediate logics.Tsutomu Hosoi - 1986 - Studia Logica 45 (1):3 - 8.

Analytics

Added to PP
2013-12-01

Downloads
40 (#400,176)

6 months
8 (#368,968)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Theorem Proving in Annotated Logics.Mi Lu & Jinzhao Wu - 2000 - Journal of Applied Non-Classical Logics 10 (2):121-143.
CWA Extensions to Multi-Valued Logics.Jinzhao Wu - 2003 - Journal of Applied Non-Classical Logics 13 (2):133-164.

Add more citations

References found in this work

Refutational theorem proving using term-rewriting systems.Jieh Hsiang - 1985 - Artificial Intelligence 25 (3):255-300.

Add more references