Sequent-systems and groupoid models. I

DOI10.1007/BF00671566MaRDI QIDQ1119625zbMATH OpenOpenAlexFDO

Authors Kosta Došen

Publication date 1988

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

cut-free sequent calculusHeyting logicgroupoid modelsnon-classical propositional logicsurlogs

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Sequent-systems and groupoid models. II
• Extensions of Lambek calculi
• On semilattice relevant logics
• Cut elimination and strong separation for substructural logics: an algebraic approach
• scientific article; zbMATH DE number 1823879

Cites work

• scientific article; zbMATH DE number 3683583 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3598466 (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?)
• A Completeness Theorem for the Lambek Calculus of Syntactic Categories
• Completeness Results for Lambek Syntactic Calculus
• Logics without the contraction rule
• Models for entailment
• Semantics for relevant logics
• Sequent-systems for modal logic
• The Mathematics of Sentence Structure
• The semantics of entailment. II
• The semantics of entailment. III
• Untersuchungen über das logische Schliessen. I

Cited in

(35)

• SUBSTRUCTURAL INQUISITIVE LOGICS
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• Tableau method for residuated logic
• The first axiomatization of relevant logic
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• Multimodal linguistic inference
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Normal modal substructural logics with strong negation
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• Substructural negations as normal modal operators
• Functional completeness for subsystems of intuitionistic propositional logic
• Universal proof theory: semi-analytic rules and Craig interpolation
• Modal logic as metalogic
• On S
• Linear and affine logics with temporal, spatial and epistemic operators
• On canonicity of poset expansions
• Sequent-systems and groupoid models. II
• Undecidability of consequence relation in full non-associative Lambek calculus
• The nature of entailment: an informational approach
• Uniform interpolation in substructural logics
• Labeled Fitch-style natural deduction for basic intuitionistic conditional logic
• Algebraic Kripke-style semantics for relevance logics
• Residuated structures and orthomodular lattices
• Canonicity results of substructural and lattice-based logics
• External curries
• Internal and external calculi: ordering the jungle without being lost in translations
• Meeting strength in substructural logics
• Modal translations in substructural logics
• Proof-theoretic pluralism
• Informational interpretation of substructural propositional logics
• Revisiting Semilattice Semantics
• Disentangling structural connectives or life without display property
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Displacement logic for anaphora
• A note on Kripke semantics for residuated logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1119625)