Hypersequent Calculi for Intermediate Predicate Logics

Authors Takuma Imamura, Shuya Matsumoto, Shin Quawai

Publication date 20 September 2021

Intermediate logics (03B55) Proof theory in general (including proof-theoretic semantics) (03F03) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: We report on the current status of our on-going project to develop well-behaved hypersequent calculi for intermediate predicate logics, such as the linearity axiom

m a t h b f L I N c o l o n l e f t (v a r p h i o p s i i g h t) l o r l e f t (p s i o v a r p h i i g h t)

and the constant domain axiom

m a t h b f C D c o l o n f o r a l l x l e f t (v a r p h i l o r p s i l e f t (x i g h t) i g h t) o v a r p h i l o r f o r a l l x p s i l e f t (x i g h t)

.

This page was built for publication: Hypersequent Calculi for Intermediate Predicate Logics

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