An institutional approach to positive coalgebraic logic.

Adriana Balan Alexander Kurz Jiri Velebil

Published in: J. Log. Comput. (2017)

Keyphrases

positive and negative
multi valued
classical logic
logic programming
modal logic
predicate logic
case study
higher education
formal language
delay insensitive
genetic algorithm
proof theory
positively correlated
asynchronous circuits
abductive reasoning
truth values
digital circuits
description logics