Logic: Going farther from Tarski? (Q1311814)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic: Going farther from Tarski? |
scientific article |
Statements
Logic: Going farther from Tarski? (English)
0 references
20 January 1994
0 references
The authors show how some new concepts of fuzzy mathematics, widely used in Artificial Intelligence, are related (or not) to the classical logical approach made by Tarski. Starting with consequence operators, the equivalence to preorders is given and the corresponding fuzzy preoders are studied. This yields the consideration of approximate consequences and their relations with some probabilistic models. Several classical logical concepts are revisited and generalized in the framework of fuzzy logic.
0 references
modus ponens
0 references
material implication
0 references
consequence operators
0 references
fuzzy preoders
0 references
approximate consequences
0 references
probabilistic models
0 references
fuzzy logic
0 references
