Sequent-Type Proof Systems for Three-Valued Default Logic
From MaRDI portal
Publication:6318608
arXiv1905.04725MaRDI QIDQ6318608
Publication date: 12 May 2019
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)
This page was built for publication: Sequent-Type Proof Systems for Three-Valued Default Logic
