Semantic Tableaux for A Logic With Identity (Q3909037)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semantic Tableaux for A Logic With Identity |
scientific article |
Statements
Semantic Tableaux for A Logic With Identity (English)
0 references
1981
0 references
exhaustive set of prime elimination strings
0 references