About: Two Notions of Compactness in Gödel Logics

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Two Notions of Compactness in Gödel Logics Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	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. 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. (en) Kompaktnost je důležitá vlastnost klasické logiky. Může být definována buďto jako ekvivalence konečné a nekonečné splnitelnosti nebo jako finitárnost příslušné relace důsledků. Ve fuzzy logikách (zde se zabýváme zejména tzv. Gödelovými logikami) lze jak splnitelnost tak příslušné relace důsledků definovat mnoha způsoby. V tomto článku dáme skoro úplnou odpověď na otázku kompaktnosti (založeny na zobecnění obou klasických definic) zkoumaných logik, přičemž některé již známé výsledky obdržíme jako důsledky našich obecných tvrzení. (cs)
Title	Two Notions of Compactness in Gödel Logics Dva pojmy kompaktnosti v Gödelových logikách (cs) Two Notions of Compactness in Gödel Logics (en)
skos:prefLabel	Two Notions of Compactness in Gödel Logics Dva pojmy kompaktnosti v Gödelových logikách (cs) Two Notions of Compactness in Gödel Logics (en)
skos:notation	RIV/67985807:_____/05:00405251!RIV06-AV0-67985807
http://linked.open.../vavai/riv/strany	99;123
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GD401/03/H047), Z(AV0Z10300504)
http://linked.open...iv/cisloPeriodika	-
http://linked.open...vai/riv/dodaniDat	2006
http://linked.open...aciTvurceVysledku	Cintula, Petr
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	547516
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/05:00405251
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	logic; Gödel logic; compactness; entailment; satisfiability (en)
http://linked.open.../riv/klicoveSlovo	satisfiability entailment compactness logic Gödel logic
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[DF7F3E4EE6BD]
http://linked.open...i/riv/nazevZdroje	Studia Logica
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Logical foundations of semantics and knowledge representation
http://linked.open...UplatneniVysledku	2005
http://linked.open...v/svazekPeriodika	77
http://linked.open...iv/tvurceVysledku	Cintula, Petr
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace
issn	0039-3215
number of pages	25 (xsd:int)
is http://linked.open...avai/riv/vysledek of	Two Notions of Compactness in Gödel Logics

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 38 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software