Negative translations and normal modality
T Litak, M Polzer, U Rabenstein - 2nd international conference on …, 2017 - drops.dagstuhl.de
We discuss the behaviour of variants of the standard negative translations-Kolmogorov,
Gödel-Gentzen, Kuroda and Glivenko-in propositional logics with a unary normal modality …
Gödel-Gentzen, Kuroda and Glivenko-in propositional logics with a unary normal modality …
Adapting type theory with records for natural language semantics
R Cooper - Modern perspectives in type-theoretical semantics, 2017 - Springer
In this paper we will go through the version of type theory TTR (Type Theory with Records)
that we have proposed in a number of publications (including, Cooper, Res Lang Comput, 3 …
that we have proposed in a number of publications (including, Cooper, Res Lang Comput, 3 …
Fitch-style modal lambda calculi
R Clouston - arXiv preprint arXiv:1710.08326, 2017 - arxiv.org
Fitch-style modal deduction, in which modalities are eliminated by opening a subordinate
proof, and introduced by shutting one, were investigated in the 1990s as a basis for lambda …
proof, and introduced by shutting one, were investigated in the 1990s as a basis for lambda …
[PDF][PDF] Dual-context calculi for modal logic (technical report)
GA Kavvos - 2017 - seis.bristol.ac.uk
The study of the Curry-Howard correspondence (Howard, 1980; Girard et al., 1989) between
modal logics and modal λ-calculi began at the dawn of the 1990s, and was heralded by the …
modal logics and modal λ-calculi began at the dawn of the 1990s, and was heralded by the …
[PDF][PDF] The periodic sequence property
T Litak - TACL Conference, 2017 - cs.cas.cz
In 1984, Wim Ruitenburg [19] published a surprising result 1 about the intuitionistic
propositional calculus (IPC). It does not seem well-known: one of the few researchers …
propositional calculus (IPC). It does not seem well-known: one of the few researchers …