Na verdade, como diz o Décio, dá pra construir um grupo que não cabe dentro de
ZF.
Sent from my iPhone
On 26/05/2013, at 13:59, Décio Krause wrote:
> Mas que tal se usássemos ZF de segunda ordem? L-S não poderia ser invocado...
> Como se vê, o tema é legal e sutil.
> Abraços
> Décio
>
>
>
Colegas,
Muito obrigado MESMO pelas referências, já comecei estudar, e elas certamente
me pouparão muito TEMPO :) E também confirmam minha suspeita de que o assunto
era mesmo bem desenvolvido. Aproveito, então, e deixo a vocês uma pergunta
séria, mas que vou formular em termos lúdicos: suponha
Olás,
Só pontuando algumas coisinhas;
- resultados de consistência em modelos de ZFA, esses tais modelos de
permutacoes com átomos, podem ser, em geral, transferidos para ZF por
resultados de Pincus; quem quiser eu corro atrás da referência. Carlos
devia saber disso já, é meio padrao no co
hmm, obrigada JM pela referencia elogiosa ao meu trabalho com o Torben
sobre Deducao Natural pra logica hibrida construtiva!
mas e':
> (É inteiramente misteriosa para mim a razão
> pela qual outros autores gastam tempo sobre sistemas dedutivos ad hoc
> para esta ou aquela lógica modal, dado que a
Oi Daniel.
Em relação à sua pergunta:
>A pergunta, então, é: tem alguma lógica não-clássica que eu não vou conseguir
>resolver no meu software, simulando-a como uma teoria de primeira ordem
>clássica?
Bom, pra não ser simulável em primeira ordem, que é turing completa, a
lógica teria de "mais
Oi Daniel,
Não sei entendi sua pergunta. Mas em Lógicas temporais o uso de operadores
que são definidos usando-se fecho transitivo ou ponto fixo é bem comum, por
exemplo o Until. Voce não irá conseguir expressá-los no sistema Fitch.
Um abraço,
Mario
Em 27 de maio de 2013 15:42, Marcelo Finger
Hola, Valéria e João.
Bem, eu ia me abster de responder, mas resolvi fazer um comentário rápido.
Em primeiro lugar, eu nunca disse que a Sara inventou sistemas rotulados. O
que eu disse foi que o cap 11 do livro de Proof Analysis é um bom lugar
para ler sobre sistemas modais rotulados baseados em
2013/5/27 Elaine Pimentel escreveu:
>
> Em primeiro lugar, eu nunca disse que a Sara inventou sistemas rotulados.
Ei, eu não disse que você disse. :-) Mas não pude perder a chance de
espicaçar a Sara, que é uma pessoa de uma antipatia cristalina. O
cúmulo para mim foi ela lá no UNILOG interrompe
Olá, Jean-Yves,
estava conversando com o Leclerc, parece mesmo que o encontro do ALFAn
(associacao latino-americana de Filosofia Analítica) vai ser em Fortaleza e
em maio de 2014. Este ainda vai congregar o encontro da SBFA (Sociedade
Brasileira de Filosofia Analítica). Ou seja, vai ser evento gra
Caros,
falei do xytree, mas percebi uma solução melhor: xypic, que permite
modificar o espaçamento das células
http://www.tug.org/applications/Xy-pic/
código:
\xymatrix@R=.7pt@C=8pt{
1. && \sim((\lozenge p\&\lozenge q)\supset\lozenge(p\& q))&&&(n)&NTF\\
2. && (\lozenge p\&\lozenge q)&&&(n)&1\\
Oi Alessandro!
Posso dar uma sugestao? =)
Se voce incluir os headers - como no exemplo abaixo - acho que fica
bem mais facil as pessoas testarem o seu codigo...
[[]], Eduardo
\documentclass{article}
\usepackage{xypic}
\usepackage{amssymb}
\begin{document}
\xymatrix@R=.7pt@C=8pt{
1. && \sim((\l
Eduardo,
bem lembrado.
Em 27-05-2013 19:50, Eduardo Ochs escreveu:
> Oi Alessandro!
> Posso dar uma sugestao? =)
> Se voce incluir os headers - como no exemplo abaixo - acho que fica
> bem mais facil as pessoas testarem o seu codigo...
> [[]], Eduardo
>
>
> \documentclass{article}
> \usepacka
12 matches
Mail list logo
