14.246 Well- and illformed metaterms

Prev Up Next Page 717 of 800 Search internet

A term like 1 + All #x : #y is an illformed metaterm because a metaoperator like All #x : #y is not permitted to occur in arguments of object operator like x + y.

As another example, All x : x is illformed because x is no meta-variable. For the precise definition of wellformed metaterms, see the check page.

Prev Up Next Page 717 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05