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

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

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

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)

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

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

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

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

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)

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

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

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

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

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

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

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

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)

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)

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)

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

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

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

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

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

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)

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

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