Implication and analysis in classical frege structures

&
Annals of Pure and Applied Logic 34 (1):33-85 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90040-6

Other Versions

No versions found

Links

PhilArchive



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

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

Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Mathematical Logic Quarterly 38 (1):107-141.
K-continuous lattices and comprehension principles for Frege structures.Robert C. Flagg - 1987 - Annals of Pure and Applied Logic 36:1-16.
Eight problems about nerode semirings.T. G. McLaughlin - 1992 - Annals of Pure and Applied Logic 56 (1-3):137-146.
Proof internalization in generalized Frege systems for classical logic.Yury Savateev - 2014 - Annals of Pure and Applied Logic 165 (1):340-356.
Quantum deduction rules.Pavel Pudlák - 2009 - Annals of Pure and Applied Logic 157 (1):16-29.
Universes over Frege structures.Reinhard Kahle - 2003 - Annals of Pure and Applied Logic 119 (1-3):191-223.
A computational glimpse at the Leibniz and Frege hierarchies.Tommaso Moraschini - 2018 - Annals of Pure and Applied Logic 169 (1):1-20.
A strict implication calculus for compact Hausdorff spaces.G. Bezhanishvili, N. Bezhanishvili, T. Santoli & Y. Venema - 2019 - Annals of Pure and Applied Logic 170 (11):102714.
Bounded-depth Frege complexity of Tseitin formulas for all graphs.Nicola Galesi, Dmitry Itsykson, Artur Riazanov & Anastasia Sofronova - 2023 - Annals of Pure and Applied Logic 174 (1):103166.
Theories of Frege structure equivalent to Feferman's system T 0.Daichi Hayashi - 2025 - Annals of Pure and Applied Logic 176 (1):103510.

Analytics

Added to PP
2014-01-16

Downloads
48 (#458,768)

6 months
11 (#347,933)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Property Theories.George Bealer & Uwe Monnich - 2003 - In D. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic Vol. 10. Kluwer Academic Publishers. pp. 143-248.
Property Theories.George Bealer & Uwe Mönnich - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 133-251.
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.
Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.

View all 13 citations / Add more citations

References found in this work

An extension of basic logic.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (2):95-106.
A basic logic.Frederic B. Fitch - 1942 - Journal of Symbolic Logic 7 (3):105-114.
Levels of implication.John Myhill - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, Richard Milton Martin & Frederic Brenton Fitch (eds.), The Logical enterprise. New Haven: Yale University Press. pp. 179--185.
A demonstrably consistent mathematics—Part I.Frederic B. Fitch - 1950 - Journal of Symbolic Logic 15 (1):17-24.

View all 10 references / Add more references