On normal forms in Łukasiewicz logic.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 6, p. 795, doi. 10.1007/s00153-004-0230-6
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2004 AND VI 43 AND IP 6
Results: 4
1
2
What is so special with the powerset operation?
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 6, p. 723, doi. 10.1007/s00153-004-0229-z
- By:
- Publication type:
- Article
3
Proper forcing extensions and Solovay models.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 6, p. 739, doi. 10.1007/s00153-003-0210-2
- By:
- Publication type:
- Article
4
Softness of MALL proof-structures and a correctness criterion with Mix.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 6, p. 751, doi. 10.1007/s00153-004-0222-6
- By:
- Publication type:
- Article