Junhua Yu

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 4

Top Topics

Cut Elimination

Top Venues

Ann. Pure Appl. Log.

Theory Comput. Syst.

Rev. Symb. Log.

Publications

Junhua Yu
Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus. Ann. Pure Appl. Log. 171 (1) (2020)
Junhua Yu
A Tableau System for Instantial Neighborhood Logic. LFCS (2018)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu
Instantial Neighbourhood Logic. Rev. Symb. Log. 10 (1) (2017)
Junhua Yu
On non-self-referential fragments of modal logics. Ann. Pure Appl. Log. 168 (4) (2017)
Junhua Yu
Self-referentiality of Brouwer-Heyting-Kolmogorov semantics. Ann. Pure Appl. Log. 165 (1) (2014)
Junhua Yu
Prehistoric Graph in Modal Derivations and Self-Referentiality. Theory Comput. Syst. 54 (2) (2014)
Junhua Yu
Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic. LFCS (2013)
Junhua Yu
Prehistoric Phenomena and Self-referentiality. CSR (2010)