A Resolution/Tableaux Algorithm for Projective Approximations in IPC (Q3147430)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Resolution/Tableaux Algorithm for Projective Approximations in IPC |
scientific article |
Statements
A Resolution/Tableaux Algorithm for Projective Approximations in IPC (English)
0 references
25 February 2003
0 references
E-unification
0 references
exact formulas
0 references
algorithm
0 references
semantic tableaux
0 references
resolution
0 references
projectivity
0 references
intuitionistic propositional calculus
0 references
projective approximations
0 references
equational theory
0 references
Heyting algebras
0 references
admissible inference rules
0 references