Logic and conflict-free vector addresses

We prove that the extension of the known hypersequent calculus for standard first-order Gödel logic with usual rules for second-order quantifiers is sound and (cut-free) complete for Henkin-style semantics for second-order Gödel logic. The proof is ...

This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal logic. The sequent calculi and semantics are constructed on the basis of the refutation-aware setting ...

In this paper we propose proof systems without labels for the intuitionistic modal logic IS5 that are based on a new multicontextual sequent structure appropriate to deal with such a logic. We first give a label-free natural deduction system and thus ...