Kosta Došen. Deductive completeness. The bulletin of symbolic logic, vol. 2 , pp. 243–283

Journal of Symbolic Logic 63 (3):1185-1186 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586736

Links

PhilArchive



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

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

Review: Kosta Dosen, Deductive Completeness. [REVIEW]J. Lambek - 1998 - Journal of Symbolic Logic 63 (3):1185-1186.
Deductive completeness.Kosta Došen - 1996 - Bulletin of Symbolic Logic 2 (3):243-283.
A Completeness Theorem for the Lambek Calculus of Syntactic Categories.Kosta Došen - 1985 - Mathematical Logic Quarterly 31 (14-18):235-241.
An Introduction to Substructural Logics (review).Kosta Došen - 2001 - Bulletin of Symbolic Logic 7 (4):527-530.
Proof-net categories.Kosta Dosen, Zoran Petric & Lutz Strassburger - 2008 - Bulletin of Symbolic Logic 14 (2):268-271.
2002 european summer meeting of the association for symbolic logic logic colloquium'02.Lev D. Beklemishev, Stephen Cook, Olivier Lessmann, Simon Thomas, Jeremy Avigad, Arnold Beckmann, Tim Carlson, Robert L. Constable & Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (1):71.
Restall Greg. An introduction to substructural logics. Routledge, London and New York 2000, xiv+ 381 pp. [REVIEW]Kosta Došen - 2001 - Bulletin of Symbolic Logic 7 (4):527-530.
A Completeness Theorem for the Lambek Calculus of Syntactic Categories.Kosta Došen - 1985 - Mathematical Logic Quarterly 31 (14-18):235-241.
Cut elimination in adjuncion.Kosta Došen - 1999 - Bulletin of the Section of Logic 28 (2):61-73.
Modal functional completeness.Kosta Dosen & Zoran Petric - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
Uniqueness, definability and interpolation.Kosta Došen & Peter Schroeder-Heister - 1988 - Journal of Symbolic Logic 53 (2):554-570.
Normal Modal Logics In Which The Heyting Propositional Calculus Can Be Embedded.Kosta Dosen - 1988 - Bulletin of the Section of Logic 17 (1):23-30.
Review: Zarko Mijajlovic, Zoran Markovic, Kosta Dosen, Hilbert's Problems and Logic. [REVIEW]Boban Velickovic - 1987 - Journal of Symbolic Logic 52 (4):1049-1050.
Substructural Logics.Peter Joseph Schroeder-Heister & Kosta Došen - 1993 - Oxford, England: Oxford University Press on Demand.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,020,434)

6 months
2 (#1,221,975)

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