Hypersequent and labelled calculi for intermediate logics
From MaRDI portal
Recommendations
- Intermediate logics admitting a structural hypersequent calculus
- Hypersequent calculi for some intermediate logics with bounded Kripke models
- Hypersequents, logical consequence and intermediate logics for concurrency
- Proof analysis in intermediate logics
- Hypersequent and display calculi -- a unified perspective
Cited in
(20)- Hypersequents, logical consequence and intermediate logics for concurrency
- Compositional meaning in logic
- Hyper-MacNeille completions of Heyting algebras
- From axioms to synthetic inference rules via focusing
- Herzberger's limit rule with labelled sequent calculus
- Hypersequent and display calculi -- a unified perspective
- Intermediate logics admitting a structural hypersequent calculus
- Hypersequent calculi for some intermediate logics with bounded Kripke models
- scientific article; zbMATH DE number 1612549 (Why is no real title available?)
- Tools for the investigation of substructural and paraconsistent logics
- Hypersequent rules with restricted contexts for propositional modal logics
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- Embedding formalisms: hypersequents and two-level systems of rules
- Hypersequent Calculi for Godel Logics -- a Survey
- A formal framework for hypersequent calculi and their fibring
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- Labelled tree sequents, tree hypersequents and nested (deep) sequents
- Labeled Sequent Calculus for Orthologic
- Internal and external calculi: ordering the jungle without being lost in translations
- Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
This page was built for publication: Hypersequent and labelled calculi for intermediate logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851936)
