Abstract In this paper we discuss sequent calculi for the propositional fragment of logic HYPE. The HYPE was recently suggested by Leitgeb ( Journal Philosophical Logic 48:305–405, 2019) as a hyperintensional contexts. On one hand introduce simple $$\mathbf{G1}$$ G 1 -s...

Short-circuit evaluation denotes the semantics of propositional connectives in which second argument is evaluated only if first insufficient to determine value expression. Compound statements are from left right. widely used programming, with negation and sequential conjunction disjunction as primitives. We study question laws axiomatise short-circuit evaluation. In MSCL (memorising logic), ato...

We characterize provability in intuitionistic logic with equality in terms of a constraint calculus. This characterization uncovers close connections between provability in intuitionistic logic with equality and solutions to simultaneous rigid E-uniication. We show that the problem of existence of a sequent proof with a given skeleton is polynomial-time equivalent to simultaneous rigid E-uniiab...