An implicational logic for orthomodular lattices

Chajda Ivan and 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
Restricted to: SZTE network

Download (968kB)
Item Type: Article
Journal or Publication Title: Acta scientiarum mathematicarum
Date: 2016
Volume: 82
Number: 3-4
ISBN: 0001-6969
Page Range: pp. 383-394
Official URL: http://www.acta.hu
Related URLs: http://acta.bibl.u-szeged.hu/45435/
Uncontrolled Keywords: Ortomoduláris rács, algebrai logika, derivációs szabály
Additional Information: Bibliogr.: p. 393-394.
Date Deposited: 2017. Apr. 06. 15:55
Last Modified: 2021. Mar. 26. 08:12
URI: http://acta.bibl.u-szeged.hu/id/eprint/46317

Actions (login required)

View Item View Item