Searched path:logics (Results 1 - 25 of 108) sorted by relevance

12345

/hets/Framework/specs/logics/comorphism/
H A Dprop2folmod.elf
H A Dprop2folmod.omdoc
H A Dprop2folpf.elf
H A Dprop2folpf.omdoc
H A Dprop2folsyn.elf
H A Dprop2folsyn.omdoc
/hets/Framework/specs/logics/first-order/model_theory/
H A Dbase-zf.elf
H A Dbase.elf
H A Dfol-zf.elf
H A Dfol.elf
H A Dfolmod.elf
H A Dmodules-zf.elf
H A Dmodules.elf
H A Dsfol-zf.elf
H A Dsfol.elf
H A Duniverse-zf.elf
H A Duniverse.elf
/hets/Framework/specs/logics/first-order/proof_theory/
H A Dbase.elf
H A Dderived.elf
H A Ddfol.elf
H A Dfol.elf
H A Difol.elf
H A Dmodules.elf
H A Dsfol.elf
H A Dsifol.elf

Completed in 8 milliseconds

12345