NDJFL
2002
13 years 10 months ago
2002
In any nonstandard model of Peano arithmetic, the standard part is not first order definable. But we show that in some model the standard part is definable as the unique solution ...
NDJFL
2002
13 years 10 months ago
2002
NDJFL
2002
13 years 10 months ago
2002
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
NDJFL
2002
13 years 10 months ago
2002
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for im...
NDJFL
2002
13 years 10 months ago
2002