1 |
Grounding rules and (hyper-)isomorphic formulas
|
|
|
|
In: ISSN: 1448-5052 ; Australasian Journal of Logic ; https://hal.archives-ouvertes.fr/hal-02515104 ; Australasian Journal of Logic, Australasian Association for Logic, 2020, 17 (1), pp.70-80 (2020)
|
|
BASE
|
|
Show details
|
|
2 |
Dag Prawitz's theory of grounds ; La théorie des grounds de Dag Prawitz
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-02482320 ; Logic [math.LO]. Aix-Marseille Université (AMU); Sapienza University of Rome, 2019. English (2019)
|
|
BASE
|
|
Show details
|
|
|
|