Sequent-systems and groupoid models. I

DOI10.1007/BF00671566zbMath0671.03018OpenAlexW4239173363MaRDI QIDQ1119625

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

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

Related Items (28)

Linear and affine logics with temporal, spatial and epistemic operators ⋮ Meeting strength in substructural logics ⋮ A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ Tableau method for residuated logic ⋮ UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Multimodal linguistic inference ⋮ Displacement logic for anaphora ⋮ Extending the Curry-Howard interpretation to linear, relevant and other resource logics ⋮ Disentangling structural connectives or life without display property ⋮ The nature of entailment: an informational approach ⋮ Proof-theoretic pluralism ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Normal modal substructural logics with strong negation ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ On canonicity of poset expansions ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ External curries ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ A note on Kripke semantics for residuated logic ⋮ Modal translations in substructural logics ⋮ The first axiomatization of relevant logic ⋮ Functional completeness for subsystems of intuitionistic propositional logic ⋮ Residuated structures and orthomodular lattices ⋮ UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS ⋮ Modal logic as metalogic ⋮ On S ⋮ Revisiting Semilattice Semantics ⋮ Informational interpretation of substructural propositional logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models for entailment
• The semantics of entailment. II
• The semantics of entailment. III
• Untersuchungen über das logische Schliessen. I
• The Mathematics of Sentence Structure
• A Completeness Theorem for the Lambek Calculus of Syntactic Categories
• Logics without the contraction rule
• Completeness Results for Lambek Syntactic Calculus
• Sequent-systems for modal logic
• Semantics for relevant logics

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