On axiomatization of many-valued logics associated with formalization of plausible reasonings O. M. AnshakovV. K. FinnD. P. Skvortsov OriginalPaper Pages: 423 - 447
The method of axiomatic rejection for the intuitionistic propositional logic Rafal Dutkiewicz OriginalPaper Pages: 449 - 459
Characterization of prime numbers in Łukasiewicz's logical matrix Alexander S. Karpenko OriginalPaper Pages: 465 - 478
Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term Czesław Lejewski OriginalPaper Pages: 479 - 494
Definability theorems in normal extensions of the probability logic Larisa L. Maksimova OriginalPaper Pages: 495 - 507
Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability Nguyen Cat HoHelena Rasiowa OriginalPaper Pages: 509 - 530
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety Dimiter Vakarelov OriginalPaper Pages: 565 - 575
On the eliminatibility of ideal linguistic entities Urszula Wybraniec-Skardowska OriginalPaper Pages: 587 - 615
Pre-Announcement International Symposium on ‘structures in mathematical theories’ Announcement Pages: I - I