Second-Order Logic of Paradox.
Allen P. HazenFrancis Jeffry PelletierPublished in: Notre Dame J. Formal Log. (2018)
Keyphrases
- higher order
- logic programming
- classical logic
- modal logic
- hessian matrix
- asynchronous circuits
- multi valued
- neural network
- deontic logic
- predicate logic
- evolutionary algorithm
- website
- defeasible logic
- set theory
- information systems
- learning algorithm
- genetic algorithm
- data sets
- delay insensitive
- propositional dynamic logic