Searched +path:propositional +path:proof_theory (Results 1 - 13 of 13) sorted by relevance

/hets/Framework/specs/logics/propositional/proof_theory/
H A Dbase.elf
H A Dbase.omdoc
H A Dderived.elf
H A Dderived.omdoc
H A Diprop.elf
H A Diprop.omdoc
H A Dminimal-prop.elf
H A Dminimal.elf
H A Dmodules.elf
H A Dmodules.omdoc
H A Dprop.elf
H A Dprop.omdoc
H A Dtableaux.elf

Completed in 10 milliseconds