Abstract | ||
---|---|---|
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, several propositional monomodal logics, propositional and first-order dynamic logic, and propositional and first-order linear temporal logic in the theory of fork algebras. In this paper we formalize these interpretability results as institution representations from the institution of the corresponding logics to that of fork algebra. We also advocate for the institution of fork algebras as a sufficiently rich universal institution into which institutions meaningful in software development can be represented. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11784180_19 | AMAST |
Keywords | Field | DocType |
research topic,rich universal institution,first-order dynamic logic,classical first-order logic,corresponding logic,institution representation,propositional monomodal logic,fork algebra,first-order linear temporal logic,computational logic,first order,first order logic,dynamic logic,linear temporal logic,software development | Fork (system call),T-norm fuzzy logics,Discrete mathematics,Algebra,Computer science,Propositional calculus,Linear temporal logic,Theoretical computer science,First-order logic,Classical logic,Monoidal t-norm logic,Propositional variable | Conference |
Volume | ISSN | ISBN |
4019 | 0302-9743 | 3-540-35633-9 |
Citations | PageRank | References |
2 | 0.38 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carlos G. Lopez Pombo | 1 | 144 | 8.51 |
Marcelo F. Frias | 2 | 295 | 35.57 |