A note on linear resolution strategies in consequence-finding

&
Artificial Intelligence 3 (C):175-180 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(72)90047-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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 resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
A parallel game semantics for Linear Logic.Stefano Baratella & Stefano Berardi - 1997 - Archive for Mathematical Logic 36 (3):189-217.
A note on full intuitionistic linear logic.G. M. Bierman - 1996 - Annals of Pure and Applied Logic 79 (3):281-287.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.
On the Art of Finding Arguments: What Ancient and Modern Masters of Invention Have to Tell Us About the "Ars Inveniendi".Manfred Kienpointner - 1997 - Argumentation 11 (2):225-236.
Temporal abductive reasoning about biochemical reactions.Serenella Cerrito, Marta Cialdea Mayer & Robert Demolombe - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):269-291.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Evasion strategies in international documents: when ‘constructive ambiguity’ leads to oppositional interpretation.Elie Friedman - 2017 - Critical Discourse Studies 14 (4):385-401.
Group Cancellation and Resolution.Alessandra Carbone - 2006 - Studia Logica 82 (1):73-93.
A semi-linear group which is not affine.Pantelis E. Eleftheriou - 2008 - Annals of Pure and Applied Logic 156 (2):287-289.
Principles for Object-Linguistic Consequence: from Logical to Irreflexive.Carlo Nicolai & Lorenzo Rossi - 2018 - Journal of Philosophical Logic 47 (3):549-577.
A Note On The Owen Set Of Linear.Vito Fragnelli - 2004 - Theory and Decision 56 (1-2):205-213.
Resolution for Intuitionistic Logic.Melvin Fitting - unknown

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,463,802)

6 months
3 (#981,027)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
Default reasoning using classical logic.Rachel Ben-Eliyahu & Rina Dechter - 1996 - Artificial Intelligence 84 (1-2):113-150.

Add more citations

References found in this work

Resolution graphs.Robert A. Yates, Bertram Raphael & Timothy P. Hart - 1970 - Artificial Intelligence 1 (3-4):257-289.

Add more references