Category:Logic Basis

This category covers the basic logic bases underlying the open semantic framework.