Positive formulas in intuitionistic and minimal logic

D de Jongh; Z Zhao

Positive formulas in intuitionistic and minimal logic

D de Jongh, Z Zhao

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific › peer-review

Original language	English
Title of host publication	Logic, language, and computation; 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: Revised selected papers
Editors	M Aher, D Hole, E Je¿ábek, C Kupke
Place of Publication	Berlin-Heidelberg
Publisher	Springer
Pages	175-189
Number of pages	334
ISBN (Print)	978-3-662-46905
Publication status	Published - 2015

Cite this

@inbook{375a69eddc7d43d991631e950cf807f2,

title = "Positive formulas in intuitionistic and minimal logic",

author = "{de Jongh}, D and Z Zhao",

year = "2015",

language = "English",

isbn = "978-3-662-46905",

pages = "175--189",

editor = "M Aher and D Hole and E Je¿{\'a}bek and C Kupke",

booktitle = "Logic, language, and computation; 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: Revised selected papers",

publisher = "Springer",

}

Positive formulas in intuitionistic and minimal logic. / de Jongh, D; Zhao, Z.
Logic, language, and computation; 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: Revised selected papers. ed. / M Aher; D Hole; E Je¿ábek; C Kupke. Berlin-Heidelberg: Springer, 2015. p. 175-189.

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific › peer-review

TY - CHAP

T1 - Positive formulas in intuitionistic and minimal logic

AU - de Jongh, D

AU - Zhao, Z

PY - 2015

Y1 - 2015

M3 - Chapter

SN - 978-3-662-46905

SP - 175

EP - 189

BT - Logic, language, and computation; 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: Revised selected papers

A2 - Aher, M

A2 - Hole, D

A2 - Je¿ábek, E

A2 - Kupke, C

PB - Springer

CY - Berlin-Heidelberg

ER -