The method of hypersequents in the proof theory of propositional non-classical logics

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationLogic: From Foundations to Applications: European Logic Colloquium
Editors Wilfrid Hodges
PublisherOxford University Press
Pages1-32
Number of pages32
ISBN (Print)0198538626
StatePublished - 1996
EventLogic Colloquium '93 - University of Keele, Staffordshire, United Kingdom
Duration: 20 Jul 199329 Jul 1993

Publication series

NameOxford Sci. Publ.
PublisherOxford Univ. Press, New York

Conference

ConferenceLogic Colloquium '93
Country/TerritoryUnited Kingdom
Period20/07/9329/07/93

Cite this