Searched +path:logics +path:propositional (Results 1 - 25 of 40) sorted by relevance

12

/hets/Framework/specs/logics/propositional/model_theory/
H A Dbase-zf.elf
H A Dbase.elf
H A Dbase.omdoc
H A Dbool-zf.elf
H A Dbool.elf
H A Dbool.omdoc
H A Dmodules-zf.elf
H A Dmodules.elf
H A Dmodules.omdoc
H A Dprop-zf.elf
H A Dprop.elf
H A Dprop.omdoc
H A Dpropmod.elf
/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

Completed in 9 milliseconds

12