共 50 条
- [32] Categorical Abstract Algebraic Logic: Referential Algebraic Semantics Studia Logica, 2013, 101 : 849 - 899
- [33] Calculational relation-algebraic proofs in Isabelle/Isar RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 178 - 190
- [34] Interactive Oracle Proofs of Proximity to Algebraic Geometry Codes Leibniz International Proceedings in Informatics, LIPIcs, 2022, 234
- [38] Towards an Algebraic Semantics for Implicatives Journal of Logic, Language and Information, 2020, 29 : 525 - 538
- [39] ALGEBRAIC SEMANTICS FOR MODAL PREDICATE LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (06): : 523 - 552
- [40] Algebraic Semantics for Dynamic Dynamic Logic LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 255 - 267