- 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
Hintikka formulas as axioms of refutation calculus, a case study
Bulletin of the Section of Logic 24 (2) (1995)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
A Predicate Calculus With Formulas Which Lose Sense And The Corresponding Propositional Calculus.Krystyna Pirog-Rzepecka - 1973 - Bulletin of the Section of Logic 2 (1):22-29.
On the atomic formula property of Hartig's refutation calculus.Takao Inoué - 1994 - Bulletin of the Section of Logic 23 (4).
D-complete axioms for the classical equivalential calculus.Dolph Ulrich - 2005 - Bulletin of the Section of Logic 34 (3):135-142.
Evaluation of propositional formulas from the viewpoint of computational complexity.Ivan Kramosil - 1988 - Bulletin of the Section of Logic 17 (2):62-66.
Slupecki's fragmentary systems.Grzegorz Bryll & Katarzyna Halkowska - 1984 - Bulletin of the Section of Logic 13 (4):252-254.
A note on the Lambek-van Benthem calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
The logic B and the reductio axioms.Gemma Robles & José M. Méndez - 2004 - Bulletin of the Section of Logic 33 (2):87-94.
On probability measures for deductive systems III.David Miller - 1978 - Bulletin of the Section of Logic 7 (2):51-55.
Subframe formulas for s4-type intuitionistic modal logic.Kazuyo Inoi - 2001 - Bulletin of the Section of Logic 30 (2):99-105.
Analytics
Added to PP
2014-01-21
Downloads
0
6 months
0
2014-01-21
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics.Takao Inoué - 2021 - Studia Logica 110 (1):265-289.
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-648784bb4d-2w72m uwo