Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

LICS
1994
IEEE

favoriteEmaildiscussreport

95views Automated Reasoning» more LICS 1994»

A General Semantics for Evaluation Logic

13 years 8 months ago

A General Semantics for Evaluation Logic

Download www.disi.unige.it

The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requirement on strong monads, at the expense of stronger assumptions on the underlying category (consistently with Synthetic Domain Theory). In addition, we investigate several canonical interpretations for necessity, criteria for discriminating among them, and their relations with the original semantics of Evaluation Logic and Reyes' topos-theoretic semantics of Modal Logics.

Eugenio Moggi

Real-time Traffic

Automated Reasoning | Evaluation Logic | LICS 1994 | Original Semantics | Strong Monads |

claim paper

Related Content

» Extensional normalisation and typedirected partial evaluation for typed lambda calculus wi...

» Semantics for Dynamic Logic Programming A PrincipleBased Approach

» Evaluating Significance of Inconsistencies

» An Operational Approach to Combining Classical Set Theory and Functional Programming Langu...

» Modeling generalized implicatures using nonmonotonic logics

» Ontology Integration Using Mappings Towards Getting the Right Logical Consequences

» Reducts of Propositional Theories Satisfiability Relations and Generalizations of Semantic...

» Safe FoldingUnfolding with Conditional Narrowing

» Multilattices as a Basis for Generalized Fuzzy Logic Programming

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	LICS
Authors	Eugenio Moggi

Comments (0)