skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On three-valued presentations of classical logic
On three-valued presentations of classical logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

On three-valued presentations of classical logic

Bruno da Ré ; Szmuc, Damian ; Chemla, Emmanuel ; Égré, Paul

The review of symbolic logic, 2023-12 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

Dudenhefner, Andrej

arXiv.org, 2022-08 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Normalization and cut-elimination theorems for some logics of evidence and truth
Normalization and cut-elimination theorems for some logics of evidence and truth
Material Type:
Artigo 		Adicionar ao Meu Espaço

Normalization and cut-elimination theorems for some logics of evidence and truth

Coniglio, Marcelo E ; Figallo, Martín ; Rodrigues, Abilio

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Agent-Knowledge Logic for Alternative Epistemic Logic
Agent-Knowledge Logic for Alternative Epistemic Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Agent-Knowledge Logic for Alternative Epistemic Logic

Nishimura, Yuki

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Ancient Quantifier Logic
Ancient Quantifier Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ancient Quantifier Logic

Protin, Clarence Lewis

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
On Model Theory of Second-Order Objects
On Model Theory of Second-Order Objects
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Model Theory of Second-Order Objects

Hyttinen, Tapani ; Puljujärvi, Joni ; Quadrellaro, Davide Emilio

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Levin's and Prucnal's theorems on Medvedev's logic of finite problems
Levin's and Prucnal's theorems on Medvedev's logic of finite problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Levin's and Prucnal's theorems on Medvedev's logic of finite problems

Přenosil, Adam

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic

Mojtahedi, Mojtaba ; Papafilippou, Konstantinos

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
The Logic of Correct Models
The Logic of Correct Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Logic of Correct Models

Juan Pablo Aguilera ; Pakhomov, Fedor

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Nonclassical logics and multivariate truth values
Nonclassical logics and multivariate truth values
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nonclassical logics and multivariate truth values

Zhuravlov, Volodymyr M

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

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. Revistas revisadas por pares (9)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (28.522)
  2. Resenhas  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2009  (805)
  2. 2009Até2012  (3.710)
  3. 2013Até2016  (6.216)
  4. 2017Até2021  (11.024)
  5. Após 2021  (6.770)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.