RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2008 Volume 47, Number 3, Pages 307–334 (Mi al361)

This article is cited in 3 papers

The Beth property and interpolation in lattice-based algebras and logics

L. L. Maksimovaab, E. Orlowskac

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
b Novosibirsk State University
c National Institute of Telecommunications

Abstract: We deal with logics based on lattices with an additional unary operation. Interrelations of different versions of interpolation, the Beth property, and amalgamation, as they bear on modal logics and varieties of modal algebras, superintuitionistic logics and varieties of Heyting algebras, positive logics and varieties of implicative lattices, have been studied in many works. Sometimes these relations can and sometimes cannot be extended to the logics without implication considered in the paper.

Keywords: Beth property, interpolation, logic without implication.

UDC: 510.64

Received: 02.04.2007


 English version:
Algebra and Logic, 2008, 47:3, 176–192

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024