Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
Inquisitive LogicCiardelli, Ivano ; Roelofsen, FlorisJournal of philosophical logic, 2011-02, Vol.40 (1), p.55-94 [Periódico revisado por pares]Dordrecht: SpringerTexto completo disponível |
|
12 |
Material Type: Livro
|
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Agevon Plato, JanUnited States: Princeton University Press 2017Sem texto completo |
|
13 |
Material Type: Artigo
|
Truth-Maker Semantics for Intuitionistic LogicFine, KitJournal of philosophical logic, 2014-06, Vol.43 (2/3), p.549-577 [Periódico revisado por pares]Dordrecht: SpringerTexto completo disponível |
|
14 |
Material Type: Artigo
|
Merging Frameworks for Interactionvan Benthem, Johan ; Gerbrandy, Jelle ; Hoshi, Tomohiro ; Pacuit, EricJournal of philosophical logic, 2009-10, Vol.38 (5), p.491-526 [Periódico revisado por pares]Dordrecht: SpringerTexto completo disponível |
|
15 |
Material Type: Artigo
|
Logics of Public CommunicationsPlaza, JanSynthese (Dordrecht), 2007-09, Vol.158 (2), p.165-179 [Periódico revisado por pares]Dordrecht: SpringerTexto completo disponível |
|
16 |
Material Type: Artigo
|
Context and consequence. An intercontextual substructural logicZardini, EliaSynthese (Dordrecht), 2014-10, Vol.191 (15), p.3473-3500 [Periódico revisado por pares]Dordrecht: SpringerTexto completo disponível |
|
17 |
Material Type: Artigo
|
Turing—Taylor Expansions for Arithmetic TheoriesJoosten, Joost J.Studia logica, 2016-12, Vol.104 (6), p.1225-1243 [Periódico revisado por pares]Dordrecht: SpringerTexto completo disponível |
|
18 |
Material Type: Artigo
|
A Loophole of All ‘Loophole-Free’ Bell-Type TheoremsCzachor, MarekFoundations of science, 2020-12, Vol.25 (4), p.971-985 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
19 |
Material Type: Artigo
|
How to think about informal proofsLarvor, BrendanSynthese (Dordrecht), 2012-07, Vol.187 (2), p.715-730 [Periódico revisado por pares]Dordrecht: SpringerTexto completo disponível |
|
20 |
Material Type: Artigo
|
Paraconsistent dynamicsGirard, Patrick ; Tanaka, KojiSynthese (Dordrecht), 2016-01, Vol.193 (1), p.1-14 [Periódico revisado por pares]Dordrecht: SpringerTexto completo disponível |