@dblp

Maximal consistent sets of instances of Tarski's schema (T).

. J. Philosophical Logic, 21 (3): 235-241 (1992)

Links and resources

Tags