A Lindström theorem for intuitionistic propositional logic

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	11-30
Seitenumfang	20
Fachzeitschrift	Notre Dame Journal of Formal Logic
Volume	61
Ausgabenummer	1
DOIs	https://doi.org/10.1215/00294527-2019-0030
Publikationsstatus	Veröffentlicht - Jän. 2020

Wissenschaftszweige

@article{25920784864d433f8e81ebaada5bc4b5,

title = "A Lindstr{\"o}m theorem for intuitionistic propositional logic",

author = "\{Badia Hernandez\}, Guillermo and Grigory Olkhovikov",

year = "2020",

month = jan,

doi = "10.1215/00294527-2019-0030",

language = "English",

volume = "61",

pages = "11--30",

journal = "Notre Dame Journal of Formal Logic",

issn = "1939-0726",

publisher = "Duke University Press",

number = "1",

}

TY - JOUR

T1 - A Lindström theorem for intuitionistic propositional logic

AU - Badia Hernandez, Guillermo

AU - Olkhovikov, Grigory

PY - 2020/1

Y1 - 2020/1

UR - https://www.scopus.com/pages/publications/85084801289

U2 - 10.1215/00294527-2019-0030

DO - 10.1215/00294527-2019-0030

M3 - Article

SN - 1939-0726

VL - 61

SP - 11

EP - 30

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 1

ER -