Investigation of Monotonous Properties for Frege Systems
Keyword(s):
In this paper, we investigate the relations between the Frege proof lines of minimal tautologies and the results of substitutions in them. We show that there is a sequence of tautologies ψn, each of which has a unique minimal tautology ϕn, such that for every n the Frege proof lines of ϕn are an order more than the Frege proof lines for ψn.
2018 ◽
Vol 28
(4)
◽
pp. 389-413
Keyword(s):
2006 ◽
Vol 142
(1-3)
◽
pp. 366-379
◽
Keyword(s):
Keyword(s):
2009 ◽
Vol 50
(2)
◽
pp. 193-198
◽
2006 ◽
Vol 134
(5)
◽
pp. 2392-2402
◽
Keyword(s):