About
2
Publications
360
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
0
Citations
Publications
Publications (2)
We report on the current status of our ongoing project to develop well-behaved hypersequent calculi for intermediate predicate logics, such as the linearity axiom LIN: (φ→ ψ)∨(ψ →φ) and the constant domain axiom CD: ∀x(φ∨ψ(x))→φ∨∀xψ(x).
We report on the current status of our ongoing project to develop well-behaved hypersequent calculi for intermediate predicate logics, such as the linearity axiom LIN : (φ→ ψ) ∨ (ψ →φ) and the constant domain axiom CD : ∀x (φ ∨ ψ (x)) → φ ∨ ∀x ψ (x).
