Pages that link to "Item:Q2732291"
From MaRDI portal
The following pages link to Fibring: completeness preservation (Q2732291):
Displaying 8 items.
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- On combined connectives (Q1941724) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Interpolation via translations (Q3184216) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
