Došen, Kosta

Type

Date issued

81 2000 - 2027
140 1900 - 1999

Mp-cat.

119 M20/M50
31 М30/М60
30 M22
28 M10/M40
6 M21
3 M21a
3 M23
1 M70

Date issued - custom

Year from:

Year to:

Results 101-120 of 221 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
1996	Modal functional completeness	Došen, Kosta ; Petrić, Zoran	Book parts	Mp. category will be shown later
1996	Deductive completeness	Došen, Kosta	Article	Mp. category will be shown later
1996	Pogorzelski, Witold A. "A minimal implicational logic" - Philosophical logic in Poland, 213-216, Synthese Lib., 228, Kluwer Acad. Publ., Dordrecht, 1994.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1996	Restall, Greg "Modalities in substructural logics" - Logique et Anl. (N.S.) 36 (1993), no.141-142, 25-38.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1996	Substructural predicates	Došen, Kosta	Book parts	Mp. category will be shown later
1995	Jovan Došenović - pisac Čislenice	Došen, Kosta	Conference Paper	Mp. category will be shown later
1995	Rybakov, Vladimir V. "Intermediate logics preserving admissible inference rules of Heyting calculus" - Math. Logic Quart. 39 (1993), no.3, 403-415.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1995	Krivtsov, V. N."On the semantic completeness of logics of the creative subject" - Uspekhi Mat. Nauk 49 (1994), no.6 (300), 205-206.;translation in Russian Math.Surveys 49 (1994), no.6, 205-206.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1995	Yashin, A. D. "Smetanich's logic ... and two definitions of a new intuitionistic connetive" - Mat. Zametki 56 (1994), no.1, 135-142,158.; translation in Math. Notes 56 (1994), no.1-2, 745-750 (1995).	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1995	Takano, Mitio "A sequent calculus for the Leśniewskian modal logic" - Ann. Japan Assoc. Philos. Sci. 8 (1994), no.4, 191-201.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1994	Logical constants as punctuation marks	Došen, Kosta	Book parts	Mp. category will be shown later
1994	Dyckhoff, Roy "Contraction-free sequent calculi for intuitionistic logic" - J. Symbolic Logic 57 (1992), no.3, 795-807.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1994	Schmerl, Ulf R. "A cut-elimination procedure designed for evaluating proofs as programs" - Computer science logic (Berne, 1991), 316-325, Lecture Notes in Comput. Sci., 626, Springer, Berlin, 1992.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1994	A historical introduction to substructural logics	Došen, Kosta	Book parts	Mp. category will be shown later
1994	Kremer, Philip "Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of Ąp and Ęp" - J. Symbolic Logic 58 (1993), no.1, 334-349.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1994	Valentini, Silvio "The sequent calculus for the modal logic D." - Boll. Un. Mat. Ital. A(7) 7 (1993), no.3, 455-460.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1993	J.P. Cleave, "A Study of Logics" - Oxford University Press, Oxford, 1991	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1993	Rudimentary Kripke models for the intuitionistic propositional calculus	Došen, Kosta	Article	22M22
1993	Avron, Arnon "Whither relevance logic?" - J. Philos. Logic 21 (1992), no.3, 243-281.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1993	Giambrone, Steve "Real reduced models for relevant logics without WI." - Notre Dame J. Formal Logic 33 (1992), no.3, 442-449.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later