A System for Strict Implication

DOI10.4288/jafpos1956.2.183zbMath0199.00305OpenAlexW1967973775MaRDI QIDQ5596729

Masao Ohnishi, Kazuo Matsumoto

Publication date: 1964

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.2.183

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (6)

Logic and majority voting ⋮ Analytic tableaux for non-deterministic semantics ⋮ The implicational fragment of $R$-mingle ⋮ Fragments of R-mingle ⋮ E, R AND γ ⋮ R-Mingle is Nice, and so is Arnon Avron

This page was built for publication: A System for Strict Implication