search

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

Structural Axioms #29

Open greenTara opened 11 years ago

greenTara commented 11 years ago

Informative Annex that includes the axiomatization of useful 'structural' axioms eg arity of relations, allDifferent, etc.. which are ontologically neutral