Algebraic properties of pre-logics

In: Mathematica Slovaca, vol. 52, no. 2

Ivan Chajda - Radomír Halaš

Detaily:

Rok, strany: 2002, 157 - 175

O článku:

We introduce the concept of a pre-logic which is an algebra weaker than a Hilbert algebra (an algebraic counterpart of intuitionistic logic) but strong enough to have deductive systems. On every such a pre-logic $A$ a quasiorder $Q$ can be defined and a Hilbert algebra can be reached as a quotient algebra of $A$ by the congruence induced by $Q$. We study algebraic properties of pre-logics and of lattices of their deductive systems.

Ako citovať:

ISO 690:

Chajda, I., Halaš, R. 2002. Algebraic properties of pre-logics. In Mathematica Slovaca, vol. 52, no.2, pp. 157-175. 0139-9918.

APA:

Chajda, I., Halaš, R. (2002). Algebraic properties of pre-logics. Mathematica Slovaca, 52(2), 157-175. 0139-9918.