skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Academic Search Premier (EB_SDU_P3) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
CORE TYPE THEORY Abstract
Material Type:
Artigo
Adicionar ao Meu Espaço

CORE TYPE THEORY Abstract

van Dijk, Emma ; Ripley, David ; Gutierrez, Julian

Bulletin of the Section of Logic, 2023-01, Vol.52 (2), p.145-186 [Periódico revisado por pares]

Warsaw: University of Łódź

Texto completo disponível

2
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Material Type:
Artigo
Adicionar ao Meu Espaço

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

Cornejo, Juan Manuel ; Sankappanavar, Hanamantagouda P

Bulletin of the Section of Logic, 2022-12, Vol.51 (4), p.555-645 [Periódico revisado por pares]

Warsaw: Wydawnictwo Uniwersytetu Łódzkiego

Texto completo disponível

3
LETTERBOX
Material Type:
Artigo
Adicionar ao Meu Espaço

LETTERBOX

Pollock, Joshua

Chicago review, 2021-01, Vol.64 (1-3), p.357-360 [Periódico revisado por pares]

Chicago: University of Chicago

Texto completo disponível

4
On Paracomplete Versions of Jaśkowski's Discussive Logic
Material Type:
Artigo
Adicionar ao Meu Espaço

On Paracomplete Versions of Jaśkowski's Discussive Logic

Mruczek-Nasieniewska, Krystyna ; Petrukhin, Yaroslav ; Shangin, Vasilyi

Bulletin of the Section of Logic, 2024-03, Vol.53 (1), p.29-61 [Periódico revisado por pares]

Lodz University Press

Texto completo disponível

5
Current-driven magnetic domain-wall logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Current-driven magnetic domain-wall logic

Luo, Zhaochu ; Hrabec, Aleš ; Dao, Trong Phuong ; Sala, Giacomo ; Finizio, Simone ; Feng, Junxiao ; Mayr, Sina ; Raabe, Jörg ; Gambardella, Pietro ; Heyderman, Laura J

Nature (London), 2020-03, Vol.579 (7798), p.214-218 [Periódico revisado por pares]

England: Nature Publishing Group

Texto completo disponível

6
Sign-inferences in Greek and Buddhist Logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Sign-inferences in Greek and Buddhist Logic

Schumann, Andrew

History and philosophy of logic, 2024-01, p.1-33 [Periódico revisado por pares]

Texto completo disponível

7
Arbitrary Public Announcement Logic with Memory
Material Type:
Artigo
Adicionar ao Meu Espaço

Arbitrary Public Announcement Logic with Memory

Baltag, Alexandru ; Özgün, Aybüke ; Sandoval, Ana Lucia Vargas

Journal of philosophical logic, 2023-02, Vol.52 (1), p.53-110 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

8
On the Adequacy of a Substructural Logic for Mathematics and Science
Material Type:
Artigo
Adicionar ao Meu Espaço

On the Adequacy of a Substructural Logic for Mathematics and Science

Tennant, Neil

The Philosophical quarterly, 2022-10, Vol.72 (4), p.1002-1018 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

9
Consistent Theories in Inconsistent Logics
Material Type:
Artigo
Adicionar ao Meu Espaço

Consistent Theories in Inconsistent Logics

Mangraviti, Franci ; Tedder, Andrew

Journal of philosophical logic, 2023-08, Vol.52 (4), p.1133-1148 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

10
Cardinality Reduction Theorem for Logics QHC and QH4
Material Type:
Artigo
Adicionar ao Meu Espaço

Cardinality Reduction Theorem for Logics QHC and QH4

Onoprienko, A. A.

Algebra and logic, 2023, Vol.61 (6), p.491-505 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (27.955)
  2. Revistas revisadas por pares (25.767)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (25.723)
  2. magazinearticle  (1.928)
  3. Resenhas  (1.090)
  4. Anais de Congresso  (47)
  5. Newsletter Articles  (12)
  6. Web Resources  (1)
  7. Reports  (1)
  8. Livros  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (273)
  2. 1960Até1975  (662)
  3. 1976Até1991  (2.482)
  4. 1992Até2008  (9.004)
  5. Após 2008  (16.386)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (28.666)
  2. Japonês  (722)
  3. Espanhol  (101)
  4. Francês  (37)
  5. Português  (26)
  6. Alemão  (21)
  7. Norueguês  (14)
  8. Búlgaro  (8)
  9. Croatian  (8)
  10. Chinês  (7)
  11. Persa  (6)
  12. Russo  (5)
  13. Turco  (5)
  14. Latim  (2)
  15. Polonês  (2)
  16. Serbian  (1)
  17. Bokmål, Norwegian  (1)
  18. Interlingue  (1)
  19. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.