Two Notions of Compactness in Gödel Logics

Number of the records: 1

1.

SYSNO ASEP	0405251
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve SCOPUS
Title	Two Notions of Compactness in Gödel Logics
Title	Dva pojmy kompaktnosti v Gödelových logikách
Author(s)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI}
Source Title	Studia Logica. - : Springer - ISSN 0039-3215 Roč. 81, č. 1 (2005), s. 99-123
Number of pages	25 s.
Language	eng - English
Country	NL - Netherlands
Keywords	logic ; Gödel logic ; compactness ; entailment ; satisfiability
Subject RIV	BA - General Mathematics
R&D Projects	GD401/03/H047 GA ČR - Czech Science Foundation (CSF)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
EID SCOPUS	27544505579
DOI	10.1007/s11225-005-2804-7
Annotation	In this paper we will deal with compactness of Gödel logics. We give a nearly complete answer to the problem of entailment and satisfiability based compactness. We show a tight correspondence between these two concepts.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2006

Number of the records: 1