A sequence formalization for SCI

Studia Logica 35 (3):213 - 217 (1976)
  Copy   BIBTEX

Abstract

This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].

Categories

Keywords

Reprint years

DOI

10.1007/bf02282483

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

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

A uniform proof procedure for SCI tautologies.Aileen Michaels - 1974 - Studia Logica 33 (3):299 - 310.
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations.Anita Wasilewska - 1984 - Studia Logica 43 (4):395 - 404.
A constructive proof of Craig's interpolation lemma for m-valued logic.Anita Waselewska - 1979 - Studia Logica 38 (3):267 - 275.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Formalization of that-clauses.J. L. Gardies - 1978 - Studia Logica 37:89.
Formalization of that-clauses.J. -L. Gardies - 1978 - Studia Logica 37 (1):89 - 101.
Language, Logic and Formalization of Knowledge.B. Mcguinness - 2000 - Studia Logica 66 (3):437-440.
A formalization of the modal propositional S4 calculus.Anita Wasilewska - 1971 - Studia Logica 27 (1):133-147.
A formalization of the propositional calculus of H-B logic.Cecylia Rauszer - 1974 - Studia Logica 33 (1):23 - 34.
Q-ultrafilters and normal ultrafilters in b-algebras.Bronis?aw Tembrowski - 1986 - Studia Logica 45 (2):167 - 179.

Analytics

Added to PP
2009-01-28

Downloads
36 (#634,047)

6 months
10 (#427,773)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anita Wasilewska
State University of New York, Stony Brook

Citations of this work

Programs and logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.

Add more citations

References found in this work

A uniform proof procedure for SCI tautologies.Aileen Michaels - 1974 - Studia Logica 33 (3):299 - 310.

Add more references