Distributive implication groupoids

被引：6

作者：

Chajda, Ivan ^{[1
]}

Halas, Radomir ^{[1
]}

机构：

[1] Palacky Univ, Dept Algebra & Geometry, Olomouc 77900, Czech Republic

来源：

Central European Journal of Mathematics | 2007年 / 5卷 / 03期

关键词：

(distributive) implication groupoid; ideal; deductive system; congruence kernel; left distributivity;

D O I：

10.2478/s11533-007-0021-5

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We introduce a concept of implication groupoid which is an essential generalization of the implication reduct of intuitionistic logic, i.e. a Hilbert algebra. We prove several connections among ideals, deductive systems and congruence kernels which even coincide whenever our implication groupoid is distributive. (C) Versita Warsaw and Springer-Verlag Berlin Heidelberg. All rights reserved.

引用

页码：484 / 492

页数：9