RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2010 Volume 51, Number 3, Pages 604–619 (Mi smj2111)

This article is cited in 6 papers

Joint consistency in extensions of the minimal logic

L. L. Maksimovaab

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University, Mechanics and Mathematics Department, Novosibirsk

Abstract: Analogs of Robinson's theorem on joint consistency are found which are equivalent to the weak interpolation property (WIP) in extensions of Johansson's minimal logic J. Although all propositional superintuitionistic logics possess this property, there are J-logics without WIP. It is proved that the problem of the validity of WIP in J-logics can be reduced to the same problem over the logic Gl obtained from J by adding the tertium non datur. Some algebraic criteria for validity of WIP over J and Gl are found.

Keywords: minimal logic, interpolation, joint consistency.

UDC: 510.64

Received: 01.02.2010


 English version:
Siberian Mathematical Journal, 2010, 51:3, 479–490

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024