An implicational logic for orthomodular lattices

Chajda Ivan; Czédli Gábor: An implicational logic for orthomodular lattices. In: Acta scientiarum mathematicarum, (82) 3-4. pp. 383-394. (2016)

[thumbnail of math_082_numb_003_004_383-394.pdf] Cikk, tanulmány, mű
math_082_numb_003_004_383-394.pdf
Hozzáférés: Csak SZTE egyetemi hálózatról

Letöltés (968kB)
Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta scientiarum mathematicarum
Dátum: 2016
Kötet: 82
Szám: 3-4
ISBN: 0001-6969
Oldalak: pp. 383-394
Hivatalos webcím (URL): http://www.acta.hu
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/45435/
Kulcsszavak: Ortomoduláris rács, algebrai logika, derivációs szabály
Megjegyzések: Bibliogr.: p. 393-394.
Feltöltés dátuma: 2017. ápr. 06. 15:55
Utolsó módosítás: 2021. már. 26. 08:12
URI: http://acta.bibl.u-szeged.hu/id/eprint/46317
Bővebben:
Tétel nézet Tétel nézet