Items where Author is "Zhao, Zhiguang"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 4.

PP-2016-20: Bezhanishvili, Nick and de Jongh, Dick and Tzimoulis, Apostolos and Zhao, Zhiguang (2016) Universal models for the positive fragment of intuitionistic logic. [Report]

PP-2014-06: de Jongh, Dick and Zhao, Zhiguang (2014) Positive Formulas in Intuitionistic and Minimal Logic. [Report]

MoL-2013-10: Zhao, Zhiguang (2013) Algebraic Canonicity in Non-Classical Logics. [Report]

X-2013-01: Tzimoulis, Apostolos and Zhao, Zhiguang (2013) The Universal Model for the Negation-free Fragment of IPC. [Report]

This list was generated on Thu Nov 21 00:30:32 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility