Q4213797
type: Item
instance of: scholarly article
zbMATH Open document ID: 0906.03010
author: Wanhui Huang
publication date: 1999-02-09T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1210779
zbMATH Keywords: decision procedure
zbMATH Keywords: validity of propositional inference
MaRDI profile type: Publication
Recommended article: Q4964705
Recommended article: Q4992401
Recommended article: Graphs and plausibility logic
Recommended article: An Analytic Propositional Proof System on Graphs
Recommended article: Graph theoretical structures in logic programs and default theories
Recommended article: Propositional intuitionistic multiple-conclusion calculus via proof graphs
Recommended article: On the logical philosophy of assertive graphs
Recommended article: Q5212088
Recommended article: Graph theoretical properties of logic based argumentation frameworks: proofs and general results
Recommended article: GRAPH THEORETICAL APPROACH TO THE TRADITIONAL SYLLOGISM AND ITS GENERALIZATION
description: scientific article; zbMATH DE number 1210779