14 search results - page 2 / 3 » ndjfl 2000 |
NDJFL
1998
13 years 4 months ago
1998
We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi
NDJFL
2000
13 years 4 months ago
2000
Abstract This paper concerns the epistemic status of "Hume's principle"-the assertion that for any concepts Fand G, the number of Fs is the same as the number of Gs ...
NDJFL
1998
13 years 4 months ago
1998
A linear order is n-decidable if its universe is N and the relations determined by n formulas are uniformly computable. This means that there is a computable procedure which, when ...
NDJFL
2000
13 years 4 months ago
2000
Frege, famously, held that there is a close connection between our concept of cardinal number and the notion of one-one correspondence, a connection enshrined in Hume's Princi...
NDJFL
1998
13 years 4 months ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...