1 problem
- 0 votes0 replies0 views
Paris–Simmons completeness conjecture for System O
Let be a probability measure and let . For propositions and , write … A finite-premised Horn rule is probabilistically sound when it preserves this conseque…
Paris–Simmons completeness conjecture for System O
Let be a probability measure and let . For propositions and , write … A finite-premised Horn rule is probabilistically sound when it preserves this conseque…