- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
An essay on resolution logics
Studia Logica 52 (2):309 - 322 (1993)
Abstract
This paper discusses the resolution principle in the context of non-classical logics.My notes
Similar books and articles
Labelled resolution for classical and non-classical logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.
Higher-Order Multi-Valued Resolution.Michael Kohlhase - 1999 - Journal of Applied Non-Classical Logics 9 (4):455-477.
A resolution principle for constrained logics.Hans-Jürgen Bürckert - 1994 - Artificial Intelligence 66 (2):235-271.
On the origins of non-aristotelian logics.Venanzio Raspa - 2001 - In V. Fano, M. Stanzione & G. Tarozzi (eds.), Prospettive Della Logica E Della Filosofia Della Scienza. Rubettino. pp. 73.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
Reasoning without believing: on the mechanisation of presuppositions and partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.
There are 2à0 logics with the relevance principle betweenr andRM.Wies?aw Dziobiak - 1983 - Studia Logica 42 (1):49-61.
A resolution principle for a class of many-valued logics.Charles G. Morgan - 1976 - Logique Et Analyse 19 (74-76):311-339.
Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.
Definitions by context in propositional logics.Marek Tokarz - 1978 - Studia Logica 37 (2):135 - 137.
Analytics
Added to PP
2009-01-28
Downloads
37 (#444,844)
6 months
9 (#355,272)
2009-01-28
Downloads
37 (#444,844)
6 months
9 (#355,272)
Historical graph of downloads
Citations of this work
Leśniewski's systems.Jan T. J. Srzednicki, V. F. Rickey & J. Czelakowski (eds.) - 1984 - Hingham, MA, USA: Distributors for the United States and Canada, Kluwer Boston.
References found in this work
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
S. Leśniewski's Calculus of Names.Jerzy Słupecki - 1984 - In Jan T. J. Srzednicki, V. F. Rickey & J. Czelakowski (eds.), Studia Logica. Distributors for the United States and Canada, Kluwer Boston. pp. 59--122.
S. Le'sniewski's Lecture Notes in Logic.Jan Srzednicki & Zbigniew Stachniak (eds.) - 1988 - Kluwer Academic Publishers.
S. Leśniewski's Lecture Notes in Logic.J. T. J. Srzednicki & Z. Stachniak - 1990 - Studia Logica 49 (3):428-429.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-kftwx uwo