About: Computer proof of monotonicity of operations on orthomodular lattices

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

About: Computer proof of monotonicity of operations on orthomodular lattices 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
rdfs:seeAlso	ftp://cmp.felk.cvut.cz/pub/cmp/articles/navara/Monotonicity_INS13.pdf
Description	In this paper we study the monotonicity of binary operations in orthomodular lattices and their distributivity with respect to the lattice operations. In this paper we study the monotonicity of binary operations in orthomodular lattices and their distributivity with respect to the lattice operations. (en)
Title	Computer proof of monotonicity of operations on orthomodular lattices Computer proof of monotonicity of operations on orthomodular lattices (en)
skos:prefLabel	Computer proof of monotonicity of operations on orthomodular lattices Computer proof of monotonicity of operations on orthomodular lattices (en)
skos:notation	RIV/68407700:21230/13:00212516!RIV14-MSM-21230___
http://linked.open...avai/predkladatel	Fakulta elektrotechnická
http://linked.open...avai/riv/aktivita	S
http://linked.open...avai/riv/aktivity	S
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Navara, Mirko Gabriëls, Jeannine Jozef Maria
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	České vysoké učení technické v Praze / Fakulta elektrotechnická
http://linked.open...dnocenehoVysledku	66596
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/13:00212516
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	orthomodular lattice; free lattice; ideal; congruence; commutator; associativity; monotonicity; commutativity; focusing; Foulis-Holland theorem; implication; equivalence; variety (en)
http://linked.open.../riv/klicoveSlovo	Foulis-Holland theorem commutator orthomodular lattice focusing monotonicity congruence ideal variety equivalence associativity commutativity free lattice implication
http://linked.open...odStatuVydavatele	US - Spojené státy americké
http://linked.open...ontrolniKodProRIV	[A70275649A01]
http://linked.open...i/riv/nazevZdroje	Information Sciences
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...UplatneniVysledku	2013
http://linked.open...v/svazekPeriodika	236
http://linked.open...iv/tvurceVysledku	Navara, Mirko Gabriëls, Jeannine Jozef Maria
http://linked.open...ain/vavai/riv/wos	000318747800015
issn	0020-0255
number of pages	13 (xsd:int)
http://bibframe.org/vocab/doi	10.1016/j.ins.2013.02.021
http://localhost/t...ganizacniJednotka	21230

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software