skip to main content
Mostrar Somente
Refinado por: autor: Litak, Tadeusz remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Model Theory and Proof Theory of Coalgebraic Predicate Logic

Litak, Tadeusz ; Pattinson, Dirk ; Sano, Katsuhiko ; Schröder, Lutz

Logical Methods in Computer Science, Volume 14, Issue 1 (March 20, 2018) lmcs:4390 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion

Milius, Stefan ; Litak, Tadeusz

EPTCS 126, 2013, pp. 72-86

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion

Milius, Stefan ; Litak, Tadeusz

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Lewis meets Brouwer: constructive strict implication

Litak, Tadeusz ; Visser, Albert

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

A continuum of incomplete intermediate logics

Litak, Tadeusz

Reports on Mathematical Logic 36, pp. 131-141, 2002

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

An Algebraic Glimpse at Bunched Implications and Separation Logic

Jipsen, Peter ; Litak, Tadeusz

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructive Modalities with Provability Smack

Litak, Tadeusz

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Some notes on the superintuitionistic logic of chequered subsets of $\mathbb{R}^\infty$

Litak, Tadeusz

Bulletin of the Section of Logic, vol. 33(2), pp. 81-86, 2004

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Complete Additivity and Modal Incompleteness

Holliday, Wesley H. ; Litak, Tadeusz

The Review of Symbolic Logic 12 (2019) 487-535 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

Lewisian Fixed Points I: Two Incomparable Constructions

Litak, Tadeusz ; Visser, Albert

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (5)

Data de Publicação 

De até
  1. Antes de2013  (1)
  2. 2013Até2015  (1)
  3. 2016Até2016  (1)
  4. 2017Até2018  (7)
  5. Após 2018  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Litak, Tadeusz
  2. Litak, T
  3. Milius, Stefan
  4. Visser, Albert
  5. Milius, S.

Buscando em bases de dados remotas. Favor aguardar.