On intermediate many-valued logics

DOI10.2969/JMSJ/01120116MaRDI QIDQ771031zbMATH OpenOpenAlexFDO

Authors Toshio Umezawa

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

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(9)

• Infinitary equilibrium logic and strongly equivalent logic programs
• Yankov Characteristic Formulas (An Algebraic Account)
• Equational axioms for classes of Heyting algebras
• V. Yankov’s Contributions to Propositional Logic
• Proving infinitary formulas
• Infinitary Equilibrium Logic and Strong Equivalence
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• Some structure results for propositional calculi
• Stable reasoning

This page was built for publication: On intermediate many-valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q771031)