Some consequence relations on propositional formulas

Consequence relations on propositional formulas are binary relations on propositional formulas that represent certain types of entailment - formal or semi-formal derivation of conclusion from a certain set of premises. Some of well known examples are classical implication (standard logical entailmen...

Full description

Bibliographic Details
Main Author: Borovčanin Momčilo
Format: Article
Language:English
Published: Faculty of Technical Sciences in Cacak 2011-01-01
Series:Serbian Journal of Electrical Engineering
Subjects:
Online Access:http://www.doiserbia.nb.rs/img/doi/1451-4869/2011/1451-48691101009B.pdf
Description
Summary:Consequence relations on propositional formulas are binary relations on propositional formulas that represent certain types of entailment - formal or semi-formal derivation of conclusion from a certain set of premises. Some of well known examples are classical implication (standard logical entailment), preference relations (i.e. relations that satisfy Reflexivity, Left logical equivalence, Right weakening, And, Or and Cautious monotonicity) rational relations (i.e. preference relations that also satisfy rational monotonicity), consequence relations (prime examples are qualitative possibilities and necessities) etc. More than two decades various consequence relations are used in automated decision making, product control, risk assessment and so on. The aim of this paper is to give a short overview of the most prominent examples of consequence relations.
ISSN:1451-4869
2217-7183