Bitopological duality for algebras of Fitting's logic and natural duality extension.

Litan Kumar Das Kumar Sankar Ray

Published in: Acta Informatica (2021)

Keyphrases

linear programming
real world
logic programming
case study
man made
relation algebra
databases
genetic algorithm
description logics
automated reasoning
asynchronous circuits
duality gap