The following pages link to Martin W. Bunder (Q591019):
Displayed 50 items.
- Predicate calculus of arbitrarily high finite order (Q3309804) (← links)
- (Q3320374) (← links)
- A one axiom set theory based on higher order predicate calculus (Q3322072) (← links)
- Set theory in predicate calculus with equality (Q3322073) (← links)
- Category theory based on combinatory logic (Q3335754) (← links)
- (Q3335783) (← links)
- (Q3335784) (← links)
- (Q3335785) (← links)
- (Q3352995) (← links)
- (Q3360942) (← links)
- (Q3466593) (← links)
- (Q3466620) (← links)
- (Q3472081) (← links)
- (Q3472082) (← links)
- (Q3475243) (← links)
- On adding (<i>ξ</i>) to weak equality in combinatory logic (Q3480014) (← links)
- Are there Hilbert-style Pure Type Systems? (Q3518266) (← links)
- (Q3585240) (← links)
- Some Rough Consequence Logics and their Interrelations (Q3600297) (← links)
- (Q3691634) (← links)
- (Q3701424) (← links)
- (Q3752369) (← links)
- (Q3760500) (← links)
- (Q3760537) (← links)
- (Q3803094) (← links)
- Equality in 𝔉 with Restricted Subjects (Q3855148) (← links)
- (Q3855149) (← links)
- (Q3863855) (← links)
- (Q3890660) (← links)
- (Q3890668) (← links)
- (Q3898468) (← links)
- (Q3898469) (← links)
- Predicate calculus and naive set theory in pure combinatory logic (Q3926550) (← links)
- (Q3927250) (← links)
- (Q3927251) (← links)
- Some Results in Aczel‐Feferman Logic and Set Theory (Q3960841) (← links)
- (Q4007082) (← links)
- Some Inconsistencies in Illative Combinatory Logic (Q4053619) (← links)
- (Q4068797) (← links)
- Commutative non-associative number theory (Q4103713) (← links)
- (Q4154628) (← links)
- Consistency notions in illative combinatory logic (Q4161296) (← links)
- On the inconsistency of systems similar to (Q4175262) (← links)
- Some anomalies in Fitch's system <i>QD</i> (Q4196398) (← links)
- (Q4207885) (← links)
- (Q4212182) (← links)
- (Q4218026) (← links)
- Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic (Q4227871) (← links)
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
- (Q4294469) (← links)