104 search results - page 6 / 21 » Computing interpolants in implicational logics |
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
BIRTHDAY
2005
Springer
14 years 29 days ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
In this paper we present an ecient technique to reduce the switching activity in a CMOS combinational logic network based on local logic transformations. These transformations con...
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract: The aim of this work is to analyze the relationship between interval QL-implications and interval D-implications, studying some properties that relate these concepts. We ...