Kosta Došen

Studia Logica 107 (1):7-9 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s11225-018-9814-8

Links

PhilArchive



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

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

Uniqueness, definability and interpolation.Kosta Došen & Peter Schroeder-Heister - 1988 - Journal of Symbolic Logic 53 (2):554-570.
Substructural Logics.Peter Joseph Schroeder-Heister & Kosta Došen - 1993 - Oxford, England: Oxford University Press on Demand.
Cut elimination in adjuncion.Kosta Došen - 1999 - Bulletin of the Section of Logic 28 (2):61-73.
Review: Kosta Dosen, Deductive Completeness. [REVIEW]J. Lambek - 1998 - Journal of Symbolic Logic 63 (3):1185-1186.
An intuitionistic Sheffer function.Kosta Došen - 1985 - Notre Dame Journal of Formal Logic 26 (4):479-482.
On Sets of Premises.Kosta Došen - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 151-162.
Addenda and Corrigenda to "Sequent-Systems and Groupoid Models".Kosta Došen - 1990 - Studia Logica 49 (4):614 -.
Proof-net categories.Kosta Dosen, Zoran Petric & Lutz Strassburger - 2008 - Bulletin of Symbolic Logic 14 (2):268-271.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):179-187.
Logical constants as punctuation marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.
A Completeness Theorem for the Lambek Calculus of Syntactic Categories.Kosta Došen - 1985 - Mathematical Logic Quarterly 31 (14-18):235-241.
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.
A note on the law of identity and the converse Parry property.Kosta Došen - 1978 - Notre Dame Journal of Formal Logic 19 (1):174-176.
A Completeness Theorem for the Lambek Calculus of Syntactic Categories.Kosta Došen - 1985 - Mathematical Logic Quarterly 31 (14-18):235-241.
A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic.Kosta Došen - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):453-456.

Analytics

Added to PP
2018-07-16

Downloads
26 (#605,520)

6 months
7 (#418,756)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references