Next
Prev
Up
2.2
Further properties of Diamond-i and Box-i
ImpDi
NotDiFalse
DiState
StateChop
StateChopExportA
StateAndChopImport
StateAndChop
StateAndEmptyChop
StateAndNextChop
NextStateAndChop
StateYieldsEqv
StateAndDi
DiNext
DiNextState
StateImpBiGen
ChopAndNotChopImp
ChopAndYieldsImp
ChopAndYieldsMP
OrYieldsImp
LeftYieldsImpYields
LeftYieldsEqvYields
StateImpYields
StateAndYieldsImpYields
AndYieldsA
AndYieldsB
RightYieldsImpYields
RightYieldsEqvYields
BoxImpYields
BoxEqvTrueYields
YieldsGen
YieldsAndYieldsEqvYieldsAnd
YieldsAndYieldsImpAndYieldsAnd
YieldsYieldsEqvChopYields
EmptyYields
NextYields
SkipChopEqvNext
SkipYieldsEqvWeakNext
NextImpSkipYields
MoreEqvSkipChopTrue
MoreChopImpMore
ChopMoreImpMore
MoreChopEqvNextDiamond
NotEqvYieldsMore
LeftChopImpMoreRule
RightChopImpMoreRule
NotDiEqvBiNot
ChopImpDi
TrueEqvTrueChopTrue
DiEqvDiDi
BiEqvBiBi
DiOrEqv
DiAndA
DiAndB
DiAndImpAnd
DiSkipEqvMore
DiMoreEqvMore
DiIfEqvRule
DiEmpty
Next
Prev
Up
2023-09-12
Contact
|
Home
|
ITL home
|
Course
|
Proofs
|
Algebra
|
FL
© 1996-2023