Trends in Logic ;

書目資訊

[1 - 20] 起自 9 查到結果 (0.72 sec)

頁數: [ 1 ]

gentzen calculi for modal propositio...

gentzen calculi for modal propositional logic

dual tableaux

paradoxes

methods of cut-elimination

philosophy of syntax

constructive negations and paraconsi...

constructive negations and paraconsistency

natural deduction, hybrid systems an...

natural deduction, hybrid systems and modal logics

advanced lukasiewicz calculus and mv...

advanced lukasiewicz calculus and mv-algebras

towards mathematical philosophy