2500 search results - page 25 / 500 » Logical Semantics of Modularisation |
JAPLL
2007
14 years 10 months ago
2007
In this paper we introduce Fresh Logic, a natural deduction style first-order logic extended with term-formers and quantifiers derived from the model of names and binding in abst...
CADE
1998
Springer
15 years 2 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...
LOGCOM
2010
14 years 9 months ago
2010
All promiment examples of first-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisfiab...
ASP
2003
Springer
15 years 4 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
LPNMR
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...