دنبال کردن
Satoru Niki
Satoru Niki
ایمیل تأیید شده در rub.de - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
On the Provable Contradictions of the Connexive Logics C and C3
S Niki, H Wansing
Journal of Philosophical Logic 52 (5), 1355-1383, 2023
102023
Another combination of classical and intuitionistic conditionals
S Niki, H Omori
arXiv preprint arXiv:2204.06730, 2022
82022
Actuality in Intuitionistic Logic.
S Niki, H Omori
AiML, 459-479, 2020
82020
Empirical negation, co-negation and contraposition rule I: Semantical investigations
S Niki
Bulletin of the Section of Logic 49 (3), 231-253, 2020
62020
A note on Humberstone's constant Ω
S Niki, H Omori
Reports on Mathematical Logic 56, 2021
42021
Improving strong negation
S Niki
The Review of Symbolic Logic 16 (3), 951-977, 2023
32023
Subminimal logics in light of Vakarelov’s logic
S Niki
Studia Logica 108 (5), 967-987, 2020
32020
Intuitionistic views on connexive constructible falsity
S Niki
Journal of Applied Logics—IfCoLog Journal of Logics and their Applications …, 2024
22024
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
22020
To be more concrete about abstracta and concreta
F Toyoshima, S Niki
Proceedings of FOIS2024, Amsterdam: IOS Press, 2024
12024
Semantics Matters: A New Light on Ontological Commitments of Logics.
F Toyoshima, S Niki
JOWO, 2021
12021
Decidable variables for constructive logics
S Niki
Mathematical Logic Quarterly 66 (4), 484-493, 2020
12020
On Scott’s semantics for many-valued logic
S Niki, P Schuster
Journal of Logic and Computation 30 (6), 1291-1302, 2020
12020
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
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–18