Cover Image

Introduction to logic for systems modelling /

Bibliographic Details
Main Author:	Pinkava, Václav
Format:	Book
Language:	English
Published:	Cambridge, Mass. : Abacus Press, 1988.
Series:	Information technology and systems series.
Subjects:	Logic, Symbolic and mathematical. Machine theory. Many-valued logic.

Similar Items

Many-valued logics /
by: Malinowski, Grzegorz
Published: (1993)

An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems /
by: Bergmann, Merrie
Published: (2008)

Many-values logics /
Published: (1951)

Multiple valued logic : concepts and representations /
by: Miller, D. Michael
Published: (2008)

Multiple valued logic : concepts and representations /
by: Miller, D. Michael
Published: (2008)

Many-valued logics /
by: Bolc, Leonard, 1934-
Published: (1992)

The Nineteenth International Symposium on Multiple-Valued Logic : proceedings /
Published: (1989)

The Eighth International Symposium on Multiple-Valued Logic : proceedings.
Published: (1978)

The twenty-fourth International Symposium on Multiple-Valued Logic : proceedings, May 25-27, 1994, Boston, Massachusetts /
Published: (1994)

1995 25th International Symposium on Multiple-Valued Logic : proceedings ; May 23-25, 1995, Bloomington, Indiana /
Published: (1995)

Twentieth International Symposium on Multiple-Valued Logic : May 23- 25, 1990, Charlotte, North Carolina, USA, proceedings /
Published: (1990)

1996 International Symposium on Multiple-Valued Logic : May 29-31, 1996, Santiago de Compostela, Spain : proceedings /
Published: (1996)

The many valued and non-monotonic turn in logic /
Published: (2007)

33rd International Symposium on Multiple-Valued Logic : proceedings : 16-19 May, 2003, Meiji University, Tokyo, Japan /
Published: (2003)

1998 28th International Symposium on Multiple-Valued Logic : proceedings : May 27-29, 1998, Fukuoka, Japan /
Published: (1998)

Proceedings of the 1975 International Symposium on Multiple-Valued Logic, Indiana University, Bloomington, Indiana, May 13-16, 1975 /
Published: (1975)

32nd IEEE International Symposium on Multiple-Valued Logic : proceedings : May 15-18, 2002, Boston, Massachusetts, USA /
Published: (2002)

1997 27th International Symposium on Multiple-Valued Logic : May 28-30, 1997, Antigonish, Nova Scotia, Canada : proceedings /
Published: (1997)

The many valued and non-monotonic turn in logic /
Published: (2007)

1999 29th IEEE International Symposium on Multiple-Valued Logic : proceedings : May 20-22, 1999, Freiburg im Breisgau, Germany /
Published: (1999)

The Twenty-third International Symposium on Multiple-Valued Logic, May 24-27, 1993, Sacramento, California /
Published: (1993)

Algebraic foundations of many-valued reasoning /
by: Cignoli, Roberto
Published: (2000)

Proceedings : the Fifteenth International Symposium on Multiple-Valued Logic /
Published: (1985)

Proceedings : the Fourteenth International Symposium on Multiple-Valued Logic, Canada /
Published: (1984)

Proceedings : the ninth International Symposium on Multiple-Valued Logic, the Beaufort Hotel, Bath, England, 1979.
Published: (1979)

Proceedings : the Tenth International Symposium on Multiple- Valued Logic, Northwestern University, Evanston, Il., 1980.
Published: (1980)

Proceedings : 31st IEEE International Symposium on Multiple-Valued Logic /
Published: (2001)

Proceedings : the Seventeenth International Symposium on Multiple-Valued Logic, May 26-28, 1987, Boston, Massachusetts, USA /
Published: (1987)

Proceedings : the Sixteenth International Symposium on Multiple-Valued Logic, May 27-29, 1986, Blacksburg, Virginia, USA /
Published: (1986)

Proceedings : the Eighteenth International Symposium on Multiple-Valued Logic, May 24-26, 1988, Palma de Mallorca, Spain /
Published: (1988)

Proceedings : the eighth International Symposium on Multiple-Valued Logic, Sheraton O'Hare Motor Hotel, Rosemont, Illinois, 1978.
Published: (1978)

Logic, computers, and sets.
by: Wang, Hao
Published: (1970)

Proceedings : The Twenty-second International Symposium on Multiple-Valued Logic, May 27-29, 1992, Sendai, Japan /
Published: (1992)

Proceedings : the Thirteenth International Symposium on Multiple-Valued Logic, May 23-25, 1983 Holiday Inn, Kyoto, Japan /
Published: (1983)

Beyond two : theory and applications of multiple-valued logic /
Published: (2003)

Proceedings : the Twelfth International Symposium on Multiple-Valued Logic, May 25-27, 1982, Conservatoire National des Arts et Metiers, Paris, France.
Published: (1982)

Proceedings : the seventh International Symposium on Multiple-Valued Logic, May 24-27, 1977, Cone University Center, University of North Carolina at Charlotte, Charlotte, NC /
Published: (1977)

Proceedings : the eleventh International Symposium on Multiple-Valued Logic, May 27-29, 1981, Lincoln Plaza Inn, Oklahoma City, University of Oklahoma, Norman, Oklahoma /

Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)

An algebraic introduction to mathematical logic /
by: Barnes, Donald W.
Published: (1975)