Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner
| Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner |
| Autore | Kapsner, Andreas |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | X, 217 p. : ill. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Analetheism
Anti-Realism Constructive logic Dialetheism Falsificationism Faultless Disagreement Intuitionistic Logic Kripke Semantics Michael Dummett Nelson Logic Paraconsistent Logic Philosophical Logic Strong Negation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103364 |
Kapsner, Andreas
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner
| Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner |
| Autore | Kapsner, Andreas |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | X, 217 p. : ill. ; 24 cm |
| Soggetto topico |
03Axx - Philosophical aspects of logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Analetheism
Anti-Realism Constructive logic Dialetheism Falsificationism Faultless Disagreement Intuitionistic Logic Kripke Semantics Michael Dummett Nelson Logic Paraconsistent Logic Philosophical Logic Strong Negation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00103364 |
|
Kapsner, Andreas
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors
| Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xviii, 483 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B30 - Festschriften [MSC 2020] 03Bxx - General logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Arabic Logic
Arabic Philosophy of Mathematics Avicenna on Deductions from Contradictory Premises Basic Logic Binary Modal Companions for Subintuitionistic Logics Bounded Distributive Lattices with Two Subordinations Constructive logic Constructive mathematics Intuitionism to Many-Valued Logics through Kripke Models Intuitionistic Logic Intuitionistic Logic of Language Intuitionistic Philosophy of Mathematics Mohammad Ardeshir Non-Conditional Contracting Connectives Residuated Expansions of Lattice-Ordered Structures Struggle between Syntax and Semantics in Mathematics Substructural Logic Termination Condition of Gossip Protocols Unification in basic logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274944 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors
| Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xviii, 483 p. : ill. ; 24 cm |
| Soggetto topico |
00B30 - Festschriften [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Arabic Logic
Arabic Philosophy of Mathematics Avicenna on Deductions from Contradictory Premises Basic Logic Binary Modal Companions for Subintuitionistic Logics Bounded Distributive Lattices with Two Subordinations Constructive logic Constructive mathematics Intuitionism to Many-Valued Logics through Kripke Models Intuitionistic Logic Intuitionistic Logic of Language Intuitionistic Philosophy of Mathematics Mohammad Ardeshir Non-Conditional Contracting Connectives Residuated Expansions of Lattice-Ordered Structures Struggle between Syntax and Semantics in Mathematics Substructural Logic Termination Condition of Gossip Protocols Unification in basic logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274944 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier
| Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier |
| Autore | Gauthier, Yvon |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | XI, 184 p. : ill. ; 24 cm |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 13F20 - Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020] 01-XX - History and biography [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Arithmetical logic
Constructive logic Fermat’s infinite descent Foundations of mathematics Kronecker’s general arithmetic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113711 |
|
Gauthier, Yvon
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier
| Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier |
| Autore | Gauthier, Yvon |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | XI, 184 p. : ill. ; 24 cm |
| Soggetto topico |
01-XX - History and biography [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 13F20 - Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020] 14-XX - Algebraic geometry [MSC 2020] |
| Soggetto non controllato |
Arithmetical logic
Constructive logic Fermat’s infinite descent Foundations of mathematics Kronecker’s general arithmetic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113711 |
|
Gauthier, Yvon
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
