Completeness of Åqvist's Systems E and F

Xavier Parent. Completeness of Åqvist's Systems E and F. Rew. Symb. Logic, 8(1):164-177, 2015. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: