Experimental logics and Π3 0 theories

Journal of Symbolic Logic 42 (4):515-522 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271872

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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 Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Experimental Logics, Mechanism and Knowable Consistency.Martin Kaså - 2012 - Theoria 78 (3):213-224.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Experimental Logics and Δ₂⁰-Theories.R. G. Jeroslow - 1975 - Journal of Philosophical Logic 4 (3):253 - 267.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Leonard Bolc and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991. [REVIEW]Petr Hajek & Richard Zach - 1994 - Journal of Applied Non-Classical Logics 4 (2):215-220.
Where gamma fails.Robert K. Meyer, Steve Giambrone & Ross T. Brady - 1984 - Studia Logica 43 (3):247 - 256.
On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
On bimodal logics of provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Provability logics for natural Turing progressions of arithmetical theories.L. D. Beklemishev - 1991 - Studia Logica 50 (1):107 - 128.
Formal systems of fuzzy logic and their fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1-3):40-65.

Analytics

Added to PP
2009-01-28

Downloads
138 (#129,246)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 8 citations / Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
1 — Consistency and faithful interpretations.S. Feferman, G. Kreisel & S. Orey - 1962 - Archive for Mathematical Logic 6 (1-2):52-63.
Non-standard models and independence of the induction axiom.Michael O. Rabin - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 287--299.

Add more references