A presentation is provided of a structural approach for the concur rent teaching of introductory propositional calculus and set theory. The existence of isomorphism is shown between each law (or ...
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 ...
Persistent Link: https://ieeexplore.ieee.org/servlet/opac?punumber=10389815 ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する