On systems of congruences on principal filters of orthomodular implication algebras

Title:

On systems of congruences on principal filters of orthomodular implication algebras

Creator:

Halaš, Radomír and Plojhar, Luboš

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:37a1325f-b86f-4d31-b88c-69b9ca56c6a0
uuid:37a1325f-b86f-4d31-b88c-69b9ca56c6a0
doi:10.21136/MB.2007.133966

Subject:

orthoimplication algebra, orthomodular lattice, and p-filter

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

Orthomodular implication algebras (with or without compatibility condition) are a natural generalization of Abbott’s implication algebras, an implication reduct of the classical propositional logic. In the paper deductive systems (= congruence kernels) of such algebras are described by means of their restrictions to principal filters having the structure of orthomodular lattices.

Language:

English

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Coverage:

423-435

Source:

Mathematica bohemica | 2007 Volume:132 | Number:4

Harvested from:

CDK

Metadata only:

false