Sequent calculi and quasivarietes

• Autorzy: Pałasińska K.
• Konferencja: Algebra & Substructural Logic (10-17.11.1999 ; Japan)
• Języki publikacji: EN

Abstrakty

EN

We discuss relatively point-regular quasivarieties related in some special sense to sequent calculi. We show that the free algebra in such a quasivariety is Fregean if in the sequent calculus the so-called symmetric contraction rules are admissible. In the presence of the fusion connective this is equivalent to having contraction. With every sequent calculus G one can associate a sequent calculus with fusion; if this calculus has a separability property then the algebras from the related quasivariety Q are embeddable into algebras with fusion.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2000
• Tom: No. 34
• Strony: 107--131

Twórcy

autor

Pałasińska K.

• Politechnika Krakowska Katedra Matematyki ul. Warszawska 24 31-155 Kraków,