BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
rule (2)
logic (2)
theori (2)
modal (1)
fuzzi (1)

Stem hypersequ$ (all stems)

3 papers:

IJCARIJCAR-2014-Lellmann #axiom #strict #theory and practice
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications (BL), pp. 307–321.
LICSLICS-2013-Lahav #logic
From Frame Properties to Hypersequent Rules in Modal Logics (OL), pp. 408–417.
CSLCSL-2000-BaazZ #fuzzy #logic #proving
Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic (MB, RZ), pp. 187–201.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.