Volume 57; Issue 1

Notre Dame Journal of Formal Logic

Volume 57; Issue 1
1

Rule-Irredundancy and the Sequent Calculus for Core Logic

Tennant, Neil
Journal:
Notre Dame Journal of Formal Logic
Year:
2016
Language:
english
File:
PDF, 314 KB
english, 2016
2

Categoricity Spectra for Rigid Structures

Fokina, Ekaterina, Frolov, Andrey, Kalimullin, Iskander
Journal:
Notre Dame Journal of Formal Logic
Year:
2016
Language:
english
File:
PDF, 324 KB
english, 2016
3

Reverse Mathematics and Ramsey Properties of Partial Orderings

Corduan, Jared, Groszek, Marcia
Journal:
Notre Dame Journal of Formal Logic
Year:
2016
Language:
english
File:
PDF, 443 KB
english, 2016
4

Reverse Mathematics and the Coloring Number of Graphs

Jura, Matthew
Journal:
Notre Dame Journal of Formal Logic
Year:
2016
Language:
english
File:
PDF, 417 KB
english, 2016
5

Boolean Algebras in Visser Algebras

Alizadeh, Majid, Ardeshir, Mohammad, Ruitenburg, Wim
Journal:
Notre Dame Journal of Formal Logic
Year:
2016
Language:
english
File:
PDF, 281 KB
english, 2016
7

Controlling Effective Packing Dimension of $\Delta^{0}_{2}$ Degrees

Stephenson, Jonathan
Journal:
Notre Dame Journal of Formal Logic
Year:
2016
Language:
english
File:
PDF, 469 KB
english, 2016
8

Note on Extending Congruential Modal Logics

Humberstone, Lloyd
Journal:
Notre Dame Journal of Formal Logic
Year:
2016
Language:
english
File:
PDF, 286 KB
english, 2016
9

Correction

Journal:
Notre Dame Journal of Formal Logic
Year:
2016
Language:
english
File:
PDF, 145 KB
english, 2016