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 | 29 | 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 | 20 | 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 | 16 | 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 | 8 | 2021 |

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

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

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

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

On the decidability of intuitionistic tense logic without disjunction F Liang, Z Lin Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 4 | 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 | 2 | 2021 |

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

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

Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations F Liang, Z Zhao Studies in Logic 16 (6), 39-57, 2023 | | 2023 |

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 5 F Liang, A Palmigiano | | 2021 |

VU Research Portal G Greco, F Liang, M Moortgat, A Palmigiano, A Tzimoulis Journal of Applied Logics—IfCoLog Journal of Logics and their Applications …, 2020 | | 2020 |

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