746 search results - page 30 / 150 » Connectionist Propositional Logic |
APAL
2008
14 years 10 months ago
2008
A propositional logic of explicit proofs, LP, was introduced in [2], completing a project begun long ago by G
RELMICS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...
FORMATS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
JSYML
2007
14 years 10 months ago
2007
The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete ...
KR
2010
Springer
15 years 2 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...