skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Axioms remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory
From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory

Blot, Valentin ; Dowek, Gilles ; Traversié, Thomas ; Winterhalter, Théo

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Logics of False Belief and Radical Ignorance
Logics of False Belief and Radical Ignorance
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logics of False Belief and Radical Ignorance

Fan, Jie

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Simple Axioms for Local Properties
Simple Axioms for Local Properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Simple Axioms for Local Properties

Balbiani, Philippe ; Wiebe van der Hoek ; Kuijer, Louwe B

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language

Powell, Thomas

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study

Olarte, Carlos ; Pimentel, Elaine

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Local Intuitionistic Modal Logics and Their Calculi
Local Intuitionistic Modal Logics and Their Calculi
Material Type:
Artigo 		Adicionar ao Meu Espaço

Local Intuitionistic Modal Logics and Their Calculi

Balbiani, Philippe ; Gao, Han ; Gencer, Çiğdem ; Olivetti, Nicola

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Nested Sequents for Quantified Modal Logics
Nested Sequents for Quantified Modal Logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nested Sequents for Quantified Modal Logics

Lyon, Tim S ; Orlandelli, Eugenio

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Conditional logic as a short-circuit logic
Conditional logic as a short-circuit logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Conditional logic as a short-circuit logic

Bergstra, Jan A ; Ponse, Alban

arXiv.org, 2023-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus

Balbiani, Philippe ; Gao, Han ; Gencer, Çiğdem ; Olivetti, Nicola

arXiv.org, 2023-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
On the Axiomatisation of Branching Bisimulation Congruence over CCS
On the Axiomatisation of Branching Bisimulation Congruence over CCS
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Axiomatisation of Branching Bisimulation Congruence over CCS

Aceto, Luca ; Castiglioni, Valentina ; Ingolfsdottir, Anna ; Luttik, Bas

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.   

Mostrar Somente

  1. Recursos Online (1.124)
  2. Revistas revisadas por pares (359)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.115)
  2. Anais de Congresso  (13)
  3. Book Chapters  (11)
  4. magazinearticle  (2)
  5. Verbetes  (1)
  6. Livros  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1985  (8)
  2. 1985Até1997  (12)
  3. 1998Até2005  (26)
  4. 2006Até2014  (309)
  5. Após 2014  (792)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (19)
  2. Ndongo  (4)
  3. Espanhol  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.