IEEE

A High-Level Control Structure Recovery Method Based on Propositional Calculus

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

The equivalence between a clause set and a kind of extension multi-layer perceptron

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 ...
Scientific Research Publishing

Monteiro, A. (1960). Matrices de Morgan caractéristiques pour le calcul propositionnel classique. Anais da Academia Brasileira de Ciências, 52, 1-7.

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

Classical Bivalent Logic as a Particular Case of Canonical Fuzzy Logic

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 ...
Scientific Research Publishing

Figallo, A., & Landini, P. (1995). On Generalized I—Algebras and Modal 4-Valued Algebras. Rep Math Logic Impact Factor, 29, 3-18.

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

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students

Sequent Calculus for Propositional Logic We start with a summary of the sequent calculus for propositional logic. 8 In the following sections we show how to program and verify a prover based on the ...