Pages that link to "Item:Q2938143"

The following pages link to On the Construction of Analytic Sequent Calculi for Sub-classical Logics (Q2938143):

Displaying 2 items.

• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
• Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)