Positive formulas in intuitionistic and minimal logic

D de Jongh, Z Zhao

    Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogic, language, and computation; 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: Revised selected papers
    EditorsM Aher, D Hole, E Je¿ábek, C Kupke
    Place of PublicationBerlin-Heidelberg
    PublisherSpringer
    Pages175-189
    Number of pages334
    ISBN (Print)978-3-662-46905
    Publication statusPublished - 2015

    Cite this