Foundations for the formalization of metamathematics and axiomatizations of consequence theories
Under an Elsevier user license
open archive
MSC
03
01A60
20A05
20A10
Keywords
Formalization of metamathematics
Theory of deductive systems
Classic and nonclassic consequences
Rejection consequence
Cited by (0)
Copyright © 2003 Elsevier B.V. All rights reserved.