skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: arXiv.org remover assunto: Semantics remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
Semantic Communication with Conceptual Spaces
Semantic Communication with Conceptual Spaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

Semantic Communication with Conceptual Spaces

Wheeler, Dylan ; Tripp, Erin E ; Balasubramaniam Natarajan

arXiv.org, 2022-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Carnap's problem for intuitionistic propositional logic
Carnap's problem for intuitionistic propositional logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Carnap's problem for intuitionistic propositional logic

Tong, Haotian ; Westerståhl, Dag

arXiv.org, 2022-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Intermediate logics in the setting of team semantics
Intermediate logics in the setting of team semantics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Intermediate logics in the setting of team semantics

Bezhanishvili, Nick ; Yang, Fan

arXiv.org, 2022-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Modal expansions of ririgs
Modal expansions of ririgs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modal expansions of ririgs

Nagy, Agustín L ; Zuluaga Botero, William J

arXiv.org, 2022-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
The provability logic of all provability predicates
The provability logic of all provability predicates
Material Type:
Artigo 		Adicionar ao Meu Espaço

The provability logic of all provability predicates

Kurahashi, Taishi

arXiv.org, 2022-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Free Polycategories for Unitary Supermaps of Arbitrary Dimension
Free Polycategories for Unitary Supermaps of Arbitrary Dimension
Material Type:
Artigo 		Adicionar ao Meu Espaço

Free Polycategories for Unitary Supermaps of Arbitrary Dimension

Wilson, Matt ; Chiribella, Giulio

arXiv.org, 2022-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
A unified relational semantics for intuitionistic logic, basic propositional logic and orthologic with strict implication
A unified relational semantics for intuitionistic logic, basic propositional logic and orthologic with strict implication
Material Type:
Artigo 		Adicionar ao Meu Espaço

A unified relational semantics for intuitionistic logic, basic propositional logic and orthologic with strict implication

Chen, Zhicheng

arXiv.org, 2022-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics
Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics

de Toledo, Guilherme Vicentin

arXiv.org, 2022-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
The first-order logic of CZF is intuitionistic first-order logic
The first-order logic of CZF is intuitionistic first-order logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

The first-order logic of CZF is intuitionistic first-order logic

Passmann, Robert

arXiv.org, 2022-06

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.   

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

Buscando em bases de dados remotas. Favor aguardar.