Junhua Yu

Available identifiers

zbMath Open yu.junhuaMaRDI QIDQ392297

List of research outcomes

Publication	Date of Publication	Type
Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus	2019-11-06	Paper
A tableau system for instantial neighborhood logic	2018-04-06	Paper
Prehistoric graph in modal derivations and self-referentiality	2017-11-07	Paper
INSTANTIAL NEIGHBOURHOOD LOGIC	2017-05-31	Paper
On non-self-referential fragments of modal logics	2017-02-08	Paper
Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic	2015-12-11	Paper
Self-referentiality of Brouwer-Heyting-Kolmogorov semantics	2014-01-13	Paper
Prehistoric phenomena and self-referentiality	2010-06-22	Paper

Research outcomes over time

This page was built for person: Junhua Yu