where ---> and <---> are meant to be the traditional arrows denoting logical implication and logical equivalence. If you don't know propositional calculus, we'll say just a few things to help ease ...
ABSTRACT: In the XII Latin American Symposium on Mathematical Logic we presented a work introducing a Hilbert-style propositional calculus called four-valued Monteiro propositional calculus. This ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する