A semantical investigation on Brouwer-Zadeh logic.
Roberto GiuntiniPublished in: J. Philos. Log. (1991)
Keyphrases
- classical logic
- truth values
- modal logic
- fuzzy sets
- logic programming
- fixed point theorem
- proof theory
- fixed point
- asynchronous circuits
- epistemic logic
- sound and complete axiomatization
- neural network
- abductive reasoning
- digital forensics
- predicate logic
- digital circuits
- fuzzy set theory
- default logic
- programming language
- artificial neural networks
- knowledge base