Gentzen-type systems for C, K and several extensions of C and K

Constructive completeness proofs and effective decision procedures for these systems

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)263-284
JournalLogique et Analyse
Volume23
Publication statusPublished - 1980

Cite this

@article{82f7878e52274da3aecb4ff22c14a7b0,
title = "Gentzen-type systems for C, K and several extensions of C and K: Constructive completeness proofs and effective decision procedures for these systems",
author = "{de Swart}, Harrie",
year = "1980",
language = "English",
volume = "23",
pages = "263--284",
journal = "Logique et Analyse",
issn = "0024-5836",
publisher = "CENTRE NATIONAL BELGE RECHERCHES LOGIQUE",

}

TY - JOUR

T1 - Gentzen-type systems for C, K and several extensions of C and K

T2 - Constructive completeness proofs and effective decision procedures for these systems

AU - de Swart, Harrie

PY - 1980

Y1 - 1980

M3 - Article

VL - 23

SP - 263

EP - 284

JO - Logique et Analyse

JF - Logique et Analyse

SN - 0024-5836

ER -