The following pages link to On meet-combination of logics (Q4902315):
Displaying 8 items.
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Conservative translations revisited (Q6156208) (← links)