Volume 43; Issue 6

Archive for Mathematical Logic

Volume 43; Issue 6
1

Proper forcing extensions and Solovay models

Year:
2004
Language:
english
File:
PDF, 171 KB
english, 2004
2

Softness of MALL proof-structures and a correctness criterion with Mix

Year:
2004
Language:
english
File:
PDF, 471 KB
english, 2004
3

What is so special with the powerset operation?

Year:
2004
Language:
english
File:
PDF, 192 KB
english, 2004
4

On normal forms in Łukasiewicz logic

Year:
2004
Language:
english
File:
PDF, 300 KB
english, 2004