4370 search results - page 17 / 874 » Algebra of Logic Programming |
124
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
152
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
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, seve...
EUSFLAT
2009
15 years 1 months ago
2009
127
Voted
NDJFL
1998
15 years 3 months ago
1998
We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi