Proving Propositional Tautologies in a Natural Dialogue

DOI10.3233/FI-2013-944zbMath1285.68171MaRDI QIDQ5411661

Olena Yaskorska, Katarzyna Budzyńska, M. Kacprzak

Publication date: 25 April 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Towards Verification of Dialogue Protocols: A Mathematical Model

This page was built for publication: Proving Propositional Tautologies in a Natural Dialogue