Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic.
Michael MendlerPublished in: Formal Methods Syst. Des. (2000)
Keyphrases
- propositional logic
- logic circuits
- asynchronous circuits
- first order logic
- belief revision
- theorem prover
- lattice theory
- quantified boolean formulae
- fuzzy numbers
- fuzzy set theory
- logical framework
- belief change
- possibilistic logic
- knowledge base
- theorem proving
- knowledge representation
- propositional satisfiability
- davis putnam
- rough sets