Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic.
Katsuhiko SanoPublished in: AiML (2020)
Keyphrases
- classical logic
- linear logic
- natural deduction
- cut elimination
- modal logic
- logic programming
- logical framework
- sequent calculus
- database
- asynchronous circuits
- theorem prover
- fuzzy set theory
- automated reasoning
- fuzzy numbers
- interval valued
- predicate logic
- deontic logic
- programming language
- proof theory
- neural network
- databases