Pyn'ko O. Algebraic interpretation of propositional sequential calculi

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0400U003210

Thesis Registration Form

0400U003210.pdf

Applicant for

Specialization

  • 01.01.08 - Математична логіка, теорія алгоритмів і дискретна математика

27-11-2000

Specialized Academic Board

Д 26.001.18

Taras Shevchenko National University of Kyiv

Essay

The thesis is devoted to investigation of the concept of equivalence of propositional Gentzen calculi and quasivarieties of abstract algebras which generalizes the concept of equivalence of propositional Hilbert calculi and quasivarieties introduced by Blok and Pigozzi.

Read more

Similar theses

0421U102374

Skochko Volodymyr Mykhailovych

The growth of initial invertible automata

0521U101177

Varbanets Serhii Pavlovych

Method on exponential sums in theory of congruential generators of the pseudorandom numbers and asymptotic problems in number theory

0419U004313

Dudenko Marharyta

Metric bases of graphs

0416U004040

Bashova Nadezhda Petrovna

The classification and the calculation of the number of the topologies on the finite sets

0416U000249

Tran Thе Vinh

Applications of the Kloosterman sums in cryptography and coding