Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones

Participacions als congrés Workshop on Abstract Algebraic Logic (1/7/1997 - 5/7/1997)

P. Agliano Títol participació: Fregean substractive varieties

C. J. Alten, van Títol participació: The finite model property for the implicational fragment of IPC without exchange

H. Andréka Títol participació: Algebraizable logics and algebraizable semantic logics: a unified theory

G. Barbour Títol participació: Unifying algebraizability and full congruence regularity

Janusz Michal Czelakowski Títol participació: On the classification of deductive systems

P. Dellunde Títol participació: Equality-free logic

Z. Diskin Títol participació: 4-dimesional space of algebraic logic: a unified functional framework for propositional-like and equational-like logics

R. Elgueta Títol participació: Some Neumann-like correspondences

I. M. A. Ferreirim Títol participació: Certain BCK-algebras as residuation subreducts of (dual) hoops

Josep Maria Font Llovet Títol participació: Generalized matrices and full models

J. Gispert Títol participació: Locally finite quasiverieties of MV-algebras

E. Hoogland Títol participació: Algebraic characterizations of two Beth definability properties

P. M. Idziak Títol participació: Polynomial in Fregean varieties

Ramon Jansana Ferrer Títol participació: On strong versions of protoalgebraic logics

Barbara Klunder Títol participació: Varieties of pseudo-interior algebras

R. A. Lewin Títol participació: Algebras and matrices for annotated logics

J. X. Madarász Títol participació: Craig interpolation in algebraizable logics

L. Maksimova Títol participació: On the Beth definability properties in varieties of modal algebras

I. Németi Títol participació: Multi-modal logics and algebraizations of quantifier logics

K. Palasinska Títol participació: Finite basis theorem for filter-distributive protoquasivarieties

Don Leonard Pigozzi Títol participació: Abstract Algebraic Logic: Past, present and future

J. G. Raftery Títol participació: On the algebra of noncommutative residuation: exchange-free intuitionistic proposition logic

J. Rebagliato Títol participació: Protoalgebraic Gentzen systems and the cut rule

V. V. Rybakov Títol participació: Quasi-characteristic rules for transitive modal logics

I. Sain Títol participació: On algebraic characterizations of some definability properties

A. Salibra Títol participació: Categorical frames and Boolean algebras with operators in a category

B. Šešelja Títol participació: On a set of first order formulas satisfied by some compatible relations on algebras

K. Slomczynska Títol participació: Commutator in Fregean varieties

A. Ursini Títol participació: Ideal theory and natural deduction

Ventura Verdú Solans Títol participació: Product logic, Lukasiewicz logic and the deduction theorem

G. Voutsadakis Títol participació: Algebraizing institutions: An approach to categorical abstract algebraic logic

A. Wronski Títol participació: An overview of Fregean varieties