Pages that link to "Item:Q4451732"
From MaRDI portal
The following pages link to Modulated fibring and the collapsing problem (Q4451732):
Displaying 12 items.
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Essential structure of proofs as a measure of complexity (Q2183713) (← links)
- Interpolation via translations (Q3184216) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- (Q4217280) (← links)
- Fibring Modal First-Order Logics: Completeness Preservation (Q4779584) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Conservative translations revisited (Q6156208) (← links)
