1814 search results - page 105 / 363 » Extended First-Order Logic |
121
click to vote
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
115
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...
137
click to vote
HIS
2004
15 years 4 months ago
2004
Many researchers have observed that neurons process information in an imprecise manner - if a logical inference emerges from neural computation, it is inexact at best. Thus, there...
FLAIRS
2006
15 years 4 months ago
2006
In this paper, we describe curricular materials that use the game of Clue to teach basic concepts of propositional logic. While there are many ways of teaching concepts of logic, ...
111
click to vote
JSYML
2007
15 years 3 months ago
2007
We give an exponential lower bound on number of proof-lines in the proof system K of modal logic, i.e., we give an example of K-tautologies 1, 2, . . . s.t. every K-proof of i must...