| 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-2025 easychair.org. All rights reserved. |