193 search results - page 5 / 39 » A Paraconsistent Higher Order Logic |
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
130
click to vote
FTP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
TPHOL
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
119
click to vote
CL
2000
Springer
15 years 1 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...