45 search results - page 2 / 9 » apal 2010 |
APAL
2010
13 years 4 months ago
2010
APAL
2010
13 years 4 months ago
2010
We prove that if S is an -model of weak weak K
APAL
2010
13 years 4 months ago
2010
We say that is
APAL
2010
13 years 4 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
APAL
2010
13 years 4 months ago
2010
In an earlier paper (MLQ 54, 128