Relative Entailment Among Probabilistic Implications

We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective; the semantics of this sort of implication is defined in terms of a threshold on a conditional probabilit...

Full description

Saved in:
Bibliographic Details
Published in:Logical methods in computer science Vol. 15, Issue 1
Main Authors: Atserias, Albert, Balcázar, José L., Piceno, Marie Ely
Format: Journal Article Publication
Language:English
Published: Logical Methods in Computer Science e.V 06.02.2019
Subjects:
ISSN:1860-5974, 1860-5974
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first