View of Prefixed tableaus for three-valued modal propositional logics | Lietuvos matematikos rinkinys

← Return to Article Details Prefixed tableaus for three-valued modal propositional logics