Logical Squares for Classical Logic Sentences.
Urszula Wybraniec-SkardowskaPublished in: Logica Universalis (2016)
Keyphrases
- classical logic
- rationality postulates
- logic programming
- modal logic
- natural language sentences
- intuitionistic logic
- autoepistemic logic
- natural language
- logical properties
- default logic
- possibilistic logic
- computer science and artificial intelligence
- logical formulas
- possibility theory
- revision operators
- valued logic
- neural network
- logic programs
- knowledge base
- inference rules
- programming language
- rough sets
- decision making