skip to main content
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Inquisitive Logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Inquisitive Logic

Ciardelli, Ivano ; Roelofsen, Floris

Journal of philosophical logic, 2011-02, Vol.40 (1), p.55-94 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

12
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Material Type:
Livro
Adicionar ao Meu Espaço

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

von Plato, Jan

United States: Princeton University Press 2017

Sem texto completo

13
Truth-Maker Semantics for Intuitionistic Logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Truth-Maker Semantics for Intuitionistic Logic

Fine, Kit

Journal of philosophical logic, 2014-06, Vol.43 (2/3), p.549-577 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

14
Merging Frameworks for Interaction
Material Type:
Artigo
Adicionar ao Meu Espaço

Merging Frameworks for Interaction

van Benthem, Johan ; Gerbrandy, Jelle ; Hoshi, Tomohiro ; Pacuit, Eric

Journal of philosophical logic, 2009-10, Vol.38 (5), p.491-526 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

15
Logics of Public Communications
Material Type:
Artigo
Adicionar ao Meu Espaço

Logics of Public Communications

Plaza, Jan

Synthese (Dordrecht), 2007-09, Vol.158 (2), p.165-179 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

16
Context and consequence. An intercontextual substructural logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Context and consequence. An intercontextual substructural logic

Zardini, Elia

Synthese (Dordrecht), 2014-10, Vol.191 (15), p.3473-3500 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

17
Turing—Taylor Expansions for Arithmetic Theories
Material Type:
Artigo
Adicionar ao Meu Espaço

Turing—Taylor Expansions for Arithmetic Theories

Joosten, Joost J.

Studia logica, 2016-12, Vol.104 (6), p.1225-1243 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

18
A Loophole of All ‘Loophole-Free’ Bell-Type Theorems
Material Type:
Artigo
Adicionar ao Meu Espaço

A Loophole of All ‘Loophole-Free’ Bell-Type Theorems

Czachor, Marek

Foundations of science, 2020-12, Vol.25 (4), p.971-985 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

19
How to think about informal proofs
Material Type:
Artigo
Adicionar ao Meu Espaço

How to think about informal proofs

Larvor, Brendan

Synthese (Dordrecht), 2012-07, Vol.187 (2), p.715-730 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

20
Paraconsistent dynamics
Material Type:
Artigo
Adicionar ao Meu Espaço

Paraconsistent dynamics

Girard, Patrick ; Tanaka, Koji

Synthese (Dordrecht), 2016-01, Vol.193 (1), p.1-14 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1.689)
  2. Revistas revisadas por pares (1.642)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.646)
  2. Book Chapters  (784)
  3. Livros  (5)
  4. Reports  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1962  (76)
  2. 1962Até1976  (184)
  3. 1977Até1991  (341)
  4. 1992Até2007  (588)
  5. Após 2007  (1.347)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (275)
  2. Francês  (1)
  3. Norueguês  (1)
  4. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.