Zobacz książki o podobnej tematyce

Powiadomienie o dostępności

Więcej informacji o On Some Axiomatic Extensions of the Monoidal T-norm Based Logic MTL

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Opis

The scientific area this thesis belongs to is many-valued logics: this meanslogics in which, from the semantical point of view, we have "intermediate"truth-values, between 0 and 1 (which in turns are designated to represent, respectively, the "false" and the "true").The classical logic (propositional, for simplicity) is based on the fact thatevery statement is true or false: this is reflected by the excluded middle law, that is a theorem of this logic. However, there are many reasons that suggestto reject this law: for example, intuitionistic logic does not satisfy it, sincethis logic reflects a "constructive" conception of mathematics (see (Hey71, Tro69)).

Szczegóły książki

Kategoria Książki po angielsku Mathematics & science Mathematics

• Pełny tytuł: On Some Axiomatic Extensions of the Monoidal T-norm Based Logic MTL
• Podtytuł: an Analysis in the Propositional and in the First-order Case
• Autor: Matteo Bianchi
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 170
• EAN: 9788895994567
• ISBN: 9788895994567
• ID: 09010454
• Wydawca: XLedizioni
• Waga: 211 g
• Wymiary: 210 × 148 × 9 mm
• Data wydania: 15. April 2011

---

---

---