Pages that link to "Item:Q2446552"

The following pages link to Preservation of Craig interpolation by the product of matrix logics (Q2446552):

Displaying 3 items.

• Event-based time-stamped claim logic (Q2043818) (← links)
• Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
• PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)