About: Independence of axiom system of basic algebra     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)

AttributesValues
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
  • Z(MSM6198959214)
http://linked.open...iv/cisloPeriodika
  • 1
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
  • 371862
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
  • [504897D90391]
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
  • 14
http://linked.open...iv/tvurceVysledku
  • Chajda, Ivan
  • Kolařík, Miroslav
http://linked.open...n/vavai/riv/zamer
issn
  • 1432-7643
number of pages
http://localhost/t...ganizacniJednotka
  • 15310
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software