Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Pałasińska K.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Expansion by a new constant may change the finite axiomatization property of a matrix

Pałasińska K.

Czasopismo Techniczne. Nauki Podstawowe

2016

Y. 113, iss. 1-NP

131--136

We give an example of a finite matrix with the property that expanding its language with a constant changes its finite axiomatization property: in the language with one binary operation the tautologies of the matrix are finitely axiomatizable while in the expanded language they are not. The constant we add is not definable in the original language. The deductive system generated by this matrix is not algebraizable.

Podajemy przykład skończonej matrycy logicznej, która jest skończenie aksjomatyzowalna, ale po dodaniu stałej do sygnatury tej matrycy, własność ta się psuje. Dodawana stała nie jest definiowalna w języku matrycy, a operator konsekwencji wyznaczony przez tę matrycę nie jest algebraizowalny.

Sequent calculi and quasivarietes

Pałasińska K.

Reports on Mathematical Logic

2000

No. 34

107-131

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.