6 search results - page 1 / 2 » Hybridizing a Logical Framework |
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
109
click to vote
LPAR
1999
Springer
15 years 5 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
101
click to vote
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
LPAR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
108
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...