On a theory of weak implications
type: Item
instance of: scholarly article
title: On a theory of weak implications
zbMATH Open document ID: 0649.03009
DOI: 10.2307/2274438
author: Mitsuhiro Okada
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 4059358
zbMATH Keywords: Gentzen sequent calculi
zbMATH Keywords: intuitionist implication
zbMATH Keywords: provability semantics
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2274438
OpenAlex ID: W4234358197
published in: Journal of Symbolic Logic
Recommended article: Q4244313
Recommended article: On weak implication algebra
Recommended article: Relevant implication and the weak deduction theorem
Recommended article: Deduction theorems for weak implicational logics
Recommended article: The Theory of Implication
Recommended article: Weak Logics with Strict Implication
Recommended article: Q3708781
Recommended article: Relevant implication and the case for a weaker logic
Recommended article: Q4821869
Recommended article: On weakening the Deduction Theorem and strengthening Modus Ponens
description: scientific article