4 citations · 6 across the 6 of their papers we have counts for
6 papers · 1 filter
Non-distributive relatives of ETL and NFL
Daniil Kozhemiachenko
In this paper, we devise non-distributive relatives of Exactly True Logic (ETL) by Pietz and Riveccio and its dual (NFL) Non-Falsity Logic by Shramko, Zaitsev and Belikov. We consi…
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
Daniil Kozhemiachenko
In this paper, we present a~generalisation of proof simulation procedures for Frege systems by Bonet and Buss to some logics for which the deduction theorem does not hold. In parti…
Non-contingecy in a paraconsistent setting
Daniil Kozhemiachenko, Liubov Vashentseva
We study an extension of First Degree Entailment (FDE) by Dunn and Belnap with a non-contingency operator which is construed as " has the same value in all acc…
Simple tableaux for two expansions of Gödel modal logic
Marta Bilkova, Thomas Ferguson, Daniil Kozhemiachenko
This paper considers two logics. The first one, , is an expansion of the Gödel modal logic with the involutive negation $\…
Knowledge and ignorance in Belnap--Dunn logic
Daniil Kozhemiachenko, Liubov Vashentseva
In this paper, we argue that the usual approach to modelling knowledge and belief with the necessity modality does not produce intuitive outcomes in the framework of the Bel…
Paraconsistent Gödel modal logic on bi-relational frames
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We further develop the paraconsistent Gödel modal logic. In this paper, we consider its version endowed with Kripke semantics on -valued frames with two fuzzy relations $R^+…