A sound and complete logic for algebraic effects
Prif Awduron: | Staton, S, Matache, C |
---|---|
Fformat: | Conference item |
Cyhoeddwyd: |
Springer
2019
|
Eitemau Tebyg
-
Scoped effects as parameterized algebraic theories
gan: Lindley, S, et al.
Cyhoeddwyd: (2024) -
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
gan: Tarek Sayed Ahmed
Cyhoeddwyd: (2021-12-01) -
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
gan: Ma, M, et al.
Cyhoeddwyd: (2011) -
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
gan: Sadrzadeh, M, et al.
Cyhoeddwyd: (2011) -
Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
gan: Wei Wang, et al.
Cyhoeddwyd: (2019-02-01)