Home//Concepts/Premise

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Concept

Premise

Modified just now

Books

Chapter 3. Untyped arithmetic expressions

JourneyProgramming Language Theory Statuslearning Tags

logic

An antecedent judgment in an Inference rule that must be Derivable for the rule to derive its Conclusion.

Previous in ConceptsPredicate type Next in Concepts Preorder

Books

Chapter 3. Untyped arithmetic expressions

JourneyProgramming Language Theory

Statuslearning

Tags

logic