Tableaus with Invertible Rules for Many‐Valued Modal Propositional Logics
J. SakalauskaitėVolume:
42
Language:
english
Pages:
13
Journal:
Lithuanian Mathematical Journal
DOI:
10.1023/a:1016118411572
Date:
April, 2002
File:
PDF, 127 KB
english, 2002