Pages that link to "Item:Q874748"
From MaRDI portal
The following pages link to From fibring to cryptofibring. A solution to the collapsing problem (Q874748):
Displaying 7 items.
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- (Q4217280) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- Another combination of classical and intuitionistic conditionals (Q6659907) (← links)
