Derivability

• Autorzy: Stępień T.
• Języki publikacji: EN

Abstrakty

EN

The basic notion connected with the structural completeness is the notion of derivability (see [1] and [2]). Thus in this paper we give a sufficient and necessary condition of derivability of any structural and permissible rules in an arbitrary but fixed over-system of the classical predicate calculus. In consequence we establish the scope of the structural completeness in the class of all over-system of the classical predicate calculus.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 1999
• Tom: No. 33
• Strony: 79--98

Twórcy

autor

Stępień T.

• Akademia Pedagogiczna ul. Podchorążych 2 30-084 Kraków