## Found 10 Documents (Results 1–10)

### Identities and quasi-identities on lattices of congruences of finite semigroups. (Russian)Zbl 0659.20046

Reviewer: P.Normak
Full Text:

### The main problems of expressibility of formulas in nonclassical logics. (Russian)Zbl 0652.03014

Reviewer: Z.Stachniak
MSC:  03B55 03B20 03B45
Full Text:

### The separation property for provability intuitionistic calculus. (Russian)Zbl 0649.03008

Reviewer: Phan Dinh Diêu
MSC:  03B20
Full Text:

### Algorithms, algebras and intuitionistic logic. (Russian)Zbl 0643.03040

Reviewer: G.Mints
MSC:  03Fxx 03-03 01A60
Full Text:

### Interpolation in normal modal logics. (Russian)Zbl 0643.03012

Reviewer: P.Materna
MSC:  03B45 03C40
Full Text:

### Superintuitionistic logics as fragments of extensions of the provability logic. (Russian)Zbl 0642.03016

Reviewer: O.Štěpánková
MSC:  03B55 03B45
Full Text:

### Completeness of systems of formulas in duality-chain logics. (Russian)Zbl 0639.03021

Reviewer: G.Mints
MSC:  03B55
Full Text:

### Chain classes of section-monotone functions of the logic of the first Jaśkowski matrix. (Russian)Zbl 0638.03021

Reviewer: J.Cirulis
MSC:  03B50 03B55
Full Text:

### Some properties of the lattice of parametrically closed classes of functions of the three-valued logic. (Russian)Zbl 0636.03015

Reviewer: A.S.Karpenko
MSC:  03B50
Full Text:

### Structurally complete superintuitionistic logics and primitive varieties of pseudo-boolean algebras. (Russian)Zbl 0634.06005

Reviewer: V.Meskhi
MSC:  06D20 03B55 03G10
Full Text:

all top 3