On the atomic formula property of Hartig's refutation calculus

Bulletin of the Section of Logic 23 (4) (1994)
  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,219

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

On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
Locality for Classical Logic.Kai Brünnler - 2006 - Notre Dame Journal of Formal Logic 47 (4):557-580.
Atomic polymorphism.Fernando Ferreira & Gilda Ferreira - 2013 - Journal of Symbolic Logic 78 (1):260-274.
On rejected formulas–Hintikka formula and Ishimoto formula.Takao Inoué - 1991 - Journal of Symbolic Logic 56:1129.
$${\Pi^1_2}$$ -comprehension and the property of Ramsey.Christoph Heinatsch - 2009 - Archive for Mathematical Logic 48 (3-4):323-386.
On the Härtig-Style Axiomatization of Unprovable and Satisfiable Formulas of Bernays and Schönfinkel's Classes.Takao Inoué - 1993 - Logique Et Analyse 36 (144):261-309.
Hintikka formulas as axioms of refutation calculus, a case study.T. Inoué - 1995 - Bulletin of the Section of Logic 24 (2).
On normal forms in Łukasiewicz logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
A reduction rule for Peirce formula.Sachio Hirokawa, Yuichi Komori & Izumi Takeuti - 1996 - Studia Logica 56 (3):419 - 426.
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.Dimitri Pataraia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):457-483.
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
The role of meaning in music.Eddy M. Zemach - 2002 - British Journal of Aesthetics 42 (2):169-178.

Analytics

Added to PP
2014-01-21

Downloads
30 (#504,503)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references