RUS  ENG
Full version
JOURNALS // Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica // Archive

Bul. Acad. Ştiinţe Repub. Mold. Mat., 2006 Number 3, Pages 45–50 (Mi basm107)

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

Vadim Cebotari

Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Chişinău, Moldova

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.

Keywords and phrases: Intuitionistic logic, parametrical expressibility, parametrical completeness, pre-complete system.

MSC: 03B45

Received: 25.08.2006

Language: English



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025