Establishing Valid Arguments by Computer and Storing their Meanings: a Premiss of form A of Aristotelian Logic (Q3048319)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Establishing Valid Arguments by Computer and Storing their Meanings: a Premiss of form A of Aristotelian Logic |
scientific article |
Statements
Establishing Valid Arguments by Computer and Storing their Meanings: a Premiss of form A of Aristotelian Logic (English)
0 references
1979
0 references
establishing valid arguments
0 references
performance of interactive systems
0 references
Aristotelian logic
0 references
deductive process
0 references
predicate logic
0 references
knowledge structures for storing the meanings
0 references
automata
0 references
