@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",
}