45 search results - page 2 / 9 » apal 2010 |
62
Voted
APAL
2010
14 years 10 months ago
2010
87
Voted
APAL
2010
14 years 10 months ago
2010
We prove that if S is an -model of weak weak K
67
Voted
APAL
2010
14 years 10 months ago
2010
We say that is
65
Voted
APAL
2010
14 years 10 months ago
2010
We present a setting in which the search for a proof of B or a refutation of B (i.e., a proof of
59
Voted
APAL
2010
14 years 10 months ago
2010
In an earlier paper (MLQ 54, 128