Attributes | Values |
---|
rdf:type
| |
Description
| - We prove that the axiom system of basic algebras (as given in Chajda I., Emanovský P.: Bounded lattices with antitone involutions and properties of MV-algebras, Discuss. Math., Gen. Algebra Appl. 24 (2004), 31-42) is not independent. The axiom (BA3) can be deleted and the remaining axioms are shown to be independent. The case when the axiom of double negation is deleted is also treated.
- We prove that the axiom system of basic algebras (as given in Chajda I., Emanovský P.: Bounded lattices with antitone involutions and properties of MV-algebras, Discuss. Math., Gen. Algebra Appl. 24 (2004), 31-42) is not independent. The axiom (BA3) can be deleted and the remaining axioms are shown to be independent. The case when the axiom of double negation is deleted is also treated. (en)
- Je dán nový axiomový systém basic algeber, který obsahuje jen 4 identity. Je dokázáno, že tyto axiomy jsou nezávislé. (cs)
|
Title
| - Independence of axiom system of basic algebra
- Independence of axiom system of basic algebra (en)
- Nezávislá axiomatizace basic algeber (cs)
|
skos:prefLabel
| - Independence of axiom system of basic algebra
- Independence of axiom system of basic algebra (en)
- Nezávislá axiomatizace basic algeber (cs)
|
skos:notation
| - RIV/61989592:15310/08:00005672!RIV09-MSM-15310___
|
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/61989592:15310/08:00005672
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - axiom system; basic algebra (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| - DE - Spolková republika Německo
|
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| - Soft Computing: a fusion of foundations, methodologies and applications
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| - Chajda, Ivan
- Kolařík, Miroslav
|
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |