Volume 43; Issue 4

Notre Dame Journal of Formal Logic

Volume 43; Issue 4
1

On Bounded Type-Definable Equivalence Relations

Newelski, Ludomir, Krupi?ski, Krzysztof
Journal:
Notre Dame Journal of Formal Logic
Year:
2002
Language:
english
File:
PDF, 192 KB
english, 2002
2

The Expressive Truth Conditions of Two-Valued Logic

Pollard, Stephen
Journal:
Notre Dame Journal of Formal Logic
Year:
2002
Language:
english
File:
PDF, 146 KB
english, 2002
3

Intuitionistic Completeness and Classical Logic

McCarty, D. C.
Journal:
Notre Dame Journal of Formal Logic
Year:
2002
Language:
english
File:
PDF, 107 KB
english, 2002
4

Investigations into Quantified Modal Logic

Stephanou, Yannis
Journal:
Notre Dame Journal of Formal Logic
Year:
2002
Language:
english
File:
PDF, 297 KB
english, 2002