Some notes on correspondence theory of the system IL

Bulletin of Symbolic Logic 12 (2):0022-4812 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,902

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

Mladen Vuković, Matematička logika.Sandro Skansi - 2011 - Prolegomena 10 (1):138-141.
Under Lock and Key: A Proof System for a Multimodal Logic.G. A. Kavvos & Daniel Gratzer - 2023 - Bulletin of Symbolic Logic 29 (2):264-293.
Some Applications of Set Theory to Model Theory.Douglas Ulrich - 2019 - Bulletin of Symbolic Logic 25 (2):214-215.
Some Results in Computability Theory.Rose Weisshaar - 2019 - Bulletin of Symbolic Logic 25 (4):452-453.
Sergio Fajardo and H. Jerome Keisler. Model theory of stochastic processes, Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp. [REVIEW]Alasdair Urquhart - 2004 - Bulletin of Symbolic Logic 10 (1):110-112.
Kurt Gödel Collected Works IV-V: Correspondence.Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Bulletin of Symbolic Logic 10 (4):558-563.
Review of Kurt Gödel Collected Works IV–V: Correspondence. [REVIEW]Jan von Plato - 2004 - Bulletin of Symbolic Logic 10 (4):558-563.
Correspondence theory in proof theory.Andrzej Indrzejczak - 2008 - Bulletin of the Section of Logic 37 (3/4):171-183.
Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914.Erich H. Reck & Steve Awodey - 2005 - Bulletin of Symbolic Logic 11 (3):445-447.
Reviewed Work(s): Some theorems on the algorithmic approach to probability theory and information theory (1971 Dissertation directed by A. N. Kolmogorov). Annals of Pure and Applied Logic, vol. 162 by L. A. Levin. [REVIEW]Jan Reimann - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.

Analytics

Added to PP
2014-03-18

Downloads
14 (#1,268,432)

6 months
3 (#1,468,946)

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

No references found.

Add more references