Pages that link to "Item:Q1263573"
From MaRDI portal
The following pages link to Sequent-systems and groupoid models. II (Q1263573):
Displaying 17 items.
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Disjunction and negation in information based semantics (Q2148806) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- SUBSTRUCTURAL INQUISITIVE LOGICS (Q5381041) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)
- Routley star in information-based semantics (Q6659916) (← links)
