Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits

Documenti analoghi

• Semantics out of context: nominal absolute denotations for first-order logic and computation
  di: Gabbay, Murdoch J.
  Pubblicazione: (2013)
• A linear proof language for second-order intuitionistic linear logic
  di: Díaz-Caro, Alejandro, et al.
  Pubblicazione: (2023)
• Semitopology: a topological approach to decentralised collaborative action
  di: Gabbay, Murdoch
  Pubblicazione: (2023)
• Semitopology: distributed collaborative action via topology, algebra, and logic
  di: Gabbay, Murdoch J.
  Pubblicazione: (2024)
• A declarative approach to specifying distributed algorithms using three-valued modal logic
  di: Gabbay, Murdoch J., et al.
  Pubblicazione: (2025)