Abstract: It is proposed that system safety requirements can be decomposed into a number of sufficient and necessary safety critical functions. The approach is applied to an example of a high voltage ...

Abstract: This paper presents a method to recovery high-level control structures from binary executables, which is based on propositional calculus. Firstly, this method formalizes the control ...

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

A review is presented of the correspondence existing in both classical bivalent logic (BL) and canonical fuzzy logic (CFL) between each law or tautology in propositional calculus and a law in set ...

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