A sieve for entailments
type: Item
instance of: scholarly article
title: A sieve for entailments
zbMATH Open document ID: 0428.03011
DOI: 10.1007/BF00258076
author: J. Michael Dunn
published in: Journal of Philosophical Logic
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3666760
zbMATH Keywords: entailment
zbMATH Keywords: partial tautology
zbMATH Keywords: truth tree
MaRDI profile type: Publication
cites work: The pure calculus of entailment
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Q4145674
cites work: Q5560258
description: scientific article; zbMATH DE number 3666760