| Articolul precedent |
| Articolul urmator |
 |
 204 0 |
 SM ISO690:2012CUCU, Ion. On generalization of expressibility in 5-valued logic. In: Conference on Applied and Industrial Mathematics: CAIM 2018, 20-22 septembrie 2018, Iași, România. Chișinău, Republica Moldova: Casa Editorial-Poligrafică „Bons Offices”, 2018, Ediţia a 26-a, p. 92. ISBN 978-9975-76-247-2. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Conference on Applied and Industrial Mathematics Ediţia a 26-a, 2018 |
||||||
|
Conferința "Conference on Applied and Industrial Mathematics" Iași, România, Romania, 20-22 septembrie 2018 | ||||||
|
||||||
| Pag. 92-92 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
The function f (the principal derivate operation) of algebra A is called parametrically expressible via a system of functions of A, if there exists the functions g1; h1; :::; gm; hm which are expressed explicitly via using superpositions, such that the predicate f (x1:::xn) = xn+1 is equivalent to the predicate 9t1:::9tk ((g1 = h1) ^ ::: ^ (gm = hm)) on the algebra A. Let us consider the pseudo-Boolean algebra hM;^;_;; :i, where is relative pseudo-complement, and : is pseudo-complement. |
||||||
|
|
|
|
