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)

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)

Absztrakt (kivonat)

Orthomodular lattices were introduced to get an algebraic description of the propositional logic of quantum mechanics. In this paper, we set up axiomatization of this logic as a Hilbert style implicational logical system L, i.e., we present a set of axioms and derivation rules formulated in the signature {—> ,0}. The other logical operations V, A, are expressed in terms of implication (which is the so-called Dishkant implication) and falsum. We further show that the system L is algebraizable in the sense of Blok and Pigozzi, and that orthomodular lattices provide an equivalent algebraic semantics for it.

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
Nyelv:	angol
Kiadó:	Bolyai Institute, University of Szeged
Kiadás helye:	Szeged
Hivatalos webcím (URL):	http://www.acta.hu
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/45435/
DOI:	10.14232/actasm-015-813-6
Kulcsszavak:	Ortomoduláris rács, Algebrai logika, Derivációs szabály, Matematika
Megjegyzések:	Bibliogr.: p. 393-394. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.01. Matematika
Feltöltés dátuma:	2017. ápr. 06. 15:55
Utolsó módosítás:	2026. feb. 24. 08:10
URI:	http://acta.bibl.u-szeged.hu/id/eprint/46317

Bővebben:

Tétel nézet