scientific article; zbMATH DE number 1463149

zbMath0947.03026MaRDI QIDQ4487297

Katsumi Sasaki

Publication date: 7 November 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consequence relationrestricted modus ponensVisser's propositional logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Alternative Semantics for Visser’s Propositional Logics, Monotone subintuitionistic logic: duality and transfer results, Implication via spacetime, Sequent calculi for Visser's propositional logics, A closer look at some subintuitionistic logics, Normal modal substructural logics with strong negation