Hans Kleine Buning and Theodor Lettmann, propositional logic: Deduction and algorithms

Studia Logica 71 (2):247-258 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1016553006778

Other Versions

No versions found

Links

PhilArchive

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

Linear lambda-terms and natural deduction.G. Mints - 1998 - Studia Logica 60 (1):209-231.
The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History. [REVIEW]Jenz Høyrup - 2005 - Studia Logica 80 (1):143-147.
Correction to: A Modal View on Resource-Bounded Propositional Logics.Pere Pardo - 2022 - Studia Logica 110 (6):1537-1538.
Preface for Studia Logica Special Issue (2).Dov M. Gabbay & Leendert van der Torre - 2009 - Studia Logica 93 (2-3):105 - 108.
Preface for Studia Logica Special Issue (2).Dov Gabbay & Leendert Torre - 2009 - Studia Logica 93 (2-3):105-108.
The Contributions of Logic to the Foundations of Physics: Foreword. [REVIEW]Diederik Aerts, Sonja Smets & Jean P. Van Bendegem - 2010 - Studia Logica 95 (1-2):1-3.
Cn-definitions of propositional connectives.Witold A. Pogorzelski & Piotr Wojtylak - 2001 - Studia Logica 67 (1):1-26.
Logic, Language, and Information.L. T. F. Gamut - 1999 - Studia Logica 63 (2):269-272.
Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2000 - Studia Logica 65 (1):1-9.
Preface.Daniele Mundici & Maria Luisa Dalla Chiara - 1999 - Studia Logica 62 (2):117-120.

Analytics

Added to PP
2009-01-28

Downloads
105 (#475,819)

6 months
8 (#1,343,786)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

I. deontic logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
Deontic logic: introductory and systematic readings.Risto Hilpinen (ed.) - 1970 - Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston.
Some main problems of deontic logic.Jaakko Hintikka - 1970 - In Risto Hilpinen, Deontic logic: introductory and systematic readings. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 59-104.
Defeasible Deontic Logic.Donald Nute - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
Defeasible Deontic Logic.Donald Nute - 2001 - Studia Logica 67 (1):129-139.

View all 9 references / Add more references