computability logic

noun

A formal theory of computability.

Meanings

nouncomputability logic (uncountable)
  1. uncountablecomputingA formal theory of computability.
Cite this entry
APA

computability logic. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/computability%20logic

MLA

“computability logic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/computability%20logic. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “computability logic,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/computability%20logic.

Source: computability logic on Wiktionary, CC BY-SA 4.0.