2 papers
cs.LO2026
Normalisation for a Neutral Free Logic with Definite Descriptions
Yaroslav Petrukhin
In this paper, we present a natural deduction system for a strong Kleene-based neutral free logic with definite descriptions. The system combines a three-valued propositional basis…
cs.LO2022
Normalisation for Some Infectious Logics and Their Relatives
Yaroslav Petrukhin
We consider certain infectious logics (Sfde, dSfde, K3w, and PWK) and several their non-infectious modifications, including two new logics, reformulate previously constructed natur…