Pages that link to "Item:Q3133188"

The following pages link to On the characterization of fibred logics, with applications to conservativity and finite-valuedness (Q3133188):

Displaying 5 items.

• Locally tabular \(\neq \) locally finite (Q1682298) (← links)
• Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
• Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
• Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
• Plug and Play Negations (Q3305346) (← links)