4th Workshop on Logic, Language, Information and Computation (WoLLIC'97)
August 20-22, 1997
(Tutorial Day: August 19th)
Ponta Mar Hotel, Fortaleza (Ceará), Brazil

Sponsored by IGPL, FoLLI, ASL, SBC
Funded by CAPES, CNPq, FINEP, FUNCAP
Organised by UFC, UFPE

[next page | previous page | main page]


Abstracts Selected

(Alphabetical order by first author's surname.)

An Analysis for Spanish Comparatives in Categorial Grammar
P. Accuosto and D. Wonsever
Instituto de Computación, Universidad de la República, URUGUAY

Formalization of Knowledge and Belief based on Kleene's Strong Logic
M. Alvarado
LSI, Technical University of Catalonia, SPAIN
and
G. Núñez
Center of Computational Research, National Technical Institute (IPN), MEXICO

Classical Negation can be Expressed by one of its Half
J.-Y. Béziau
Laboratório Nacional de Computação Científica (LNCC), BRAZIL

A Modal Framework with Dependence for Reasoning About Actions
M. A. Castilho, O. Gasquet and A. Herzig
Institut de Recherches en Informatique Théorique (IRIT), Université Paul Sabatier, FRANCE

Fuzzy Logic: An Extension Problem
J. C. Cifuentes
Departamento de Matemática, Universidade Federal do Paraná (UFPR), BRAZIL

Distributed Semantics via Causal Transition Systems
R. J. Coelho da Costa
Departamento de Informática e Estatística, Univ. Federal de Santa Catarina (UFSC), BRAZIL

A Little Note about the Rott Contraction
E. L. Fermé and R. Rodriguez
Universidad de Buenos Aires, ARGENTINA

Modelling Parameterisation in Concurrent Object Systems
J. K. Filipe
Informatik, Technische Universität Braunschweig, GERMANY

Complex Combinators and Structural Equations
M. Finger
Departamento de Ciência da Computação, Universidade de São Paulo (USP), BRAZIL

Modularity and Consequence Relation
R. P. de Freitas
Laboratório de Métodos Formais, Pontifícia Universidade Católica do Rio de Janeiro, BRAZIL
and
S. R. M. Veloso
COPPE/ Instituto de Matemática, Universidade Federal do Rio de Janeiro, BRAZIL

Proof Search and Proof Nets Construction in Linear Logic
D. Galmiche
CRIN-CNRS & UHP Nancy 1, FRANCE
and
B. Martin
École Normale Supérieure de Lyon, FRANCE

Eliminating Commuting Conversions and Constructive Necessity
N. Ghani, V. de Paiva and E. Ritter
School of Computer Science, University of Birmingham, UNITED KINGDOM

On the Expressive Power of the Lambek Calculus Extended with a Structural Modality
Ph. de Groote
INRIA-Lorraine - CRIN - CNRS, FRANCE

Decision Trees, Compression, and Boolean Lattices
C. Hammond and R. Levinson
Department of Computer and Information Sciences, University of California at Santa Cruz, USA

On the Difference between Arbitration and Majority Merging
S. Konieczny and R. Pino Pérez
Laboratoire d'Informatique Fondamentale de Lille, Université de Lille 1, FRANCE

True Concurrency Model for Read/Write Access Systems
M. Korff
Nutec Informática, BRAZIL
and
L. Ribeiro
Instituto de Informática, Universidade Federal do Rio Grande do Sul (UFRGS), BRAZIL

Pure Type Systems with Definitions and Parameters
T. Laan, P. Severi and J. Zwanenburg
Eindhoven University of Technology, THE NETHERLANDS

Distinguished Sets in Theories Without Foundation
M. V. Marshall and M. G. Schwarze
Departamento de Matemáticas, Pontificia Universidad Catolica, CHILE

A Nonmonotonic Analytic Consequence Relation
C. A. Oller
Departamento de Filosofía, Universidad de Buenos Aires, ARGENTINA

Rewriting of Types and Diagonalization in the Oyster-Clam System
J. Pellegrini and J. Wainer
Instituto de Computação, Universidade Estadual de Campinas (UNICAMP), BRAZIL

Labelled Proof Nets for the Syntax and the Semantics of Natural Languages
G. Perrier
CRIN-CNRS & INRIA Lorraine, FRANCE

Jumping to Explanations vs Jumping to Conclusions
R. Pino Pérez
LIFL, Université de Lille I, FRANCE
and
C. Uzcátegui
Departamento de Matemáticas, Universidad de Los Andes, VENEZUELA

On Program Correctness over Finite Data Types
A. Prokhorov
FB 17 Mathematik-Informatik, Universität-GH Paderborn, GERMANY

Recognizing Classes of Logic Programs
F. Protti and G. Zaverucha
COPPE/Sistemas, Universidade Federal do Rio de Janeiro (UFRJ), BRAZIL

An Answer to the Hidden Function Question for Algebraic Specification Methods
A. Schönegge
Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe, GERMANY

Schematic Systems
J. P. Viana
Departamento de Análise, Inst. de Matemática, Univ. Federal Fluminense (UFF), BRAZIL
and
S. R. M. Veloso and P. A. S. Veloso
Instituto de Matemática, Universidade Federal do Rio de Janeiro (UFRJ), BRAZIL

Towards Efficient Verification of Time Petri Nets
I. B. Virbitskaite and E. Pokozy
Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, RUSSIA

Investigating Equivalence Notions for Time Petri Nets
I. B. Virbitskaite and I. V. Tarasyuk
Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, RUSSIA

Temporal Logics for Concurrent Nondeterministic Processes
I. B. Virbitskaite and A. Votintseva
Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, RUSSIA

Generalized Lambda-Calculi
H. Xi
Department of Mathematical Sciences, Carnegie Mellon University, USA