Q3604365
type: Item
instance of: scholarly article
zbMATH Open document ID: 1154.03304
publication date: 2009-02-24T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5511125
MaRDI profile type: Publication
Recommended article: Systematic semantic tableaux for PLTL
Recommended article: Rule refinement for semantic tableau calculi
Recommended article: Toward logical analysis of tabular rule-based systems
Recommended article: Incremental theory reasoning methods for semantic tableaux
Recommended article: Implementing semantic tableaux
Recommended article: On a formal semantics of tabular expressions
Recommended article: AI 2003: Advances in Artificial Intelligence
Recommended article: Semantic tableaux with ordering restrictions
Recommended article: Bottom-up Construction of Semantic Tableaux
Recommended article: An Analytic Tableau System for Natural Logic
description: scientific article