The following pages link to Witold A. Pogorzelski (Q195356):
Displaying 25 items.
- A proof system for classical logic (Q813076) (← links)
- A survey of deduction theorems for the propositional calculi (Q1211481) (← links)
- A schema of deduction theorems for the propositional calculus (Q1211482) (← links)
- The deduction theorem for Lukasiewicz many-valued propositional calculi (Q1211488) (← links)
- Some remarks on the concept of completeness of the propositional calculus. I (Q1219263) (← links)
- Concerning the notion of completeness of invariant propositional calculi (Q1844204) (← links)
- Completeness theory for propositional logics (Q2372412) (← links)
- Basic properties of deductive systems based on nonclassical logics. Part I, II (Q2394917) (← links)
- A variant of the proof of the completeness of the first order functional calculus (Q2526927) (← links)
- The adequacy of the theories of deductive systems with respect to sentential calculi (Q2626587) (← links)
- (Q3220554) (← links)
- (Q3325691) (← links)
- (Q3669345) (← links)
- (Q3728877) (← links)
- (Q3916544) (← links)
- (Q4055982) (← links)
- Structural completeness of the first‐order predicate calculus (Q4071202) (← links)
- (Q4101787) (← links)
- (Q4133590) (← links)
- (Q4769038) (← links)
- (Q4774012) (← links)
- (Q4774014) (← links)
- On the scope of the classical deduction theorem (Q5565073) (← links)
- (Q5616120) (← links)
- \(Cn\)-definitions of propositional connectives (Q5939995) (← links)
