\(\lambda\)-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation (Q4900970)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: -resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation |
scientific article; zbMATH DE number 6129439
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \(\lambda\)-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation |
scientific article; zbMATH DE number 6129439 |
Statements
24 January 2013
0 references
medium predicate logic system
0 references
\(\lambda\)-interpretation
0 references
resolution principle
0 references
\(\lambda\)-resolution
0 references
0.7349027991294861
0 references
