scientific article; zbMATH DE number 5511125
From MaRDI portal
Publication:3604365
Recommendations
- Systematic semantic tableaux for PLTL
- Rule refinement for semantic tableau calculi
- Toward logical analysis of tabular rule-based systems
- Incremental theory reasoning methods for semantic tableaux
- Implementing semantic tableaux
- On a formal semantics of tabular expressions
- AI 2003: Advances in Artificial Intelligence
- Semantic tableaux with ordering restrictions
- Bottom-up Construction of Semantic Tableaux
- An analytic tableau system for natural logic
Cited in
(17)- Adding equality to semantic tableaux
- Controlled integration of the cut rule into connection tableau calculi
- Rule refinement for semantic tableau calculi
- Ordered semantic hyper tableaux
- A Seligman-Style Tableau System
- Goal-directed tableaux
- A tableau system of proof for predicate-functor logic with identity
- Bottom-up Construction of Semantic Tableaux
- scientific article; zbMATH DE number 4162838 (Why is no real title available?)
- Analytic tableaux and interpolation
- scientific article; zbMATH DE number 1552525 (Why is no real title available?)
- scientific article; zbMATH DE number 4114106 (Why is no real title available?)
- scientific article; zbMATH DE number 827985 (Why is no real title available?)
- An analytic tableau system for natural logic
- Tableau Methods for Propositional Logic and Term Logic
- Pragmatic Formal Specification of System Properties by Tables
- Tableau system for logic of categorial propositions and decidability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3604365)
