503 search results - page 4 / 101 » Interpolative Boolean Logic |
FUZZY
1999
Springer
13 years 9 months ago
1999
Springer
ENTCS
2008
13 years 5 months ago
2008
We study sequent calculi for propositional modal logics, interpreted over coalgebras, with admissibility of cut being the main result. As applications we present a new proof of th...
ENTCS
2007
13 years 5 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
SLP
1993
13 years 6 months ago
1993
We present a boolean constraint logic language clp(B/FD) built upon a language over finite domains clp(FD) which uses a local propagation constraint solver. It is based on a sing...
RELMICS
1998
Springer
13 years 9 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...