Book Review: Reiner Hähnle. Automated Deduction in Multiple-valued Logics [Book Review]

Notre Dame Journal of Formal Logic 37 (4):631-646 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040046147

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.
Automated theorem proving for łukasiewicz logics.Gordon Beavers - 1993 - Studia Logica 52 (2):183 - 195.
Book Review: Grzegorz Malinowski Many-Valued Logics. [REVIEW]Alasdair Urquhart - 1994 - Notre Dame Journal of Formal Logic 35 (3):469-470.
Many-valued logics and Suszko's thesis revisited.Marcelo Tsuji - 1998 - Studia Logica 60 (2):299-309.
Distributivity in Lℵ0 and Other Sentential Logics.Kenneth Harris & Branden Fitelson - unknown
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Many-valued modal logics II.Melvin Fitting - unknown
Many-valued modal logics.Melvin C. Fitting - unknown
Towards an Atlas of Formal Logics.Michael Kohlhase & Kristina Sojakova - unknown
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
On axiomatization of many-valued logics associated with formalization of plausible reasonings.O. M. Anshakov, V. K. Finn & D. P. Skvortsov - 1989 - Studia Logica 48 (4):423 - 447.
Factor semantics forn-valued logics.A. S. Karpenko - 1983 - Studia Logica 42 (2-3):179 - 185.

Analytics

Added to PP
2010-08-24

Downloads
17 (#843,162)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Grzegorz Malinowski
University of Lodz

Citations of this work

Add more citations

References found in this work

No references found.

Add more references