This article is cited in 2 papers

Transfer Theorems for Extensions of the Paraconsistent Nelson Logic

S. P. Odintsov

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

Abstract: Descriptions of tabular logics, pretabular logics, and logics satisfying Craig's interpolation property are transferred from the class of superintuitionistic logics to the class of extensions of the paraconsistent Nelson logic.

Keywords: Craig's interpolation property, paraconsistent Nelson logic, pretabular logic, tabular logic.

UDC: 510.64

Received: 12.12.2005

 English version: Algebra and Logic, 2006, 45:4, 232–247

Bibliographic databases:

• 
• 
•