are there logics based on consistency "up to n proof steps"?

Printable View