Changes

Jump to navigation Jump to search
no edit summary
|Title=Deduction of Local Action Availability theorem (Allen-2023)
|Premises=Local Action Availability (Allen-2023), The Law of Norm Employment (Rawleigh-2022)
|Formulation Text=The ''local action availability'' theorem is a deductive consequence of the ''law of norm employment'' and the definition of ''local action availability''
|Diagram File=Local Action Availability theorem Deduction (Allen-2023).png
|Authors List=Joshua Allen

Navigation menu