The following pages link to (Q4822149):
Displaying 6 items.
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- Distributive-lattice semantics of sequent calculi with structural rules (Q1931305) (← links)
- Many-place sequent calculi for finitely-valued logics (Q1931344) (← links)
- Optimization of sequent calculi for finite-valued logics with equality determinant (Q2896493) (← links)
- Subquasivarieties of implicative locally-finite quasivarieties (Q3066295) (← links)
- (Q5430379) (← links)