Ein algebraischer Beweis für das Church-Rosser-Theorem.
Ein Algorithmus zur automatischen Lösung konstruktiver Problemstellungen
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
Ein Beitrag zu der GUHA Methode in der dreiwertigen Logik
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.
Ein Satz über reproduktive Lösungen.
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.
Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.
Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin.
Eine algebraische Konstruktion abzählbarer Modelle.
Eine Logik vager Sätze.
Eine Note zum System PC.
Eine semantische Charkterisierung der durch die Implikation allein darstellbaren Wahrheitsfunktionen.
Embedded Lattice and Properties of Gram Matrix
In this article, we formalize in Mizar [14] the definition of embedding of lattice and its properties. We formally define an inner product on an embedded module. We also formalize properties of Gram matrix. We formally prove that an inverse of Gram matrix for a rational lattice exists. Lattice of Z-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lov´asz) base reduction algorithm [16] and cryptographic systems with lattice [17].
Embedding algebraic closure spaces in 2-ary closure spaces
Embedding relations in the lattice of recursively enumerable sets.
Embeddings of quasicells of iterative algebras.
Entropies of vague information sources
The information-theoretical entropy is an effective measure of uncertainty connected with an information source. Its transfer from the classical probabilistic information theory models to the fuzzy set theoretical environment is desirable and significant attempts were realized in the existing literature. Nevertheless, there are some open topics for analysis in the suggested models of fuzzy entropy - the main of them regard the formal aspects of the fundamental concepts. Namely their rather additive...
Entropy of -sums and -products of - fuzzy numbers
In the paper the entropy of – fuzzy numbers is studied. It is shown that for a given norm function, the computation of the entropy of – fuzzy numbers reduces to using a simple formula which depends only on the spreads and shape functions of incoming numbers. In detail the entropy of –sums and –products of – fuzzy numbers is investigated. It is shown that the resulting entropy can be computed only by means of the entropy of incoming fuzzy numbers or by means of their parameters without the...