3047 search results - page 95 / 610 » On the Meaning of Logical Completeness |
113
Voted
DLT
2010
15 years 2 months ago
2010
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
100
Voted
AAAI
1990
15 years 2 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
90
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
79
Voted
LOGCOM
2002
15 years 14 days ago
2002
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...
107
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...