Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties.
George VoutsadakisPublished in: Reports Math. Log. (2006)
Keyphrases
- complex systems
- computational models
- mathematical models
- algebraic structure
- biological systems
- expert systems
- probabilistic model
- statistical models
- statistical model
- parameter estimation
- digital circuits
- logic programming
- higher level
- data model
- algebraic structures
- reactive systems
- conservation laws
- neural network
- trading systems
- desirable properties
- intelligent systems
- artificial intelligence
- information retrieval