Fundamental logics based on two phase clocked adiabatic static CMOS logic.
Nazrul AnuarYasuhiro TakahashiToshikazu SekinePublished in: ICECS (2009)
Keyphrases
- modal logic
- low power
- classical logic
- proof theory
- propositional calculus
- propositional dynamic logic
- epistemic logic
- delay insensitive
- nonmonotonic logics
- low cost
- high speed
- coalition logic
- proof procedures
- higher order logic
- power consumption
- intuitionistic logic
- sequent calculi
- proof theoretic
- horn logic
- conditional logic
- temporal logic
- chip design
- computational properties
- knowledge representation formalisms
- random access memory
- order sorted
- default reasoning
- modal operators
- expressive power
- multi valued
- logic programming
- valued semantics
- inference rules
- valued logic
- single chip
- vlsi circuits
- automated reasoning
- asynchronous circuits
- digital circuits
- propositional logic
- multi agent systems
- belief revision
- situation calculus
- theorem prover
- nonmonotonic reasoning
- logical framework
- circuit design