logik  (17 789 Angebote unter 17 603 658 Artikeln)

This volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers s...

Vorwort.- I. Zur Systemreferenz Kognitiver Symbousierungen.- 1. Der allgemeine Bezugsrahmen der voluntaristischen Handlungstheorie.- 2. Wissenschaft als Aussagensystem und als Handlungszusammenhang...

Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expressive logic for a process algebra with silent actions.- Temporal logic with fixed points.- On the rel...

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), TARSKI: Theory and - plications of Relational Structures as Knowledg...

1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Class...

Our world is most certainly an integrated whole! Is there a higher creative intelligence, is there a God? Is there a spirit, a spiritual dimension? Does our life end with death? Do humans have a fr...

The Square of Opposition: A Cornerstone of Thought

Vagueness and Roughness.- Modified Indiscernibility Relation in the Theory of Rough Sets with Real-Valued Attributes: Application to Recognition of Fraunhofer Diffraction Patterns.- On Certain Roug...

The Imaginary Logic of Nikolai Aleksandrovich Vasil'ev

This book provides an overview of the confluence of ideas in Turing's era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributi...

Toward Predicate Approaches to Modality

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revi...

This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which w...

Die Logischen Untersuchungen von 1900/1901 bildeten den Ausgangspunkt der phänomenologischen Bewegung. Die Untersuchung "Über intentionale Erlebnisse und ihre Inhalte" hat ihre Bedeutung darin, das...

Logisch-philosophische Abhandlung