Sequent-systems and groupoid models. II

DOI10.1007/BF00370633MaRDI QIDQ1263573zbMATH OpenOpenAlexFDO

Authors 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

completenesscorrespondencerelevant logicKripke framegroupoid framesJohansson logic

Mathematics Subject Classification ID

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

Recommendations

• Sequent-systems and groupoid models. I
• Models for relevant modal logics
• Operational semantics for positive R
• Duality for algebras of relevant logics
• Further Results on Proof Theories For Semilattice Logics

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)