The following pages link to (Q3367293):
Displaying 8 items.
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Merging fragments of classical logic (Q1687564) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic (Q3111793) (← links)
- (Q3312204) (← links)
- (Q3813790) (← links)
- (Q4362967) (← links)
- (Q5692434) (← links)