Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.

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 ...

A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine ...

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 ...

ABSTRACT: The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the ...

Persistent Link: https://ieeexplore.ieee.org/servlet/opac?punumber=10389815 ...