Category:Logic Basis

This category covers the basic logic bases underlying the Open Semantic Framework.