Zobrazeno 1 - 10
of 1 183
pro vyhledávání: '"Free Boolean algebra"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Baader, Franz, De Bortoli, Filippo
Simple counting quantifiers that can be used to compare the number of role successors of an individual or the cardinality of a concept with a fixed natural number have been employed in Description Logics (DLs) for more than two decades under the resp
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79621
https://tud.qucosa.de/api/qucosa%3A79621/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79621/attachment/ATT-0/
Publikováno v:
Journal of Discrete Mathematical Sciences and Cryptography. 21:661-677
A general model of an experiment with a finite number of two-level factors and a two-level outcome is considered. Joint action types are identified within the formalism developed. It is shown that the experiment can be represented by a free Boolean a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b6d500cfbd34c1d8436ba8e51eb8b37
https://doi.org/10.1080/09720529.2016.1222733
https://doi.org/10.1080/09720529.2016.1222733
Autor:
Mirko Navara
Publikováno v:
International Journal of Theoretical Physics. 56:4126-4132
We correct a mistake in the description of orthoalgebras as pastings of Boolean algebras. We present a corrected structural theorem.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2a748276e84d864c0b5c7acf9117db9
https://doi.org/10.1007/s10773-017-3479-3
https://doi.org/10.1007/s10773-017-3479-3
Publikováno v:
IET Control Theory & Applications. 11:2058-2064
In this study, implicit Boolean networks (IBNs), which are more general than classic BNs, are proposed for the first time motivated by the river-crossing decision problem. By resorting to the admissible set, some necessary and sufficient conditions a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d8e23ceff03a97683ff09bc901d00d9b
https://doi.org/10.1049/iet-cta.2016.1658
https://doi.org/10.1049/iet-cta.2016.1658
Autor:
G. Pavel, Sorin Dascalescu
Publikováno v:
Communications in Algebra. 45:4686-4690
We give a criterion that determines under certain conditions the minimal number of algebra generators of a subalgebra of the polynomial algebra.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::febd31ed2b3f193af295be6271bb593f
https://doi.org/10.1080/00927872.2016.1278008
https://doi.org/10.1080/00927872.2016.1278008
Publikováno v:
IEICE Transactions on Information and Systems. :838-848
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f320476e1e299b72e5f58fd2c5d5b623
https://doi.org/10.1587/transinf.2016edp7313
https://doi.org/10.1587/transinf.2016edp7313
Autor:
A. V. Trofimov, D. E. Pal’chunov
Publikováno v:
Siberian Mathematical Journal. 57:1066-1076
We give a description of finitely axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Criteria are obtained for the elementary equivalence of superatomic Boolean algebras with distinguished dense subalgebra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c27a568136e16f136c15e6c3616a774
https://doi.org/10.1134/s0037446616060136
https://doi.org/10.1134/s0037446616060136
Publikováno v:
Linear Algebra and its Applications. 506:382-412
In this paper we begin a study of free analysis in the quaternionic setting, and consider Boolean convolution for quaternion-valued measures. To this end we also study Boolean convolution for matrix-valued complex measures, also proving Boolean infin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::debe506f41f884e6eb6e8bb52654e0a0
https://doi.org/10.1016/j.laa.2016.06.004
https://doi.org/10.1016/j.laa.2016.06.004