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. |