Intuitionistic De Morgan Verification and Falsification Logics.
Norihiro KamidePublished in: ICAART (2) (2016)
Keyphrases
- classical logic
- expressive power
- linear logic
- formal verification
- fuzzy set theory
- model checking
- modal logic
- theorem prover
- face verification
- valued logic
- asynchronous circuits
- inference rules
- propositional dynamic logic
- verification method
- interval valued
- formal methods
- description logics
- fuzzy numbers
- logic programming
- epistemic logic
- higher order
- expert systems
- learning algorithm
- real time
- propositional calculus
- database