Kripke models and manivalued logics, II
Kripke models for intuitionistic theories with decidable atomic formulas.
Kripke models with relative accessibility and their applications to inferences from incomplete information
Kripke-Semantik der derivativen Prädikatelogik.
Krull-Gabriel dimension and Cantor-Bendixson rank of 1-domestic string algebras
We prove that the Krull-Gabriel dimension of the category of modules over any 1-domestic non-degenerate string algebra is 3.
Kurepa's Hypothesis and a Problem of Ulam on Families of Measures.
Kurepa's hypothesis and the continuum
Kurzer Weg zur Bestimmung der durch eine Aussageverbindung dargestellten Wahrheitsfunktion.
Kvantová teorie a operace spojení v teorii svazů