skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Peter Schroeder-Heister on Proof-Theoretic Semantics
Peter Schroeder-Heister on Proof-Theoretic Semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Peter Schroeder-Heister on Proof-Theoretic Semantics

Wehmeier, Kai F ; Piecha, Thomas

Cham: Springer Nature 2024

Texto completo disponível

Citações Citado por
2
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry
Material Type:
Livro 		Adicionar ao Meu Espaço

Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry

Ferguson, Thomas Macaulay

Cham: Springer International Publishing 2017

Sem texto completo

Citações Citado por
3
Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics
Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics

Boccuni, Francesca ; Sereni, Andrea Boccuni, Francesca ; Sereni, Andrea

Oxford: Routledge 2022

Sem texto completo

Citações Citado por
4
Logical Chaotic Resonance in a Bistable System
Logical Chaotic Resonance in a Bistable System
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logical Chaotic Resonance in a Bistable System

Yao, Yuangen ; Ma, Jun

International journal of bifurcation and chaos in applied sciences and engineering, 2020-10, Vol.30 (13), p.2050196 [Periódico revisado por pares]

Singapore: World Scientific Publishing Company

Texto completo disponível

Citações Citado por
5
First-Order Interpretations of Bounded Expansion Classes
First-Order Interpretations of Bounded Expansion Classes
Material Type:
Artigo 		Adicionar ao Meu Espaço

First-Order Interpretations of Bounded Expansion Classes

Gajarský, Jakub ; Kreutzer, Stephan ; NešETřil, Jaroslav ; Mendez, Patrice ; Pilipczuk, Michał ; Siebertz, Sebastian ; Toruńczyk, Szymon

ACM transactions on computational logic, 2020-10, Vol.21 (4), p.1-41 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
6
ALGEBRAIC APPROACH TO DYNAMICS OF MULTIVALUED NETWORKS
ALGEBRAIC APPROACH TO DYNAMICS OF MULTIVALUED NETWORKS
Material Type:
Artigo 		Adicionar ao Meu Espaço

ALGEBRAIC APPROACH TO DYNAMICS OF MULTIVALUED NETWORKS

LI, ZHIQIANG ; CHENG, DAIZHAN

International journal of bifurcation and chaos in applied sciences and engineering, 2010-03, Vol.20 (3), p.561-582 [Periódico revisado por pares]

World Scientific Publishing Company

Texto completo disponível

Citações Citado por
7
Lindenbaum-Type Logical Structures
Lindenbaum-Type Logical Structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lindenbaum-Type Logical Structures

Roy, Sayantan ; Basu, Sankha S. ; Chakraborty, Mihir K.

Logica universalis, 2023-03, Vol.17 (1), p.69-102 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
A modular construction of type theories
A modular construction of type theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

A modular construction of type theories

Blanqui, Frédéric ; Dowek, Gilles ; Grienenberger, Emilie ; Hondet, Gabriel ; Thiré, François

Logical methods in computer science, 2023-02, Vol.19, Issue 1 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
9
Logical information theory: new logical foundations for information theory
Logical information theory: new logical foundations for information theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logical information theory: new logical foundations for information theory

Ellerman, David

Logic journal of the IGPL, 2017-10, Vol.25 (5), p.806-835 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Dependence and Independence
Dependence and Independence
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dependence and Independence

Grädel, Erich ; Väänänen, Jouko

Studia logica, 2013-04, Vol.101 (2), p.399-410 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

Citações Citado por
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 (2.433)
  2. Revistas revisadas por pares (2.261)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (2.446)
  2. Artigos  (2.245)
  3. Anais de Congresso  (15)
  4. Livros  (3)
  5. magazinearticle  (2)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (75)
  2. 1964Até1978  (376)
  3. 1979Até1993  (667)
  4. 1994Até2009  (1.604)
  5. Após 2009  (2.292)
  6. Mais opções open sub menu

Idioma 

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

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.