1486 search results - page 82 / 298 » A Logically Saturated Extension of |
220
click to vote
AML
2011
15 years 23 days ago
2011
We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property. Dedicated to Petr H´ajek, on the occasion of his...
148
click to vote
LICS
2009
IEEE
16 years 11 days ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
183
click to vote
FOSSACS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
152
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
157
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...