On the Minimal Non-Fregean Grzegorczyk Logic.
Joanna Golinska-PilarekPublished in: Stud Logica (2016)
Keyphrases
- logic programming
- modal logic
- classical logic
- automated reasoning
- epistemic logic
- predicate logic
- computational properties
- propositional dynamic logic
- database
- deductive reasoning
- asynchronous circuits
- deontic logic
- truth values
- logic programs
- multiscale
- case study
- website
- computer vision
- data mining
- neural network
- databases