Date of Original Version

1997

Type

Conference Proceeding

Rights Management

All Rights Reserved

Abstract or Description

We present a simple propositional proof system which consists of a single axiom schema and a single rule, and use this system to construct a sequence of combinatorial tautologies that, when added to any Frege system, p-simulates extended-Frege systems.

Included in

Philosophy Commons

Share

COinS