BV and Pomset Logic Are Not the Same.

Lê Thành Dung Nguyên Lutz Straßburger

Published in: CSL (2022)

Keyphrases

logic programming
modal logic
classical logic
predicate logic
automated reasoning
intuitionistic logic
neural network
logic programs
case study
image processing
e learning
multi valued
logical framework
databases
formal theory
asynchronous circuits
natural deduction
database