Kosta Došen (dosen)

Contributions to Philosophie.ch

Bibliography

Adžić, Miloš and Došen, Kosta, eds. 2017. Logic Lectures. Gödel’s Basic Logic Course at Notre Dame. Belgrade: Dosije.
Došen, Kosta. 1981. “A Reduction of Classical Propositional Logic to the Conjunction Negation Fragment of an Intuitionistic Relevant Logic.” The Journal of Philosophical Logic 10(4): 399–408.
Došen, Kosta. 1985. “Sequent Systems for Modal Logic.” The Journal of Symbolic Logic 50: 149–168.
Došen, Kosta. 1986. “Modal Translations and Intuitionistic Double Negation.” Logique et Analyse 29(113): 81–94.
Došen, Kosta. 1988. “Second-Order Logic without Variables.” in Categorial Grammar, edited by Wojciech Buszkowski, Witold Marciszewski, and Johan van Benthem, pp. 245–264. Amsterdam: John Benjamins Publishing Co.
Došen, Kosta. 1992a. “Modal Logic as Metalogic.” Journal of Logic, Language, and Information 1(3): 173–201.
Došen, Kosta. 1992b. “Modal Translations in Substructural Logics.” The Journal of Philosophical Logic 21(3): 283–336.
Došen, Kosta. 1992c. “The First Axiomatization of Relevant Logic.” The Journal of Philosophical Logic 21(4): 339–356.
Došen, Kosta. 1993a. “Modal Translations in K and D.” in Diamonds and Defaults, edited by Maarten de Rijke, pp. 103–127. Synthese Library n. 229. Dordrecht: Kluwer Academic Publishers.
Došen, Kosta. 1993b. “A Historical Introduction to Substructural Logics.” in Substructural Logics, edited by Peter Schröder-Heister and Kosta Došen, pp. 1–30. Oxford Science Publications. Oxford: Oxford University Press.
Došen, Kosta. 1994a. Substructural Logics. Studies in Logic and Computation n. 2. Oxford: Oxford University Press.
Došen, Kosta. 1994b. “Logical Constants as Punctuation Marks.” in What is a Logical System?, edited by Dov M. Gabbay, pp. 273–296. Oxford: Oxford University Press.
Došen, Kosta. 1996. “Deductive Completeness.” The Bulletin of Symbolic Logic 2(3): 243–283.
Došen, Kosta. 1997. “Logical Consequence: A Turn in Style.” in Logic, Methodology and Philosophy of Science X: Logic and Scientific Methods – Volume One of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, 1995, edited by Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, and Johan van Benthem, pp. 289–312. Synthese Library n. 259. Dordrecht: Kluwer Academic Publishers.
Došen, Kosta. 1999. “Negation in the Light of Modal Logic.” in What is Negation?, edited by Dov M. Gabbay and Heinrich Theodor Wansing, pp. 77–85. Applied Logic Series n. 13. Dordrecht: Kluwer Academic Publishers.
Došen, Kosta. 2001. “Review of Restall (1999).” The Bulletin of Symbolic Logic 7(4): 527–530.
Došen, Kosta. 2003. “Identity of Proofs Based on Normalization and Generality.” The Bulletin of Symbolic Logic 9(4): 477–502.
Došen, Kosta. 2011. “A Prologue to the Theory of Deduction.” in The Logica Yearbook 2010, edited by Michal Peliš and Vı́t Punčochář, pp. 65–80. London: College Publications.
Došen, Kosta and Petrić, Zoran. 2002. “Bicartesian Coherence.” Studia Logica: An International Journal for Symbolic Logic 71(3): 331–353.
Gabbay, Dov M. and Došen, Kosta, eds. 1996. Labelled Deductive Systems. vol. I. Oxford: Oxford University Press.
Schröder-Heister, Peter and Došen, Kosta, eds. 1993. Substructural Logics. Oxford Science Publications. Oxford: Oxford University Press.

Further References

Restall, Greg. 1999. An Introduction to Substructural Logics. London: Routledge.