A Proof-theoretic Treatment Of Assignments

Logic Journal of the IGPL 3 (2-3):223-242 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/3.2-3.223

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Variation on a theme of Schutte.D. Probst & G. Jager - 2004 - Mathematical Logic Quarterly 50 (3):258.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
About the proof-theoretic ordinals of weak fixed point theories.Gerhard Jäger & Barbara Primo - 1992 - Journal of Symbolic Logic 57 (3):1108-1119.
On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics.Nissim Francez - 2015 - Logica Universalis 9 (1):121-127.
Provability algebras and proof-theoretic ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
A Deterministic Terminating Sequent Calculus For Gödel-dummett Logic.R. Dyckhoff - 1999 - Logic Journal of the IGPL 7 (3):319-326.
The proof-theoretic analysis of transfinitely iterated fixed point theories.Gerhard JÄger, Reinhard Kahle, Anton Setzer & Thomas Strahm - 1999 - Journal of Symbolic Logic 64 (1):53-67.
Truth from a Proof-Theoretic Perspective.Luca Tranchini - 2012 - Topoi 31 (1):47-57.
Proof-theoretic semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
Universes in metapredicative analysis.Christian Rüede - 2003 - Archive for Mathematical Logic 42 (2):129-151.
Towards a Proof-Theoretic Semantics for Dynamic Logics.V. Sikimic - unknown
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.

Analytics

Added to PP
2015-02-04

Downloads
12 (#1,111,684)

6 months
1 (#1,511,647)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references