Person:6150169

From MaRDI portal

Available identifiers

zbMath Open ye.lingyuanMaRDI QIDQ6150169

List of research outcomes





PublicationDate of PublicationType
Towards a relational treating of language and logical systems2024-09-10Paper
Unification of Modal Logic via Topological Categories2024-03-05Paper
Varieties of self-reference in metamathematics2023-08-02Paper
Ultraposet, Distributive Lattice, and Coherent Locale2023-04-21Paper
Categorical Structure in Theory of Arithmetic2023-04-11Paper
Syntax and Consequence Relations -- A Categorical Perspective2021-09-08Paper
Stack Representation of Finitely Presented Heyting Pretoposes IN/APaper

Research outcomes over time

This page was built for person:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6150169&oldid=37741239"
Powered by MediaWiki