A sound and complete logic for algebraic effects

Lignende værker

• Scoped effects as parameterized algebraic theories
  af: Lindley, S, et al.
  Udgivet: (2024)
• On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
  af: Tarek Sayed Ahmed
  Udgivet: (2021-12-01)
• Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
  af: Ma, M, et al.
  Udgivet: (2011)
• Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
  af: Sadrzadeh, M, et al.
  Udgivet: (2011)
• Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
  af: Wei Wang, et al.
  Udgivet: (2019-02-01)