The following pages link to (Q4487294):
Displaying 6 items.
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- Logical foundation of the quintuple implication inference methods (Q1726231) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Implicative logics, Lambek systems and exponential multicategories (Q2751816) (← links)
- (Q3732989) (← links)
- Characterization of protoalgebraic k-deductive systems (Q4586420) (← links)