Sequent-systems and groupoid models. II

DOI10.1007/BF00370633zbMath0688.03012OpenAlexW2003452157MaRDI QIDQ1263573

Kosta Došen

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370633

zbMATH Keywords

completenessrelevant logiccorrespondenceKripke framegroupoid framesJohansson logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (15)

A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ A Note on Extensions: Admissible Rules via Semantics ⋮ Disjunction and negation in information based semantics ⋮ Extending the Curry-Howard interpretation to linear, relevant and other resource logics ⋮ Proof-theoretic pluralism ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ On canonicity of poset expansions ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ Supervenience, Dependence, Disjunction ⋮ Revisiting Semilattice Semantics ⋮ Informational interpretation of substructural propositional logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models for entailment
• The semantics of entailment. III
• Logics without the contraction rule
• Completeness Results for Lambek Syntactic Calculus
• Semantics for relevant logics
• Representations of Lattices by Sets

This page was built for publication: Sequent-systems and groupoid models. II