On intermediate many-valued logics
From MaRDI portal
Publication:771031
DOI10.2969/jmsj/01120116zbMath0086.24505OpenAlexW2045049617MaRDI QIDQ771031
Publication date: 1959
Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2969/jmsj/01120116
Related Items (9)
V. Yankov’s Contributions to Propositional Logic ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ Infinitary Equilibrium Logic and Strong Equivalence ⋮ Some structure results for propositional calculi ⋮ Infinitary equilibrium logic and strongly equivalent logic programs ⋮ Stable reasoning ⋮ Proving infinitary formulas ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Equational axioms for classes of Heyting algebras
This page was built for publication: On intermediate many-valued logics
