Open AccessOn the deductive closure of a partially ordered propositional belief base
Author(s) -
Claudette Cayrol,
Didier Dubois,
Fayçal Touazi
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - closure (psychology) , propositional variable , propositional calculus , propositional formula , deductive reasoning , computer science , well formed formula , base (topology) , mathematics , artificial intelligence , programming language , intermediate logic , description logic , mathematical analysis , economics , market economy