A proof system for modeling reasoning processes in propositional logic

Bulletin of Symbolic Logic 12 (5) (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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 pvs-proof for a memory modeling problem is a proof?Albert Hoogewijs & Pieter Audenaert - 2002 - Bulletin of Symbolic Logic 8 (1):138-138.
Minimum Propositional Proof Length is NP-Hard to Linearly Approximate.Michael Alekhnovich, Sam Buss, Shlomo Moran & Toniann Pitassi - 2002 - Bulletin of Symbolic Logic 8 (2):301-302.
A new proof system for intuitionistic logic.Valeria de Paiva & Luiz C. Pereira - 1995 - Bulletin of Symbolic Logic 1 (1):101.
Reasoning processes in propositional logic.Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling - 2010 - Journal of Logic, Language and Information 19 (3):283-314.
REVIEWS-Minimum propositional proof length is NP-hard to linearly approximate.M. Alekhnovich & Alexander Razborov - 2002 - Bulletin of Symbolic Logic 8 (2):301-301.
An algebraizable Gentzen system for the three-valued Lukasiewicz propositional logic.A. J. Gil, A. Torrens & V. Verdú - 1995 - Bulletin of Symbolic Logic 1 (2):235-236.
Michael Alekhnovich, Sam Buss, Shlomo Moran, and Toniann Pitassi. Minimum propositional proof length is NP-hard to linearly approximate. The journal of symbolic logic, vol. 66 , pp. 171–191. [REVIEW]Alexander Razborov - 2002 - Bulletin of Symbolic Logic 8 (2):301-302.
Proof complexity of propositional default logic.Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas & Heribert Vollmer - 2011 - Archive for Mathematical Logic 50 (7-8):727-742.
Goal-Driven Reasoning in First-Order Logic.Claes Strannegård - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator För En Dag - Essays Dedicated to Dag Westerståhl on His Sixtieth Birthday. Philosophical Communications.
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility.Joanna Golińska-Pilarek & Emilio Munoz-Velasco - 2009 - International Journal of Computer Mathematics 86 (10-11):1707–1718.

Analytics

Added to PP
2014-03-18

Downloads
10 (#1,207,918)

6 months
1 (#1,723,047)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reasoning processes in propositional logic.Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling - 2010 - Journal of Logic, Language and Information 19 (3):283-314.

Add more citations

References found in this work

No references found.

Add more references