| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - Produktová logika je axiomtické rozšíření Hájkovy základní fuzzy logiky BL (Basic Logic), která zahrnuje 1-tautologie, když se silná konjunkce a implikace interpretují jako součin reálných čísel na intervalu [0,1], resp. jemu příslušné reziduum. V tomto článku se zabýváme rozšířením produktové logiky přidáním spočetné množiny pravdivostních konstant do jazyka, například jednu pravdivostní konstantu pro každé racionální číslo v [0,1], a přidáním přidáním souvisejících uspořádávajích axiomů pro pravdivostní konstanty. Nejprve ukážeme, že odpovídající logiky jsou algebraizovatelné, a tedy úplné vzhledem k varietě odpovídajících algeber. Hlavní výsledek článku je kanonická standardní úplnost těchto logik, jinak řečeno, věty dokazatelné v těchto logikách jsou právě 1-tautologie algebry definované na reálném jednotkovém intervalu, kde pravdivostní konstanty jsou interpretovány svou vlastní hodnotou. (cs)
- Product Logic is an axiomatic extension of Hájek's Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction and implication are interpreted by the product of reals in [0, 1] and its residuum respectively. In this paper we investigate expansions of Product Logic by adding into the language a countable set of truth-constants, for example one truth-constant for each rational number in [0, 1], and by adding the corresponding book-keeping axioms for the truth-constants. We first show that the corresponding logics are algebraizable, and hence complete with respect to the variety of corresponding algebras. The main result of the paper is the canonical standard completeness of these logics, that is, theorems of them are exactly the 1-tautologies of the algebra defined over the real unit interval where the truth-constants are interpreted as their own values.
- Product Logic is an axiomatic extension of Hájek's Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction and implication are interpreted by the product of reals in [0, 1] and its residuum respectively. In this paper we investigate expansions of Product Logic by adding into the language a countable set of truth-constants, for example one truth-constant for each rational number in [0, 1], and by adding the corresponding book-keeping axioms for the truth-constants. We first show that the corresponding logics are algebraizable, and hence complete with respect to the variety of corresponding algebras. The main result of the paper is the canonical standard completeness of these logics, that is, theorems of them are exactly the 1-tautologies of the algebra defined over the real unit interval where the truth-constants are interpreted as their own values. (en)
|
| Title
| - On Product Logic with Truth-Constants
- O produktové logice s pravdivostními konstantami (cs)
- On Product Logic with Truth-Constants (en)
|
| skos:prefLabel
| - On Product Logic with Truth-Constants
- O produktové logice s pravdivostními konstantami (cs)
- On Product Logic with Truth-Constants (en)
|
| skos:notation
| - RIV/67985807:_____/06:00045161!RIV07-MSM-67985807
|
| http://linked.open.../vavai/riv/strany
| |
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...iv/cisloPeriodika
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/67985807:_____/06:00045161
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - non-classical logic; fuzzy logic; product logic; truth-constants; standard completeness (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| - GB - Spojené království Velké Británie a Severního Irska
|
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| - Journal of Logic and Computation
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| - Noguera, C.
- Godo, L.
- Savický, Petr
- Esteva, F.
- Cignoli, R.
|
| issn
| |
| number of pages
| |
| is http://linked.open...avai/riv/vysledek
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)