@article {IOPORT.03995633,
    author       = {Hosoi, Tsutomu},
    title        = {Pseudo two-valued evaluation method for intermediate logics.},
    year         = {1986},
    journal      = {Studia Logica},
    volume       = {45},
    issn         = {0039-3215},
    pages        = {3-8},
    publisher    = {Institute of Philosophy and Sociology of the Polish Academy of Sciences, Warsaw; Springer, Dordrecht},
    doi          = {10.1007/BF01881544},
    abstract     = {Let VAR be the variables of a propositional logic. Let $R=\{a\sb i\vee \neg a\sb i,\neg (a\sb i\vee \neg a\sb i)\vert$ $a\sb i\in VAR\}$. A pseudo two-valued evaluation, f( ), is a function on VAR into R; and f( ) is extended to the wffs in the usual way. The author investigates logics obtained by adding ($\neg a\vee \neg \neg a)$ to logics L containing intuitionistic logic. The main theorem states that A is a theorem of such a logic iff $L\vdash f(A)$ for all pseudo two-valued evaluations f( ).},
    reviewer     = {C.F.Kielkopf},
    identifier   = {03995633},
}