Decomposition proof systems for gödel-dummett logics

Arnon Avron; Beata Konikowska

doi:10.1023/A:1013813806341

Decomposition proof systems for gödel-dummett logics

Arnon Avron, Beata Konikowska

School of Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

The main goal of the paper is to suggest some analytic proof systems for LC and its finite-valued counterparts which are suitable for proof-search. This goal is achieved through following the general Rasiowa-Sikorski methodology for constructing analytic proof systems for semantically-defined logics. All the systems presented here are terminating, contraction-free, and based on invertible rules, which have a local character and at most two premises.

Original language	English
Pages (from-to)	197-219
Number of pages	23
Journal	Studia Logica
Volume	69
Issue number	2
DOIs	https://doi.org/10.1023/A:1013813806341
State	Published - 2001

Keywords

Analytic rules
Decomposition Systems
Fuzzy Logics
Gentzen-type systems
Gödel Logics
Hypersequents
Intermediate Logics
Tableaux

Access to Document

10.1023/A:1013813806341

Cite this

@article{b6c20639e73d4380bef2049f0cdf675d,

title = "Decomposition proof systems for g{\"o}del-dummett logics",

abstract = "The main goal of the paper is to suggest some analytic proof systems for LC and its finite-valued counterparts which are suitable for proof-search. This goal is achieved through following the general Rasiowa-Sikorski methodology for constructing analytic proof systems for semantically-defined logics. All the systems presented here are terminating, contraction-free, and based on invertible rules, which have a local character and at most two premises.",

keywords = "Analytic rules, Decomposition Systems, Fuzzy Logics, Gentzen-type systems, G{\"o}del Logics, Hypersequents, Intermediate Logics, Tableaux",

author = "Arnon Avron and Beata Konikowska",

note = "Funding Information: ∗ This research has been partially supported by the LoSSeD workpackage of the CRIT-2 project funded by European ESPRIT and INCO programes.",

year = "2001",

doi = "10.1023/A:1013813806341",

language = "אנגלית",

volume = "69",

pages = "197--219",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Decomposition proof systems for gödel-dummett logics

AU - Avron, Arnon

AU - Konikowska, Beata

N1 - Funding Information: ∗ This research has been partially supported by the LoSSeD workpackage of the CRIT-2 project funded by European ESPRIT and INCO programes.

PY - 2001

Y1 - 2001

N2 - The main goal of the paper is to suggest some analytic proof systems for LC and its finite-valued counterparts which are suitable for proof-search. This goal is achieved through following the general Rasiowa-Sikorski methodology for constructing analytic proof systems for semantically-defined logics. All the systems presented here are terminating, contraction-free, and based on invertible rules, which have a local character and at most two premises.

AB - The main goal of the paper is to suggest some analytic proof systems for LC and its finite-valued counterparts which are suitable for proof-search. This goal is achieved through following the general Rasiowa-Sikorski methodology for constructing analytic proof systems for semantically-defined logics. All the systems presented here are terminating, contraction-free, and based on invertible rules, which have a local character and at most two premises.

KW - Analytic rules

KW - Decomposition Systems

KW - Fuzzy Logics

KW - Gentzen-type systems

KW - Gödel Logics

KW - Hypersequents

KW - Intermediate Logics

KW - Tableaux

UR - http://www.scopus.com/inward/record.url?scp=0348151994&partnerID=8YFLogxK

U2 - 10.1023/A:1013813806341

DO - 10.1023/A:1013813806341

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0348151994

SN - 0039-3215

VL - 69

SP - 197

EP - 219

JO - Studia Logica

JF - Studia Logica

IS - 2

ER -

Decomposition proof systems for gödel-dummett logics

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this