metalogic

Just to provide background and foundation to some of the arguments in
discussion :

http://www.newworldencyclopedia.org/entry/Metalogic


Basic Metalogical Properties

Metalogic is the study of formal languages from semantic and syntactic
perspectives. Among the metalogical properties of formal languages, we
will look at some of the most basic and important ones below to get
the sense about what the metalogical properties are like. The list
consists of soundness, completeness (in at least two important
senses), compactness, and decidability.

I take the opportunity to state that 'compactness' in our case may
refer to have
one integreated consistent model, isntead of leaving important bits 'elsewhere'



-- 
Paola Di Maio
School of IT
www.mfu.ac.th
*********************************************

Received on Tuesday, 12 August 2008 12:41:03 UTC