Bureaucrats, Comment administrators, editor, Interface administrators, Administrators (Semantic MediaWiki), Curators (Semantic MediaWiki), Suppressors, Administrators, Widget editors
11,019
edits
Changes
Jump to navigation
Jump to search
Local Action Availability theorem (Allen-2023) Reason1 (view source)
Revision as of 10:44, 17 January 2024
, 17 Januaryno edit summary
|Conclusion=Local Action Availability theorem (Allen-2023)
|Title=Deduction of Local Action Availability theorem (Allen-2023)
|Premises=Local Action Availability (Allen-2023), The Law of Norm Employment (Rawleigh-2022), Local Action Availability (Allen-2023)|Formulation Text=
|Diagram File=Local Action Availability theorem Deduction (Allen-2023).png
|Authors List=Joshua Allen
|Formulated Year=2023
|Description=Allen shows that the theorem is a deductive consequence of the ''law of norm employment'' and the definition of ''local action availability''.
{{PrintDiagramFile|diagram file=Local Action Availability theorem Deduction (Allen-2023).png}}
|Resource=Allen (2023)
|Page Status=Stub
|Editor Notes=
}}
