Home//Concepts/Axiom rule proper rule

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

Axiom rule proper rule

Modified just now

JourneyProgramming Language Theory Statuslearning

An Axiom is an Inference rule with no premise.

Previous in ConceptsAxiom inference rule Next in Concepts Axiomatic semantics

JourneyProgramming Language Theory

Statuslearning