Došen, Kosta
Loading...
3
0
20
0
false
Full Name
Došen, Kosta
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Cartesian categories | Coherence | Conjunctive logic | Natural deduction | Post completeness
- 1 Categorial coherence | Categories | Classical linear propositional logic | Classical propositional logic | Equality of deductions | Identity of proofs | Isomorphic formulae
- 1 Categorial coherence | Criteria of identity | Cut elimination and normal form | Generality | Proof
- 1 Categorial coherence | Cut elimination | Star-autonomous categories | Symmetric monoidal closed categories
- 1 Categorial proof theory | Conjunction and disjunction | Decidability of equality of deductions
- 1 Categorial proof theory | Consequence | Deduction | General proof theory | ground | Inference | Name | Proof-theoretic semantics | Proposition | Provability | Truth | Validity
- 1 Classical linear logic | Coherence | Criteria of identity for proofs | Cut elimination | First-order predicate logic | Proof-net category
- 1 Cocycle | Kuratowski's graphs | Planar graph
- 1 Coherence | Insertion | Mac Lane's hexagon | Mac Lane's pentagon | Monoidal categories | Symmetric monoidal categories
- 1 Concept | Deduction | Extension | General proof theory | Intension | Proof-theoretic semantics | Sequent | Set
- < previous next >
Date issued
- 19 2010 - 2019
- 24 2000 - 2009
- 13 1990 - 1999
- 11 1980 - 1989
- 1 1973 - 1979
Type
Results 41-60 of 68 (Search time: 0.004 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
41 | Došen, Kosta ; Petrić, Zoran | Coherent bicartesian and sesquicartesian categories | 1-Jan-2001 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Seminar on Proof Theory in Computer Science, PTCS 2001; Dagstuhl Castle; Germany; 7 October 2001 through 12 October 2001; 2183; 78-92 | M21 |
42 | Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | On permuting cut with contraction | 1-Jan-2000 | Mathematical Structures in Computer Science | M23 |
43 | Došen, Kosta ; Petrić, Zoran | The maximality of the typed lambda calculus and of cartesian closed categories | 2000 | Publications de l'Institut Mathématique; 68(82); 1-19 | M24 |
44 | Došen, Kosta ; Petrić, Zoran | Cartesian isomorphisms are symmetric monoidal: A justification of linear logic | 1-Jan-1999 | Journal of Symbolic Logic; 64(1); 227-242 | M22 |
45 | Došen, Kosta | Cut elimination in adjuncion | 1-Jan-1999 | Bulletin of the Section of Logic; 28(2); 61-73 | |
46 | Došen, Kosta | Functions redefined | 1-Jan-1998 | American Mathematical Monthly; 105(7); 631-635 | M22 |
47 | Došen, Kosta ; Petrić, Zoran | Isomorphic objects in symmetric monoidal closed categoriest | 1-Jan-1997 | Mathematical Structures in Computer Science; 7(6); 639-662 | M22 |
48 | Došen, Kosta | Deductive completeness | 1-Jan-1996 | Bulletin of Symbolic Logic; 2(3); 243-283 | |
49 | Došen, Kosta | Rudimentary Kripke models for the intuitionistic propositional calculus | 28-Jun-1993 | Annals of Pure and Applied Logic; 62(1); 21-49 | |
50 | Došen, Kosta | One more reference on self-reference | 1-Dec-1992 | The Mathematical Intelligencer; 14(4); 4-5 | M22 |
51 | Došen, Kosta | The first axiomatization of relevant logic | 1-Nov-1992 | Journal of Philosophical Logic; 21(4); 339-356 | |
52 | Došen, Kosta | Modal logic as metalogic | 1-Sep-1992 | Journal of Logic, Language and Information; 1(3); 173-201 | |
53 | Došen, Kosta | Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic | 3-Aug-1992 | Theoretical Computer Science; 102(1); 207-214 | M23 |
54 | Došen, Kosta | Modal translations in substructural logics | 1-Aug-1992 | Journal of Philosophical Logic; 21(3); 283-336 | |
55 | Došen, Kosta | A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS | 1-Jan-1992 | Mathematical Logic Quarterly; 38(1); 179-187 | |
56 | Došen, Kosta | Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus | 1-Jan-1991 | Notre Dame Journal of Formal Logic; 32(4); 580-597 | |
57 | Došen, Kosta | Duality between modal algebras and neighbourhood frames | 1-Jun-1989 | Studia Logica; 48(2); 219-234 | |
58 | Došen, Kosta | Sequent-systems and groupoid models. II | 1-Mar-1989 | Studia Logica; 48(1); 41-65 | |
59 | Došen, Kosta | Logical constants as punctuation marks | 1-Jan-1989 | Notre Dame Journal of Formal Logic; 30(3); 362-380 | |
60 | Došen, Kosta | Sequent-systems and groupoid models. I | 1-Dec-1988 | Studia Logica; 47(4); 353-385 |
Results 1-1 of 1 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 1630 | Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics | 01-01-2002 | 31-12-2005 | Došen, Kosta |