Mashu Noguchi

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Embeddings of Propositional Logics into the Provability Logics $S$ and $D$

Mashu Noguchi

Just as Visser showed that the formal propositional logic $FPL$ can be embedded into Gödel-Löb provability logic $GL$ , Petrukhin proposed a propositional logic $\…

math.LO2026

Very weak subintuitionistic logics

Taishi Kurahashi, Mashu Noguchi

We introduce a new propositional logic, called very weak subintuitionistic logic $VF$ , by adapting the relational semantics of Fitting, Marek, and Truszczyński for the pur…

Embeddings of Propositional Logics into the Provability Logics S and D

Very weak subintuitionistic logics

Embeddings of Propositional Logics into the Provability Logics $S$ and $D$