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

Links

PhilArchive



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

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

A deduction theorem schema for deductive systems of propositional logics.Janusz Czelakowski & Wies?aw Dziobiak - 1991 - Studia Logica 50 (3-4):385 - 390.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
On the existence of polynomial time algorithms for interpolation problems in propositional logic.E. Dahlhaus, A. Israeli & J. A. Makowsky - 1988 - Notre Dame Journal of Formal Logic 29 (4):497-509.
The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Aspects of analytic deduction.Athanassios Tzouvaras - 1996 - Journal of Philosophical Logic 25 (6):581-596.

Analytics

Added to PP
2009-01-28

Downloads
27 (#585,141)

6 months
7 (#419,635)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A Textbook of Belief Dynamics: Theory Change and Database Updating.Sven Ove Hansson - 1999 - Dordrecht and Boston: Kluwer Academic Publishers.
I. deontic logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
Deontic logic: introductory and systematic readings.Risto Hilpinen (ed.) - 1976 - Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston.
Some main problems of deontic logic.Jaakko Hintikka - 1976 - In Risto Hilpinen (ed.), 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 - 2001 - Studia Logica 67 (1):129-139.

View all 10 references / Add more references