Hintikka formulas as axioms of refutation calculus, a case study

Bulletin of the Section of Logic 24 (2) (1995)
  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: 91,349

External links

  • This entry has no external links. Add one.
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

Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus.Branden Fitelson - manuscript
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Examining fragments of the quantified propositional calculus.Steven Perron - 2008 - Journal of Symbolic Logic 73 (3):1051-1080.
On rejected formulas–Hintikka formula and Ishimoto formula.Takao Inoué - 1991 - Journal of Symbolic Logic 56:1129.
The RM paraconsistent refutation system.Tomasz Skura - 2009 - Logic and Logical Philosophy 18 (1):65-70.
On the atomic formula property of Hartig's refutation calculus.Takao Inoué - 1994 - Bulletin of the Section of Logic 23 (4).
Why propensities cannot be probabilities, Paul Humphreys proposed accounts of probability are usually required to satisfy the standard axioms of the probability calculus. Because of the fundamentally causal nature of propensities, they cannot do this, primarily because in-version formulas such as the multiplication axiom and bayes' theorem do.Ruth Garrett Millikan - 1985 - Philosophical Review 94 (4).
Extendible Formulas in Two Variables in Intuitionistic Logic.Nick Bezhanishvili & Dick Jongh - 2012 - Studia Logica 100 (1-2):61-89.
Was the early calculus an inconsistent theory?Peter Vickers - unknown
On normal forms in Łukasiewicz logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
Fundamental axioms for preference relations.Bengt Hansson - 1968 - Synthese 18 (4):423 - 442.
Embedding the elementary ontology of stanisław leśniewski into the monadic second-order calculus of predicates.V. A. Smirnov - 1983 - Studia Logica 42 (2-3):197 - 207.
Concept calculus: Much better than.Harvey M. Friedman - unknown

Analytics

Added to PP
2014-01-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references