Buscar
Mostrando ítems 11-20 de 887
Valorações para alguns sistemas de logica do tempo
([s.n.], 1982)
Semantica nominativa e logicas modais
([s.n.], 1989)
Semanticas de traduções possiveis
([s.n.], 1999)
Provas de normalização para a logica classica
([s.n.], 1990)
Uma logica modal temporal
([s.n.], 1994)
Uma lógica do poucos
(Universidade Estadual Paulista (Unesp), 2011-09-09)
Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos ...