This article is cited in 3 papers

A hybrid calculus for logic $N^*$: Residual finiteness and decidability

S. A. Drobyshevich

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

Abstract: It is proved that logic $N^*$ is residually finite and decidable. A hybrid calculus for the logic is constructed based on a tabular calculus for intuitionistic logic. It is shown that the hybrid calculus is sound and complete.

Keywords: modal logic, intuitionistic logic, tabular calculus, hybrid calculus.

UDC: 510.643

Received: 18.05.2010
Revised: 23.03.2011

 English version: Algebra and Logic, 2011, 50:3, 245–256

Bibliographic databases:

• 
• 
• 
•