Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Participacions als congrés 2nd Barcelona Logic Meeting (BLM95) (29/6/1995 - 1/7/1995)
Títol participació: A Gentzen system equivalent to the BCK-logic
Títol participació: Ideals in universal algebra
Títol participació: Las marañas: un anillo soporte de las estructuras de datos de la programación lógica
Títol participació: Logical graphs and interpolation
Enrique Eduardo Nicolás Casanovas Ruiz-Fornells
Títol participació: Expandable models
Títol participació: Las marañas: un anillo soporte de las estructuras de datos de la programación lógica
Títol participació: Is there a finitary 1-equivalential logic not finitely equivalential?
Títol participació: An open problem in algebraic logic
Títol participació: Sequent calculi and Gentzen systems for the finite-valued Lukasiewicz propositional logics
Títol participació: Definable sets of reals and core model theory
Títol participació: Stability theory: the best of (3 sessions)
Títol participació: End and cofinal extensions in arithmetic
Títol participació: On two sequent calculi for the Stone three-valued propositional logic
Títol participació: Intuitionistic propositional logic without contraction but with reductio
Títol participació: 0ˆ# and definable equivalence relations
Títol participació: Algebrization and the deduction theorem for Gentzen systems