Logic Journal of the IGPL 13 (1):29-46 (2005)

Abstract
We consider a paradigm of applications of Logic Engineering to illustrate the information interchange among different areas of knowledge, through the formal approach to some aspects of computing. We apply the paradigm to the area of distributed systems, taking the demand for specification formalisms, treated in three areas of knowledge: modal logics, first-order logic and algebra. In doing so, we obtain transfer of intuitions and results, establishing that, as far as input/output representation is concerned, these three formalisms are equivalent
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzi003
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,226
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Some Problems in the Logic of Scientific Knowledge.P. V. Tavanets & V. S. Shvyrev - 1962 - Russian Studies in Philosophy 1 (3):33-41.
On Positive Relational Calculi.Renata de Freitas, Paulo Veloso, Sheila Veloso & Petrucio Viana - 2007 - Logic Journal of the IGPL 15 (5-6):577-601.
Second-Order Reasoning in Description Logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.

Analytics

Added to PP index
2015-02-04

Total views
8 ( #1,003,213 of 2,499,678 )

Recent downloads (6 months)
1 ( #418,206 of 2,499,678 )

How can I increase my downloads?

Downloads

My notes