RO  EN
IMI/Publicaţii/BASM/Ediţii/BASM n.3 (52), 2006/

Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A. Heyting.

Authors: Vadim Cebotari

Abstract

The problem of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic is considered. The conditions permiting to determine the parametrical completeness of an arbitrary system of formulas in mentionted logic are established in terms of 13 parametrical pre-complete classes of formulas.

E-mail:

Fulltext

Adobe PDF document0.10 Mb