A Resolution/Tableaux Algorithm for Projective Approximations in IPC (Q3147430)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1802999
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Resolution/Tableaux Algorithm for Projective Approximations in IPC |
scientific article; zbMATH DE number 1802999 |
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
0.7307769060134888
0 references
0.7258148193359375
0 references
0.7243436574935913
0 references
