It is well known that the notions of a "decidable subset" and "recursively enumerable subset" are basic one for classical logic. In particular, they are basic tools for the proof of the famous limitative theorems about the undecidability and incompleteness of first order logic. Then, the question of a suitable extension of such concepts to fuzzy set theory arises. A first proposal in such a dir...

In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Godel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics are built over a restricted language, namely a two level language composed of nonmodal and modal formulas, the latter m...

We discuss tenn rewriting in conjunction with sprfn, a Prolog-based theorem prover. Two techniques for theorem proving that utilize tenn rewriting are presented. We demonstrate their effectiveness by exhibiting the results of our experiments in proving some theorems of von Neumann-Bemays-Godel set theory. Some outstanding problems associated with tenn rewriting are also addressed.

Melanie Elze / Rosemarie Godel-Gaßner Alfred Hagemann Sabine Krehl (Hg.), Jenny Heymann (1890 – 1996). Lebensstationen einer jüdischen Lehrerin mit bildungsgeschichtlichen Streifzügen durch Württemberg (Ludwigsburger Hochschulschriften, Bd. 18 der Reihe TRANSFER). Hohengehren: Schneider Verlag 2020. 366 S. ISBN 978-3-8340-2067-3. Geb. € 39,80

We define the notion of a canonical Gödel system in the framework of single-conclusion hypersequent calculi. A corresponding general (nondeterministic) Gödel valuation semantics is developed, as well as a (non-deterministic) linear intuitionistic Kripke-frames semantics. We show that every canonical Gödel system induces a class of Gödel valuations (and of Kripke frames) for which it is strongly...

The genetic code structure into distinct multiplet-classes as well as the numeric degeneracies of the latter are revealed by a two-step process. First, an empirical inventory of the degeneracies (of the shuffled multiplets) in two specific equal moieties of the experimental genetic code table is made and transcribed in the form of a sequence of integers. Second, a Gödel Encoding procedure is ap...

“Quand on lit Bopp et son école, on en arriverait à croire que les Grecs avaient apporté avec eux, depuis un temps infini, un bagage de racines, thèmes et suffixes, et qu'au lieu de se servir des mots pour parler, ils s'occupaient de les confectionner." (F. DE SAUSSURE, Morphologie. In: R. GODEL (ed.), A Geneva School Reader in Linguistics. Bloomington/London: Indiana University Press. 1969, p....