Four imprints of Belnap's useful four-valued logic in computer science

Documenti analoghi

• A categorical account of composition methods in logic (extended version)
  di: Jakl, Tomáš, et al.
  Pubblicazione: (2024)
• The interdefinability of expansions of Belnap-Dunn logic
  di: Middelburg, C. A.
  Pubblicazione: (2024)
• On the Axioms of Arboreal Categories
  di: Jakl, Tomáš, et al.
  Pubblicazione: (2026)
• Belnap-Dunn logic and query answering in inconsistent databases with null values
  di: Middelburg, C. A.
  Pubblicazione: (2023)
• On an ordinary expansion of first-order Belnap-Dunn logic
  di: Middelburg, C. A.
  Pubblicazione: (2023)