A System for Strict Implication

DOI10.4288/JAFPOS1956.2.183MaRDI QIDQ5596729zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Pure strict implication logics
• Priorean strict implication, Q and related systems
• scientific article; zbMATH DE number 4160691
• scientific article; zbMATH DE number 2091988
• Complexity of strict implication
• scientific article; zbMATH DE number 2201266
• Unified correspondence and proof theory for strict implication
• scientific article; zbMATH DE number 3069861
• Axiomatic System, Deduction and Implication

Cited in

(9)

• E, R AND γ
• Fragments of R-mingle
• Analytic tableaux for non-deterministic semantics
• Logic and majority voting
• R-Mingle is Nice, and so is Arnon Avron
• scientific article; zbMATH DE number 4160691 (Why is no real title available?)
• scientific article; zbMATH DE number 2201266 (Why is no real title available?)
• The implicational fragment of R-mingle
• Priorean strict implication, Q and related systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5596729)