Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2.

Hitoshi Omori Jesse Alama

Published in: Stud Logica (2018)

Keyphrases

probability theory
pose estimation
image registration
computer vision
image processing
pattern recognition
logic programming
multi valued
classical logic