Knowledge base

Syntax: conjunction: "a,b"; disjunction "a;b"; negation "!a"; brackets ((a;b),a); tautology: Top; contradiction: Bottom



OCFs

C-representations / System Z

cw-minimal c-representations
sum-minimal c-representations
ind-minimal c-representations
all c-representations
system Z

Maximal impact

Number of conditionals
Manual

Solutions

Query

Close

C-representations

cw-minimal
sum-minimal
ind-minimal
all

Maximal impact

number of conditionals
manual

Inference mode

skeptical
weakly skeptical
credulous

Other inference systems

System P
System Z

Query

entails

Query results for c-representations