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: For multi-layer perceptron, its logic function has been discussed by many researchers. This paper simply discusses a kind of prepositional calculus with evaluation and an extension ...

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

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

Foundations of Mathematics by I. Stewart and D. O. Tall Propositional and Predicate Calculus: A Model of Argument by D. C. Goldrei Goldrei’s book is only recommended if you want to learn logic in much ...