Multi-type display calculus for semi De Morgan logic G Greco, F Liang, MA Moshier, A Palmigiano Logic, Language, Information, and Computation: 24th International Workshop …, 2017 | 27 | 2017 |

Bilattice logic properly displayed G Greco, F Liang, A Palmigiano, U Rivieccio Fuzzy Sets and Systems 363, 138-155, 2019 | 25 | 2019 |

Algebraic proof theory for LE-logics G Greco, P Jipsen, F Liang, A Palmigiano, A Tzimoulis ACM Transactions on Computational Logic 25 (1), 1-37, 2024 | 18 | 2024 |

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 | 18 | 2019 |

Algebraic semantics for quasi-Nelson logic F Liang, T Nascimento International Workshop on Logic, Language, Information, and Computation, 450-466, 2019 | 12 | 2019 |

Semi De Morgan logic properly displayed G Greco, F Liang, MA Moshier, A Palmigiano Studia logica 109, 1-45, 2021 | 7 | 2021 |

Sequent calculi for semi-De Morgan and De Morgan algebras M Ma, F Liang Studia Logica 106 (3), 565-593, 2018 | 6 | 2018 |

Algebraic proof theory for LE-logics. submitted G Greco, P Jipsen, F Liang, A Palmigiano, A Tzimoulis arXiv preprint arXiv:1808.04642, 2018 | 6 | 2018 |

Multi-Type Algebraic Proof Theory. F Liang Delft University of Technology, Netherlands, 2018 | 6 | 2018 |

Vector spaces as Kripke frames G Greco, F Liang, M Moortgat, A Palmigiano, A Tzimoulis arXiv preprint arXiv:1908.05528, 2019 | 5 | 2019 |

On the decidability of intuitionistic tense logic without disjunction F Liang, Z Lin Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 3 | 2021 |

On the Finite Model Property of Weak Intuitionistic Tense Logic Y Peng, Z Lin, F Liang Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021 | 1 | 2021 |

Kleene algebras, adjunction and structural control G Greco, F Liang, A Palmigiano arXiv preprint arXiv:1805.07583, 2018 | 1 | 2018 |

Multiple-conclusion Logical Consequence: from a Perspective of Speech Acts F LIANG UNIVERSITAS-MONTHLY REVIEW OF PHILOSOPHY AND CULTURE 49 (5), 89-104, 2022 | | 2022 |

Indicative Conditionals as Epistemic Filter Conditionals F Liang, W Wang Studies in Logic 15 (6), 1-16, 2022 | | 2022 |

Logical foundations of categorization theory Lecture 4 F Liang, A Palmigiano | | 2021 |

A Hilbert Calculus for Logic of Truth-Functional Contingency F Liang, Z Tian, X Yang Studies in Logic 14 (3), 24-36, 2021 | | 2021 |

Reasoning as Speech Acts C Su, L Rong, F Liang Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou …, 2020 | | 2020 |

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 |