00000na 22 1 4501003756منطق‌های فراسازگار ماتریس نامعین حساب رشته نظریه برهان سیستم استنتاجی گنتزن
Paraconsistent logics non-deterministic matrix sequent calculus proof-theory Gentzen-type systems
یک حساب رشته برای {LP}A Gentzent-type proof system for {LP}جاوید جعفری namayehPersian