Funder
NWO vidi grant
NWO Aspasia grant
The Fundamental Research Funds of Shandong University
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference32 articles.
1. Arieli, O., and A. Avron, Reasoning with logical bilattices. Journal of Logic, Language and Information 5(1):25–63, 1996.
2. Bílková, M., G. Greco, A. Palmigiano, A. Tzimoulis, and N. Wijnberg, The logic of resources and capabilities. Review of Symbolic Logic 11(2):371–410, 2018.
3. Birkhoff, G., and J. D. Lipson. Heterogeneous algebras. Journal of Combinatorial Theory 8(1):115–133, 1970.
4. Celani, S. A., Distributive lattices with a negation operator. Mathematical Logic Quarterly 45(2):207–218, 1999.
5. Celani, S. A. Representation for some algebras with a negation operator. Contributions to Discrete Mathematics 2(2):205–213, 2007.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Kripke Semantics for Hajek's BL;Electronic Proceedings in Theoretical Computer Science;2023-08-07
2. Multi-type Calculi and Structural Control;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. Linear Logic Properly Displayed;ACM Transactions on Computational Logic;2023-01-28
4. Syntactic Completeness of Proper Display Calculi;ACM Transactions on Computational Logic;2022-10-20
5. Non-normal modal logics and conditional logics: Semantic analysis and proof theory;Information and Computation;2021-05