root/logic
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

another L derivation example

Browse source
This commit is contained in:
hi 2025-08-12 03:56:04 +00:00
parent aeb441e06d
commit 0d13b807f0
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
Logic/Language/Impl/L.hs
View file

@ -151,3 +151,12 @@ deriveLExample1 = step5
step3 = Infer2 0 0 step2 step1
step4 = Axiom3 0 [Variable 0] [Variable 1] [Variable 2]
step5 = Infer2 0 0 step4 step3
deriveLExample2 :: Derivation AlphaL
deriveLExample2 = step5
where
step1 = Axiom2 0 [Variable 0] [Open, Variable 0, Arrow, Variable 0, Close]
step2 = Axiom3 0 [Variable 0] [Open, Variable 0, Arrow, Variable 0, Close] [Variable 0]
step3 = Infer2 0 0 step2 step1
step4 = Axiom2 0 [Variable 0] [Variable 0]
step5 = Infer2 0 0 step3 step4