Open logic theories

2005 ◽  
pp. 73-88
Author(s):  
Antonio Brogi ◽  
Evelina Lamma ◽  
Paola Mello
Keyword(s):  
Open Logic

scholarly journals CICT: New Eyes on Computational Competence in Computational Science

2018 ◽  
Vol 16 ◽  
pp. 01007
Author(s):  
Rodolfo A. Fiorini
Keyword(s):  
Modeling And Simulation ◽  
Formal Language ◽  
Traditional Approach ◽  
System Modeling ◽  
Computational Modelling ◽  
Computational Science ◽  
Open Logic ◽  
Information Conservation ◽  
Biomedical System ◽  
New Perspective

Science does not exists to enlighten people's minds only. It mainly exists to show the educated way from quanta to qualia. And that way starts from computational competence. In previous papers published elsewhere, we have already shown that traditional Q Arithmetic can be regarded as a highly sophisticated open logic, powerful and flexible bidirectional formal language of languages, according to "Computational Information Conservation Theory" (CICT) new perspective. This new awareness can offer competitive approach to guide more effective and convenient algorithm development and application to arbitrary multiscale (AMS) biomedical system modeling and simulation. An articulated example on function computational modelling is presented and compared to standard, well-known and traditional approach. Results are critically discussed.

Composing Open Logic Programs

1993 ◽  
Vol 3 (4) ◽  
pp. 417-439 ◽  
Author(s):  
ANTONIO BROGI ◽  
EVELINA LAMMA ◽  
PAOLA MELLO
Keyword(s):  
Logic Programs ◽  
Open Logic

The open logic and its relation to circumscription

1999 ◽  
Vol 42 (1) ◽  
pp. 44-53 ◽  
Author(s):  
Zuoquan Lin ◽  
Wei Li
Keyword(s):  
Open Logic

On the decidability of open logic

2009 ◽  
Vol 52 (8) ◽  
pp. 1283-1291 ◽  
Author(s):  
Wei Zhang
Keyword(s):  
Open Logic
Sign in / Sign up

Export Citation Format

Share Document