421 search results - page 25 / 85 » CSL |
CSL
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we investigate the purely logical rule of term induction, i.e. induction deriving numerals instead of arbitrary terms. In this system it is not possible to bound the ...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001
CSL
2000
Springer
14 years 25 days ago
2000
Springer
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
CSL
2000
Springer
14 years 25 days ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...