A Propositional Logic with Binary Metric Operators.

Nenad Stojanovic Nebojsa Ikodinovic Radosav Djordjevic

Published in: FLAP (2018)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
lattice theory
quantified boolean formulae
horn logic
morphological operators
multi valued
propositional satisfiability
belief change
satisfiability testing
machine learning