RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 2001 Volume 40, Number 2, Pages 218–242 (Mi al218)
This article is cited in 2 papers

Algebraic Counterparts for Some Properties of Superintuitionistic Predicate Logics

D. E. Tishkovsky

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: Algebraic counterparts are found for the Beth, projective Beth, interpolation, disjunction, and existential properties of superintuitionistic first-order logics.

Keywords: superintuitionistic predicate logic, Beth property, projective Beth property, interpolation property, disjunction property, existential property.

UDC: 510.642+512.57

Received: 22.07.1999


 English version: Algebra and Logic, 2001, 40:2, 122–134

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024