Fei Liang
Fei Liang
School of Philosophy and Social Development, Shandong University, China
Verified email at sdu.edu.cn
Title
Cited by
Cited by
Year
Multi-type display calculus for semi De Morgan logic
G Greco, F Liang, MA Moshier, A Palmigiano
International workshop on logic, language, information, and computation, 199-215, 2017
242017
Bilattice logic properly displayed
G Greco, F Liang, A Palmigiano, U Rivieccio
Fuzzy Sets and Systems 363, 138-155, 2019
192019
Algebraic proof theory for LE-logics
G Greco, P Jipsen, F Liang, A Palmigiano, A Tzimoulis
arXiv preprint arXiv:1808.04642, 2018
112018
Proper multi-type display calculi for rough algebras
G Greco, F Liang, K Manoorkar, A Palmigiano
Electronic Notes in Theoretical Computer Science 344, 101-118, 2019
92019
Sequent calculi for semi-De Morgan and De Morgan algebras
M Ma, F Liang
Studia Logica 106 (3), 565-593, 2018
72018
Multi-Type Algebraic Proof Theory.
F Liang
Delft University of Technology, Netherlands, 2018
62018
Algebraic semantics for quasi-Nelson logic
F Liang, T Nascimento
International Workshop on Logic, Language, Information, and Computation, 450-466, 2019
52019
Algebraic proof theory for LE-logics. submitted
G Greco, P Jipsen, F Liang, A Palmigiano, A Tzimoulis
arXiv preprint arXiv:1808.04642, 2018
52018
Vector spaces as Kripke frames
G Greco, F Liang, M Moortgat, A Palmigiano
arXiv preprint arXiv:1908.05528, 2019
32019
Semi De Morgan logic properly displayed
G Greco, F Liang, MA Moshier, A Palmigiano
arXiv preprint arXiv:1809.07933, 2018
22018
Reasoning as Speech Acts
C Su, L Rong, F Liang
International Conference on Logic and Argumentation, 279-286, 2020
2020
On the Decidability of Intuitionistic Tense Logic without Disjunction.
F Liang, Z Lin
IJCAI, 1798-1804, 2020
2020
Kleene algebras, adjunction and structural control
G Greco, F Liang, A Palmigiano
arXiv preprint arXiv:1805.07583, 2018
2018
Partially-Ordered Multi-Type Algebras, Display Calculi and the Category of Weakening Relations
P Jipsen, F Liang, MA Moshier, A Tzimoulis
2018
The proof theory of semi-De Morgan Algebras
F Liang
2016
Multi-type Display Calculus for Semi-De Morgan Logic
F Liang
A proper Multi-type display calculus for Semi De Morgan Logic
G Greco, F Liang, A Moshier, A Palmigiano
Measurable Kleene algebras and structural control
G Greco, F Liang, A Palmigiano
Proper Display Calculi for Rough Algebras
G Greco, F Liang, K Manoorkar, A Palmigiano
AiML 2018, 51, 0
The system can't perform the operation now. Try again later.
Articles 1–19