Recommendations
Cites work
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1028829 (Why is no real title available?)
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- Completeness Results for Lambek Syntactic Calculus
- Logics without the contraction rule
- Models for entailment
- Representations of Lattices by Sets
- Semantics for relevant logics
- The semantics of entailment. III
Cited in
(19)- SUBSTRUCTURAL INQUISITIVE LOGICS
- scientific article; zbMATH DE number 1163926 (Why is no real title available?)
- Sequent-systems and groupoid models. I
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Investigations into a left-structural right-substructural sequent calculus
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
- Disjunction and negation in information based semantics
- On canonicity of poset expansions
- Algebraic Kripke-style semantics for relevance logics
- Canonicity results of substructural and lattice-based logics
- Supervenience, dependence, disjunction
- Grishin algebras and cover systems for classical bilinear logic
- Proof-theoretic pluralism
- Routley star in information-based semantics
- Informational interpretation of substructural propositional logics
- Revisiting Semilattice Semantics
- A note on extensions: admissible rules via semantics
This page was built for publication: Sequent-systems and groupoid models. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1263573)