Flashcards on Logic, created by August Edström on 02/11/2018.
|
Created by August Edström
over 5 years ago
|
|
Close
|
|
Created by August Edström
over 5 years ago
|
|
What properties can a proof system help establish?
What two paradigms exist in AI?
What does a sequent calculus consist of?
What does a logical system consist of?
What is Linear logic?
Why Intuit
