On the Provable Contradictions of the Connexive Logics C and C3 S Niki, H Wansing Journal of Philosophical Logic 52 (5), 1355-1383, 2023 | 10 | 2023 |
Another combination of classical and intuitionistic conditionals S Niki, H Omori arXiv preprint arXiv:2204.06730, 2022 | 8 | 2022 |
Actuality in Intuitionistic Logic. S Niki, H Omori AiML, 459-479, 2020 | 8 | 2020 |
Empirical negation, co-negation and contraposition rule I: Semantical investigations S Niki Bulletin of the Section of Logic 49 (3), 231-253, 2020 | 6 | 2020 |
A note on Humberstone's constant Ω S Niki, H Omori Reports on Mathematical Logic 56, 2021 | 4 | 2021 |
Improving strong negation S Niki The Review of Symbolic Logic 16 (3), 951-977, 2023 | 3 | 2023 |
Subminimal logics in light of Vakarelov’s logic S Niki Studia Logica 108 (5), 967-987, 2020 | 3 | 2020 |
Intuitionistic views on connexive constructible falsity S Niki Journal of Applied Logics—IfCoLog Journal of Logics and their Applications …, 2024 | 2 | 2024 |
Empirical negation, co-negation and the contraposition rule II: Proof-theoretical investigations S Niki Bulletin of the Section of Logic 49 (4), 359-375, 2020 | 2 | 2020 |
To be more concrete about abstracta and concreta F Toyoshima, S Niki Proceedings of FOIS2024, Amsterdam: IOS Press, 2024 | 1 | 2024 |
Semantics Matters: A New Light on Ontological Commitments of Logics. F Toyoshima, S Niki JOWO, 2021 | 1 | 2021 |
Decidable variables for constructive logics S Niki Mathematical Logic Quarterly 66 (4), 484-493, 2020 | 1 | 2020 |
On Scott’s semantics for many-valued logic S Niki, P Schuster Journal of Logic and Computation 30 (6), 1291-1302, 2020 | 1 | 2020 |
Kamide is in America, Moisil and Leitgeb are in Australia S Niki, H Omori arXiv preprint arXiv:2501.00495, 2024 | | 2024 |
Note on Contradictions in Francez-Weiss Logics S Niki Logic and Logical Philosophy, 1-30, 2024 | | 2024 |
A note on negation inconsistent variants of FDE-negation S Niki The Australasian Journal of Logic 21 (2), 64-90, 2024 | | 2024 |
Double Negation as Minimal Negation S Niki Journal of Logic, Language and Information 32 (5), 861-886, 2023 | | 2023 |
Intuitionistic Modality and Beth Semantics. S Niki AiML, 579-599, 2022 | | 2022 |