A Logical Descriptor for Regular Languages via Stone Duality

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Poetik des Unbehagens. Unlust als 'point de départ' in Romanen Marie NDiayes

Die Romane der französischen Autorin Marie NDiaye (geb. 1967) sind durchzogen von Zuständen des Unwohlseins: NDiayes Protagonistinnen werden auf diffuse Weise sozial ausgegrenzt oder massiv bedrängt, verlieren die Kontrolle über ihren Körper oder geraten in schwindelerregende Zweifel über den Realitätsgehalt ihrer Sinneswahrnehmungen und Erinnerungen. Anhand der Romane "En famille" (1990), "Autoportrait en vert" (2005) und "Mon cœur à l’étroit" (2007) zeigt der Aufsatz, dass diese Momente des Unbehagens nicht nur die Suchbewegungen und Erkenntnisprozesse der Romanfiguren auslösen, sondern auch die kreative Spannung bilden, die den Vorgang der literarischen inventio in Gang setzt. Theoretische Modelle einer Psychologie, in der Unlust als Antrieb fungiert, finden sich bei Leibniz, Locke und Freud; Elemente einer Narratologie der Unlust, mit der sich die quête-Struktur von NDiayes Romanen beschreiben lässt, bietet die strukturalistische Märchentheorie Wladimir Propps und seiner Nachfolger.

Admissibility via natural dualities

It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive lattices, Stone algebras, Kleene algebras and lattices, and De Morgan algebras and lattices.

Applicative theories for logarithmic complexity classes

We present applicative theories of words corresponding to weak, and especially logarithmic, complexity classes. The theories for the logarithmic hierarchy and alternating logarithmic time formalise function algebras with concatenation recursion as main principle. We present two theories for logarithmic space where the first formalises a new two-sorted algebra which is very similar to Cook and Bellantoni's famous two-sorted algebra B for polynomial time [4]. The second theory describes logarithmic space by formalising concatenation- and sharply bounded recursion. All theories contain the predicates WW representing words, and VV representing temporary inaccessible words. They are inspired by Cantini's theories [6] formalising B.

Ostpreussen und Westpreussen

Niedersächsische Landesbibliothek Hannover

Katalog des Schrifttums über den deutschen Osten

Niedersächsische Landesbibliothek Hannover

Exact Unification and Admissibility

A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive lattices, idempotent semigroups, and MV-algebras, which all have nullary unification type, have unitary or finitary exact type. These results are obtained via an algebraic interpretation of exact unification, inspired by Ghilardi's algebraic approach to equational unification.

Na 50 Nachlass Arthur Schopenhauer - 'Schopenhauer-Archiv', 56 - Bitte nach weiteren Hintergrundinformationen für eine geplante Publikation

u.a.: Kritik an Immanuel Kant; Herausgeber der Publikation "Spekulation seit Kant"; historische Methode; Biographie Schopenhauers; Gottfried Wilhelm Leibnitz; Friedrich Wilhelm Joseph Schelling; Immanuel Kant;

Recueil de diverses pièces, sur la philosophie, la religion naturelle, l'histoire, les mathématiques, etc.

par Leibniz, Clarke, Newton ... [Publiées par P. DesMaiseaux]

Leben des Freyherrn Gottfried Wilhelm von Leibnitz : an das Licht gestellet

von Lamprecht

Des Freyherrn von Leibnitz Kleinere philosophische Schriften

mit einer Vorrede Christian Wolffs. Von Heinrich Köhler teutsch übers., nun auf das neue übersehen von Caspar Jacob Huth