Pages that link to "Item:Q1119625"
From MaRDI portal
The following pages link to Sequent-systems and groupoid models. I (Q1119625):
Displaying 26 items.
- Displacement logic for anaphora (Q386040) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- External curries (Q496329) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- A note on Kripke semantics for residuated logic (Q678998) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- The first axiomatization of relevant logic (Q1206805) (← links)
- Modal logic as metalogic (Q1314285) (← links)
- On S (Q1317902) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Tableau method for residuated logic (Q1357163) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- Multimodal linguistic inference (Q1923840) (← links)
- Residuated structures and orthomodular lattices (Q2062191) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
