
Authors:
Tarek Sayed AHMED
Title:Algebras of Sentences
Pages:110
File:bibtex
Abstract ( + )
In this note we give an interpretation of cylindric algebras as algebras of sentences (rather than formulas) of first order logic. We show that the isomorphism types of such algebras of sentences coincide with the class of neat reducts of cylindric algebras. Also we show how this interpretation sheds light on some recent results. This is done by likening Henkin's Neat Embedding Theorem to his celebrated completeness proof.

Authors:
Szymon FRANKOWSKI
Title:General approach to many valued Kripke models
Pages:1126
File:bibtex
Abstract ( + )
Main investigations concerning Kripke models refer to two valued case. The papers devoted to manyvalued modal logics do not contain even elementary theory of appropriate models. This paper provides very general notion of many valued Kripke model for every standard multimodality, and displays the suitable generalizations of the ideas known from the classical case: disjoint sum of Kripke models, bounded morphism (sometimes called pmorphism), bisimulation.

Authors:
Szymon FRANKOWSKI
Title:Definable classes of many valued Kripke frames
Pages:2736
File:bibtex
Abstract ( + )
This paper is a continuation of the paper BSL 35/1/2 and introduces the counterparts of well known notions as frame definability and first order correspondence.

Authors:
Joanna GRYGIEL
Title:Weighted Double Skeletons
Pages:3747
File:bibtex
Abstract ( + )
We introduce a notion of weighted double skeleton of finite distributive lattices, which provides full characterization of the lattices.

Authors:
Andrei KHRENNIKOV, Andrew SCHUMANN
Title:Logical Approach to padic Probabilities
Pages:4957
File:bibtex
Abstract ( + )
In this paper we considered a moving from classical logic and Kolmogorov's probability theory to nonclassical padic valued logic and padic valued probability theory. Namely, we defined padic valued logic and further we constructed probability space for some ideals on truth values of padic valued logic. We proposed also padic valued inductive logic. Such a logic was considered for the first time. The main originality of padic valued inductive logic consists in the nonclassical interpretation of the negation symbol.