Cover Image

Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 /

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters betw...

Full description

Bibliographic Details
Main Author:	Keimel, Klaus
Corporate Author:	SpringerLink (Online service)
Other Authors:	Zhang, Guo-Qiang, Liu, Ying-ming, Chen, Yi-Xang
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2001.
Series:	Semantic structures in computation ; 1.
Subjects:	Philosophy (General) Logic. Computer science. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Directions in Relevant Logic /
by: Norman, Jean
Published: (1989)

Labelled Non-Classical Logics /
by: Viganò, Luca
Published: (2000)

Proof Theory : History and Philosophical Significance /
by: Hendricks, Vincent F.
Published: (2000)

Introduction to Axiomatic Set Theory /
by: Krivine, J. L. (Jean Louis)
Published: (1971)

Course of Mathematical Logic : Volume 2 Model Theory /
by: Fraïssé, Roland
Published: (1974)

Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)

First-Order Modal Logic /
by: Fitting, Melvin
Published: (1998)

Multi-Dimensional Modal Logic /
by: Marx, Maarten
Published: (1997)

Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /
by: Cantini, Andrea
Published: (1999)

Leśniewski's Systems Protothetic /
by: Srzednicki, Jan T. J.
Published: (1998)

A Precis of Mathematical Logic /
by: Bochenski, J. M.
Published: (1959)

Hilbert's Program : An Essay on Mathematical Instrumentalism /
by: Detlefsen, Michael
Published: (1986)

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic /
by: Gabbay, D.
Published: (1984)

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics /
by: Gabbay, Dov M.
Published: (1976)

Truthlikeness /
by: Niiniluoto, Ilkka
Published: (1987)

Handbook of Philosophical Logic : Volume I: Elements of Classical Logic /
by: Gabbay, D.
Published: (1983)

Mathematical Intuition : Phenomenology and Mathematical Knowledge /
by: Tieszen, Richard L.
Published: (1989)

The Growth of Mathematical Knowledge /
by: Grosholz, Emily
Published: (2000)

A Guide to Classical and Modern Model Theory /
by: Marcja, A. (Annalisa)
Published: (2003)

Acting and Reflecting : the Interdisciplinary Turn in Philosophy /
by: Sieg, Wilfried
Published: (1989)

Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel's Theorems /
by: Murawski, Roman
Published: (1999)

Triangular Norms /
by: Klement, E. P. (Erich Peter)
Published: (2000)

Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)

From Dedekind to Gödel : Essays on the Development of the Foundations of Mathematics /
by: Hintikka, Jaakko
Published: (1995)

The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, Johan
Published: (1991)

The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)

Bridging the Gap: Philosophy, Mathematics, and Physics : Lectures on the Foundations of Science /
by: Corsi, Giovanna
Published: (1993)

Dynamics and Management of Reasoning Processes /
by: Meyer, John-Jules Ch
Published: (2001)

Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)

An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)

Trends in Logic : 50 Years of Studia Logica /
by: Hendricks, Vincent F.
Published: (2003)

Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)

Formal Aspects of Context /
by: Bonzon, Pierre
Published: (2000)

Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)

Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)

Algebraic Foundations of Many-Valued Reasoning /
by: Cignoli, Roberto L. O.
Published: (2000)

The Lvov-Warsaw School and Contemporary Philosophy /
by: Kijania-Placek, Katarzyna
Published: (1998)

Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)

Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)