Proofs and Models in Philosophical Logic. [elektronicky zdroj]
| Autor: | Restall, Greg |
|---|---|
| Jazyk: | angličtina |
| Informace o vydání: | Cambridge : Cambridge University Press, 2022. |
| Předmět: | |
| Vydání: | 1st ed. |
| Druh dokumentu: | Online; Non-fiction; Electronic document |
| Abstrakt: | Summary: This Element is an introduction to recent work proofs and models in philosophical logic, with a focus on the semantic paradoxes the sorites paradox. It introduces different proof systems and different kinds of models for a range of logics, as well as compares and contrasts the different approaches to substructural treatments of the paradox. |
| Databáze: | Vybrané kolekce e-knih |
| Externí odkaz: |
|