A system of subintuitionistic logic is introduced, weaker than Corsi's basic subintuitionistic
system. A derivation system with and without hypotheses is given in line with the authors' …

The weak subintuitionistic logic WF, for which no standard unary modal companion is
known, is found to have a strict implication logic as its binary modal companion. It is also …

The subintuitionistic logics introduced by Corsi and Restall are developed in a uniform
manner. In this way Restall's contributions are clarified. Hilbert type proof systems are given …

In a T_g-space T_g=(Ω, T_g), the g-topology T_g: P (Ω)→ P (Ω) can be characterized in the
generalized sense by the novel g-T_g-derived, g-T_g-coderived operators g-Der_g, g …

Abstract Dyckhoff and Negri (Arch Math Logic 51: 71–92 (2012), 8) give a constructive proof
of Gödel–Mckinsey–Tarski embedding from intermediate logics to modal logics via labelled …

The 11th International Tbilisi Symposium on Logic, Language, and Computation was held at
the Tbilisi State University in Tbilisi, Georgia, during September 21–26, 2015. The …

The 11th International Tbilisi Symposium on Logic, Language, and Computation was held at
the Tbilisi State University in Tbilisi, Georgia, during September 21–26, 2015. The …

In a generalized topological space T g=(Ω, T g)(T g-space), the g-topology T g: P (Ω)−→ P
(Ω) can be characterized in the generalized sense by specifying the generalized open …

هدف اصلی ما در این مقاله پیدا کردن همتاهای وجهی برای برخی منطق‌های زیرشهودی معرفی شده توسط
دیانگ و شیرمحمدزاده است.‎‎‎ آنها برای اثبات تمامیت منطق‌های زیرشهودی معرفی شده‏، دو نوع قاب …‎

所 属 人文科学研究科 文化基礎論専攻学 位 の 種 類 博士 (文学) 学 位 記 番 号 人博 第 152
号学位授与の日付 令和元年 9 月 30 日課程・論文の別 学位規則第 4 条第 1 …