Author:Anahit Chubaryan
KeyphrasesElimination system, many-valued logic, minimal tautology, monotonous proof system, sequent system, splitting method, strongly monotonous proof system, universal proof system. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |