Satoru Niki

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Another combination of classical and intuitionistic conditionals	2025-01-09	Paper
A note on negation inconsistent variants of FDE-negation The Australasian Journal of Logic	2024-06-24	Paper
Intuitionistic views on connexive constrictible falsity Journal of Applied Logics - IfCoLog Journal of Logics and their Applications	2024-05-10	Paper
Double negation as minimal negation Journal of Logic, Language and Information	2024-02-06	Paper
On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) Journal of Philosophical Logic	2023-10-24	Paper
IMPROVING STRONG NEGATION The Review of Symbolic Logic	2023-09-20	Paper
Decidable variables for constructive logics Mathematical Logic Quarterly	2023-09-12	Paper
Intuitionistic modality and Beth semantics	2023-03-24	Paper
scientific article; zbMATH DE number 7585728 (Why is no real title available?)	2022-09-15	Paper
A note on Humberstone's constant Ω	2022-02-02	Paper
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations Bulletin of the Section of Logic	2021-07-07	Paper
Subminimal logics in light of Vakarelov's logic Studia Logica	2021-05-11	Paper
Empirical negation, co-negation and contraposition rule. I: Semantical investigations Bulletin of the Section of Logic	2021-01-28	Paper
On Scott’s semantics for many-valued logic Journal Of Logic And Computation	2020-12-15	Paper

Research outcomes over time

This page was built for person: Satoru Niki