Interpolation property for extensions of intuitionistic proof logic

Autor:	I. G. Simonova
Rok vydání:	1990
Předmět:	Discrete mathematics Algebra Proof calculus Proof theory General Mathematics Truth value Minimal logic Structural proof theory Intermediate logic Intuitionistic logic Higher-order logic Mathematics
Zdroj:	Mathematical Notes of the Academy of Sciences of the USSR. 47:483-490
ISSN:	1573-8876 0001-4346
DOI:	10.1007/bf01158092
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1a584e7aefb115b46d6d7c56793267be https://doi.org/10.1007/bf01158092 Zobrazit plný text záznamu Full text from SpringerLink