An Axiomatization of the d-logic of Planar Polygons.

David Gabelaia Kristina Gogoladze Mamuka Jibladze Evgeny Kuznetsov Levan Uridia

Published in: TbiLLC (2017)

Keyphrases

classical logic
logic programming
complete axiomatization
modal logic
situation calculus
automated reasoning
proof theory
formal theory
general theory
minkowski sum
database
truth values
digital circuits
set theory
computational properties
curved surfaces
planar surfaces
computer vision
artificial intelligence