We study S5-modal (monadic) expansions of extensions of Hájek's basic logic . Hájek proposed Hilbert-style systems axiomatizing these logics and we prove that completeness theorems for these logics follow from algebraic ...

In this paper, the 3MS (Majority Math Model Solver) algorithm is proposed for use in the optimization of majority logic circuits. The new proposed algorithm receives a sequence of binary numbers as input, representing truth ...

In this paper, the 3MS (Majority Math Model Solver) algorithm is proposed for use in the optimization of majority logic circuits. The new proposed algorithm receives a sequence of binary numbers as input, representing truth ...

It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics ...

A tecnologia semicondutora tem sido a base dos circuitos lógicos digitais da computação moderna. O uso de portas lógicas dos padrões AND e NAND tem direcionado o projeto e implementação destes circuitos. Recentes pesquisas ...

The educational resources of an online course in logical-analytical thinking, and the results of the Index of Learning Styles Questionnaire from 17041 students were analyzed to find if the majority of learning styles is ...

Com a evolução da tecnologia, os CIs (Circuitos Integrados) com tecnologia CMOS (Complementary Metal-Oxide Semicondutor) têm se tornado cada vez menores e mais eficientes, entretanto, esta tecnologia está atingindo os ...

In recent years, the network vulnerability events draw the attention to the issue of the information management on the World Wide Web. The detected vulnerability was not only restricted to individuals, but also to enterprises ...

Substitution boxes (S-boxes) are the fundamental mechanisms in symmetric key cryptosystems. These S-boxes guarantee that the cryptosystem is cryptographically secure and make them nonlinear. The S-boxes used in conventional ...