On an ordinary expansion of first-order Belnap-Dunn logic

Documenti analoghi

• The interdefinability of expansions of Belnap-Dunn logic
  di: Middelburg, C. A.
  Pubblicazione: (2024)
• The most natural paradefinite logic relative to classical logic
  di: Middelburg, C. A.
  Pubblicazione: (2026)
• A classical-logic view on a paraconsistent logic
  di: Middelburg, C. A.
  Pubblicazione: (2020)
• Agent Interpolation for Knowledge
  di: Bílková, Marta, et al.
  Pubblicazione: (2025)
• Generating proof systems for three-valued propositional logics
  di: Greati, Vitor, et al.
  Pubblicazione: (2024)