Logiweb(TM)

14.185 Invalid proclamation

Prev Up Next Page 656 of 800 Search internet


Origin: lgc. Landing-place: terminal.

A proclamation has a left and a right hand side. The left hand side of a proclamation is the symbol being proclaimed. The right hand side is a string which indicates which meaning is assigned to the symbol.

A proclamation must satisfy a long list of requirements for being valid. Among other, the string of the right hand side must be one of the nine strings which are valid for proclamations, the symbol on the left hand side must have an arity which matches the string, and the symbol on the left hand side must belong to the page on which the proclamation occurs. The nine valid strings are:

apply (arity 2)
Used to proclaim a symbol to denote functional application of lambda calculus / map theory.
lambda (arity 2)
Used to proclaim a symbol to denote lambda abstraction of lambda calculus / map theory.
true (arity 0)
Used to proclaim a symbol to denote truth of map theory.
if (arity 3)
Used to proclaim a symbol to denote selection (if-then-else) of map theory.
quote (arity 1)
Used to proclaim a symbol to denote quoting (Gödel brackets).
proclaim (arity 2)
Used to proclaim that a symbol acts as a proclamation symbol during harvesting.
define (arity 3)
Used to proclaim that a symbol acts as a definition symbol during harvesting.
introduce (arity 3)
Used to proclaim that a symbol acts as an introduction symbol during harvesting.
hide (arbitrary arity)
Used to proclaim that a symbol acts as an hiding symbol during harvesting. During harvesting, if the harvester meets a hiding symbol, it does not harvest the subtrees of the hiding symbol.

Prev Up Next Page 656 of 800 Search logiweb.eu

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