[Flirts] 2 new papers

Amilcar Sernadas acs at math.ist.utl.pt
Mon Jan 27 17:03:01 MET 2003


C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos. Dyadic 
semantics for many-valued logics. Preprint, Section of Computer Science, 
Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, 
Portugal, 2003. Submitted for publication.
Get a preprint: 
http://www.cs.math.ist.utl.pt/ftp/pub/CaleiroC/03-CCCM-dyadic2.pdf

C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos. Suszko's Thesis 
and dyadic semantics. Preprint, Section of Computer Science, Department of 
Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2003. 
Submitted for publication.
Get a preprint: 
http://www.cs.math.ist.utl.pt/ftp/pub/CaleiroC/03-CCCM-dyadic1.pdf


++++++++++++++++++++++++++++++++++++++++++++++++++
Amilcar Sernadas
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel: 351-21-8417150
fax: 351-21-8417598
e-mail: acs at math.ist.utl.pt
www: http://www.cs.math.ist.utl.pt/cs/acs.html
++++++++++++++++++++++++++++++++++++++++++++++++++




More information about the Flirts mailing list