Espresso is a two level logic minimizer developed in University of California, Berkeley. You are allowed to use this tool for the project. Please download one of the ...

Abstract: We propose a logic synthesis methodology with a novel low-power circuit structure for ternary logic. The proposed methodology synthesizes a ternary function as a ternary logic gate using ...

THIS book, by two American teachers of philosophy, helps to show how far the best representatives of logic in modern universities have travelled from the Aristotelian tradition which formerly ...

Abstract: Nominal logic is a theory of names and binding based on the primitive concepts of freshness and swapping, with a self-dual N- (or "new")-quantifier, originally presented as a Hilbert-style ...