Back to Search Start Over

Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle

Authors :
Panic, N.
Pozzato, G. L.
Publication Year :
2022
Publisher :
CEUR-WS, 2022.

Subjects

Subjects :
proof methods
sequent calculi
theorem proving
conditional logics

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.od.......970..6dee76e426d2839e5192bc06722cb6d9

Tools

Authors Abstract Subjects Details