A Cyclic Proof System for HFL_ℕ.

Mayuko Kori Takeshi Tsukada Naoki Kobayashi

Published in: CSL (2021)

Keyphrases

modal logic
optimal solution
cross view
cross media retrieval
database
neural network
genetic algorithm