Logical Analysis Axiomatization

Axioms for the Ontology Values

• The "positive" part and some of the "negative" part
• Some example axioms

Axioms for Ontology Relationships

• α isa β, e.g., WTH isa THM
• α nota β, e.g., THM nota SAT
• α nevera β, e.g., SAT nevera CAX
• α xora β, e.g., THM xora CSA
• The axioms

Axioms for Formulae and Models

• Properties of models of formulae
• Existence of formulae with model properties
• The axioms