Publications of Kosta Dosen
Books
1)
Hilbertovi problemi i logika (Hilbert's Problems and Logic, in
2)
Cut Elimination in Categories, Trends in Logic 6, Kluwer, Dordrecht,
3)
Proof-Theoretical Coherence (co-author: Zoran Petric), Studies in Logic 1,
King's College Publications (College Publications), London,
2004, xiv+369 pp. (revised version pdf file).
4)
Proof-Net Categories (co-author: Zoran Petric), Polimetrica, Monza, 2007,
viii+147 pp. (inessentially different updated preprint version, Mathematical
Institute, Belgrade, March 2005, viii+135 pp. pdf
file, Addenda and Corrigenda for the printed
version pdf file).
5)
Graphs for Juncture (co-author: Zoran Petric), preprint, August 2012,
viii+128 pp. (pdf file;
arxiv:1505.00952).
6)
Osnovna logika (Basic Logic, in Serbian), preprint, June 2013,
115 pp. (pdf file).
Doctoral Thesis
Logical Constants: An Essay in Proof Theory, University of Oxford, 1980
(pdf file,
djvu file).
Papers
1)
A note on the law of identity and the converse Parry property, Notre Dame
2)
A reduction of classical propositional logic to the conjunction-negation
3)
Minimal modal systems in which Heyting and classical logic can be
4)
Axiomatizations of intuitionistic double negation (co-author: Milan
5)
Models for normal intuitionistic modal logics (co-author: Milan Bozic),
6)
Negative modal operators in intuitionistic logic, Publications de
7)
Intuitionistic double negation as a necessity operator, Publications de
8)
An intuitionistic Sheffer function, Notre Dame Journal of Formal Logic
9)
Sequent-systems for modal logic, The Journal of Symbolic Logic 50(1985),
10)
A completeness theorem for the Lambek calculus of syntactic categories,
11)
Models for stronger normal intuitionistic modal logics, Studia Logica
12)
Conservativeness and uniqueness (co-author: Peter Schroeder-Heister),
13)
Negation as a modal operator, Reports on Mathematical Logic 20(1986),
14)
Higher-level sequent-systems for intuitionistic modal logic,
15)
Modal translations and intuitionistic double negation, Logique et
16)
Negation and impossibility, in: J. Perzanowski ed., Essays on Philosophy
17)
A note on Gentzen's decision procedure for intuitionistic propositional
18)
Modal duality theory, in: Z. Stojakovic ed., Proceedings of the
19)
Second-order logic without variables, in: W. Buszkowski, W. Marciszewski
20)
Uniqueness, definability and interpolation (co-author: Peter
21)
Sequent-systems and groupoid models I, Studia Logica 47(1988), pp.
22)
Sequent-systems and groupoid models II, Studia Logica 48(1989), pp.
22a)
Addenda and corrigenda to ''Sequent-systems and groupoid models'',
23)
Logical constants as punctuation marks, Notre Dame Journal of Formal
24)
Duality between modal algebras and neighbourhood frames, Studia Logica
25)
Normal modal logics in which the Heyting propositional calculus can be
26)
Modal translations of Heyting and Peano arithmetic, Publications de
27)
Rudimentary Beth models and conditionally rudimentary Kripke models for
28)
Ancestral Kripke models and nonhereditary Kripke models for the Heyting
29)
Nonmodal classical linear predicate logic is a fragment of
30)
Modal translations in substructural logics, Journal of Philosophical
31)
The first axiomatization of relevant logic, Journal of Philosophical
32)
A brief survey of frames for the Lambek calculus, Zeitschrift für
33)
Modal logic as metalogic, Journal of Logic, Language and Information
34)
Rudimentary Kripke models for the intuitionistic propositional calculus,
35)
Modal translations in K and D, in: M. de Rijke ed., Diamonds and
36)
A historical introduction to substructural logics, in: K. Dosen and P.
37)
Equality in substructural logics, in: W. Hodges, M. Hyland et al. eds.,
38)
Substructural predicates, in: W. Hodges, M. Hyland et al. eds., Logic,
39)
Modal functional completeness (co-author: Zoran Petric), in: H. Wansing
40)
Deductive completeness, The Bulletin of Symbolic Logic 2(1996), pp.
41)
Logical consequence: A turn in style, in: M.L. Dalla Chiara, K. Doets,
42)
Isomorphic objects in symmetric monoidal closed categories (co-author:
43)
An introduction to adjunction, Zbornik radova (N.S.) 8(16) (1998), pp.
43a)
Addenda and corrigenda to an ''An introduction to adjunction'', Zbornik
44)
Functions redefined, The American Mathematical Monthly 105(1998), pp.
45)
Deductive systems and categories, Publications de l'Institut
46)
On passing from singular to plural consequences, in: E. Orlowska ed.,
47)
Negation in the light of modal logic, in: D.M. Gabbay and H. Wansing
48)
Cut elimination in adjunction, Bulletin of the Section of Logic
49)
Definitions of adjunction, in: W.A. Carnielli and I.M.L. D'Ottaviano
50)
Cartesian isomorphisms are symmetric monoidal: A justification of linear
51) Le programme de Hilbert, in: J. Sallantin and J.-J. Szczeciniarz eds, Le concept de preuve a la lumiere de l'intelligence artificielle, Nouvelle Encyclopedie Diderot, Presses Universitaires de France, 1999, pp. 87-106; Italian translation: Il programma di Hilbert, in: J. Sallantin and J.-J. Szczeciniarz eds, Il concetto di prova alla luce dell'intelligenza artificiale, L. Luparia trad., Giuffre, Milano, 2005, pp. 97-115 (preprint pdf file).
52)
On permuting cut with contraction (co-authors: Mirjana Borisavljevic and
53)
The maximality of the typed lambda calculus and of cartesian closed
54)
The maximality of cartesian categories (co-author: Zoran Petric),
55) The typed Böhm Theorem (co-author: Zoran Petric), Electronic Notes in Theoretical Computer Science 50(2001), no 2, pp. 119-131 (http:// www.elsevier.nl/locate/entcs/volume50.html, preprint pdf file).
56) A note on the set-theoretic representation of arbitrary lattices, in: A. Krapez ed., A Tribute to S.B. Presic: Papers Celebrating his 65-th Birthday, Matematicki institut SANU, Belgrade, 2001, pp. 99-101 (http://arXiv.org/math.LO/0303005).
57)
Coherent bicartesian and sesquicartesian categories (co-author: Zoran
Petric), in: R. Kahle et al. eds, Proof Theory in Computer Science, Lecture
Notes in Computer Science vol. 2183, Springer, Berlin, 2001, pp. 78-92
(http://arXiv.org/math.CT/0006091; revised version,
with major corrections pdf file).
58) Abstraction and application in adjunction, in: Z. Kadelburg ed., Proceedings of the Tenth Congress of Yugoslav Mathematicians, Faculty of Mathematics, University of Belgrade, 2001, pp. 33-46 (http://arXiv.org/math.CT/0111061).
59) Bicartesian coherence (co-author: Zoran Petric), Studia Logica 71(2002), pp. 331-353 (http://arXiv.org/math.CT/0006052).
60) Kauffman monoids (co-authors: Mirjana Borisavljevic and Zoran Petric), Journal of Knot Theory and its Ramifications 11(2002), pp. 127-143 (http://arXiv.org/math.GT/0008187).
61) Self-adjunctions and matrices (co-author: Zoran Petric), Journal of Pure and Applied Algebra 184(2003), pp. 7-39 (http://arXiv.org/math.GT/0111058).
62) Generality of proofs and its Brauerian representation (co-author: Zoran Petric), The Journal of Symbolic Logic 68(2003), pp. 740-750 (http://arXiv.org/math.LO/0211090).
63) A Brauerian representation of split preorders (co-author: Zoran Petric), Mathematical Logic Quarterly 49(2003), pp. 579-586 (http://arXiv.org/math.LO/0211277).
64) The geometry of self-adjunction (co-author: Zoran Petric), Publications de l'Institut Mathematique (N.S.) 73(87) (2003), pp. 1-29 (http://arXiv.org/math.GT/0111058).
65) Identity of proofs based on normalization and generality, The Bulletin of Symbolic Logic 9(2003), pp. 477-503 (http://arXiv.org/math.LO/0208094).
66) Negation and involutive adjunctions (co-author: Zoran Petric), in: S. Artemov et al. eds, We Will Show Them: Essays in Honour of Dov Gabbay, vol. 1, College Publications, London, 2005, pp. 577-586 (http://arXiv.org/math.LO/0506302).
67) Coherence of proof-net categories (co-author: Zoran Petric), Publications de l'Institut Mathematique (N.S.) 78(92) (2005), pp. 1-33 (http://arXiv.org/math.CT/0503301).
68)
Models of deduction, in: R. Kahle and P. Schroeder-Heister eds, proceedings of the
69) Associativity as commutativity (co-author: Zoran Petric), The Journal of Symbolic Logic 71(2006), pp. 217-226 (http://arXiv.org/math.CT/0506600).
70)
Coherence for star-autonomous categories (co-author: Zoran Petric),
Annals of Pure and Applied Logic 141(2006), pp. 225-242
(http://arXiv.org/math.CT/0503306).
71)
A new proof of the faithfulness of Brauer's representation of Temperley-Lieb
algebras (co-authors: Zana Kovijanic and Zoran Petric), International
Journal of Algebra and Computation
16(2006), pp. 959-968 (http://arXiv.org/math.GT/0204214).
72)
Symmetric self-adjunctions: A justification of Brauer's representation of
Brauer's algebras (co-author: Zoran Petric),
in: N. Bokan et al. eds, Proceedings of the Conference "Contemporary
Geometry and Related Topics", Faculty of Mathematics, Belgrade, 2006, pp.
177-187
(http://arXiv.org/math.RT/0512102).
73)
Medial commutativity (co-author: Zoran Petric), Annals of Pure and Applied
Logic 146(2007), pp. 237-255 (http://arXiv.org/math.CT/0610934).
74)
Coherence and confluence (co-author: Zoran Petric), in: J.-Y. Béziau
and A. Costa-Leite, eds,
Perspectives on Universal Logic, Polimetrica, Monza, 2007, pp. 205-215
(http://arXiv.org/math.CT/0506310).
75)
Relevant categories and partial functions (co-author: Zoran Petric),
Publications de l'Institut Mathematique (N.S.) 82(96) (2007), pp. 17-23
(http://arXiv.org/math.CT/050413).
76)
Simplicial endomorphisms, Communications in Algebra 36(2008), pp.2681-2709
(http://arXiv.org/math.GT/0301302).
77)
Equality of proofs for linear equality (co-author: Zoran Petric),
Archive for Mathematical Logic 47(2008), pp. 549-565 (http://arXiv.org/math.LO/0601490).
78)
Bicartesian coherence revisited (co-author: Zoran Petric),
in: Z. Ognjanovic ed., Logic in Computer Science, Zbornik radova
12(20) (2009), pp. 5-34 (arXiv:0711.4961).
79)
Coherence in linear predicate logic (co-author: Zoran Petric),
Annals of Pure and Applied Logic 158(2009), pp. 125-153 (arXiv:0709.1421).
80)
Coherence for monoidal endofunctors (co-author: Zoran Petric),
Mathematical Structures in Computer Science 20(2010), pp. 523-543
(arXiv:0907.2194).
81)
Coherence for monoidal monads and comonads (co-author: Zoran Petric),
Mathematical Structures in Computer Science 20(2010), pp. 545-561
(arXiv:0907.2199).
82)
Coherence for modalities (co-author: Zoran Petric), Journal of
Pure and Applied Algebra 215(2011), pp. 1606-1628 (arXiv:0809.2494).
83)
Hypergraph polytopes (co-author: Zoran Petric), Topology and its
Applications 158(2011), pp. 1405-1444 (arXiv:1010.5477).
84)
A prologue to the theory of deduction, in: M. Pelis and V. Puncochar eds,
The Logica Yearbook 2010, College Publications, London, 2011, pp. 65-80
(preprint pdf
file 85)
Intermutation (co-author: Zoran Petric), Applied Categorical
Structures 20(2012), pp. 43-95 (http://arXiv.org/math.CT/0701325).
86)
Isomorphic formulae in classical propositional logic (co-author: Zoran
Petric), Mathematical Logic Quarterly 58(2012), pp. 5-17 (arXiv:0912.1271).
87)
Shuffles and concatenations in the construction of graphs (co-author: Zoran
Petric), Mathematical Structures in Computer Science 22(2012), pp. 904-930
(Shuffles and concatenations in constructing of graphs, arXiv:1002.3577).
88)
Symmetric self-adjunctions and matrices (co-author: Zoran Petric),
Algebra Colloquium 19(2012), pp. 1051-1082 (http://arXiv.org/math.CT/0510039).
89)
Syntax for split preorders (co-author: Zoran Petric),
Annals of Pure and Applied Logic 164(2013), pp. 443-481 (arXiv:0902.0742).
90)
Ordinals in Frobenius monads (co-author: Zoran Petric),
Journal of Pure and Applied Algebra 217(2013), pp. 763-778
(arXiv:0809.2495).
91)
Graphs of plural cuts (co-author: Zoran Petric), Theoretical
Computer Science 484(2013), pp. 41-55 (arXiv:1104.4064).
92)
Algebras of deductions in category theory, in: D. Jokanovic et al. eds,
Third Mathematical Conference of the Republic of Srpska, Proceedings,
Trebinje 2013, Zbornik radova, vol. I, Univerzitet u Istocnom Sarajevu,
Fakultet za proizvodnju i menadzment, Trebinje, 2014, pp. 11-18
(pdf file 93)
Inferential semantics, in: H. Wansing ed., Dag Prawitz on Proofs
and Meaning, Springer, Cham, 2015, pp. 147-162 (preprint pdf
file 94)
Weak Cat-operads (co-author: Zoran Petric), Logical Methods in
Computer Science 11(2015), issue 1, paper 10, pp. 1-23 (arXiv:1005.4633v8,
last version of the authors pdf file 95)
A planarity criterion for graphs (co-author: Zoran Petric),
SIAM Journal on Discrete Mathematics 29(2015), pp. 2160-2165 (arXiv:1203.0996).
96)
On the paths of categories: An introduction to deduction, in: T. Piecha and
P. Schroeder-Heister eds, Advances in Proof-Theoretic Semantics, Springer,
Cham, 2016, pp. 65-77 (preprint
pdf file 97)
Comments on an opinion, in: T. Piecha and P. Schroeder-Heister eds, Advances
in Proof-Theoretic Semantics, Springer, Cham, 2016, pp. 189-193 (preprint
pdf file 98)
On sets of premises,
in: D. Probst and P. Schuster eds, Concepts of Proof in
Mathematics, Philosophy and Computer Science, Walter de Gruyter, Berlin,
2016, pp. 151-162 (arXiv:1412.6783, preprint pdf
file
).
99) Goedel's Notre Dame course (co-author: Milos Adzic),
The Bulletin of Symbolic Logic 22(2016), pp. 469-481
(arXiv:1604.02607, preprint pdf file 100)
Representing conjunctive deductions by disjunctive deductions (co-author:
Zoran Petric), The Review of Symbolic Logic 10(2017), pp. 145-157
(arxiv:1511.05462).
Preprints 101) Goedel on deduction (co-author: Milos Adzic), January 2016
(arXiv:1604.02757, preprint pdf file 102) Goedel's natural deduction (co-author: Milos Adzic), March 2016
(arXiv:1604.03078, preprint pdf file
Text Editor 1)
Logic Lectures: Goedel's Basic Logic Course at Notre Dame (co-editor: Milos
Adzic), Logical Society, Belgrade, 2017 (April 2017, arxiv:1705.02601, https://hal.archives-ouvertes.fr/hal-01517931, preprint pdf file Book
Editor 1)
Substructural Logics (co-editor: Peter Schroeder-Heister), Oxford Short Articles 1)
Is it good to make others do something good?, Analysis 43(1983), pp. 2)
A puzzle about logical equivalence (under pseudonym), Analysis 44(1984), 3)
Problems Section, Problem 27, Reports on Mathematical Logic 20(1986), p. 4)
One more reference on self-reference, The Mathematical Intelligencer 5)
K. Ajdukiewicz ''La connexion syntactique'', in: J.-F. Mattéi ed., 6)
Ioan Doshenovich--the author of the ''Arithmetic'' (in Serbian, 7)
Tortuous application, The Mathematical Intelligencer 20(1998), no 1, p. 8)
Logic, in: The Language of Science, Polimetrica, Monza
(used to be available in 2007 at: http://www.polimetrica.org/Site/dosen.html
pdf file).
9)
General proof theory, in: P. Schroeder-Heister et al. eds, Logic, Methodology and
Philosophy of Science - Proceedings of the 14th International Congress
(Nancy): Logic and Science Facing the New Technologies, introduction to the
Symposium on General Proof Theory, College
Publications, London, 2015, pp. 149-151 (preprint pdf file).
Abstracts 1)
Sequent-systems for modal logic, The Journal of Symbolic Logic 49(1984), 2)
Higher-level sequent-systems for intuitionistic modal logic, Polish 3)
Higher-level sequent-systems for intuitionistic modal logic, The Journal 4)
Modal translations and intuitionistic double negation, The Journal of 5)
A general interpolation and definability theorem (co-author: Peter 6)
Weak propositional logics, The Journal of Symbolic Logic 52(1987), p. 315 7)
Normal modal logics in which the Heyting propositional calculus can be 8)
Rudimentary Kripke models for the Heyting propositional calculus, The 9)
Kripke-style models for substructural logics, Publications du Centre 10)
Deductive completeness, Logic Journal of the Interest Group in Pure and 11)
Identity of proofs, The Bulletin of Symbolic Logic 9(2003), pp. 75-76 (see
Paper 64).
12)
Democracy and mathematics, in: M. Stupar and I. Mladenovic eds, Democracy
and Truth: International Conference, Book of Abstracts, Institute of
Philosophy, Faculty of Philosophy, University of Belgrade, ISBN
978-86-88803-77-9, Belgrade, 2013, p. 11 (pdf
file 13)
An introduction to deduction, in: T. Piecha and P. Schroeder-Heister
eds, Proceedings of the Conference on Hypothetical Reasoning, 23-24 August
2014, Tuebingen, University of Tuebingen, 2015, p. 33 (available at:
http://dx.doi.org/10.15496/publikation-415, see Paper 96).
14)
Adjunction and normalization in categories of logic, in: T. Piecha and
P. Schroeder-Heister eds, General Proof Theory: Celebrating 50 Years of Dag
Prawitz's "Natural Deduction", Proceedings of the Conference held in
Tuebingen, 27-29 November 2015, University of Tuebingen, 2016, p. 5
(available at: https://publikationen.uni-tuebingen.de/xmlui/handle/10900/68977,
http://ls.informatik.uni-tuebingen.de/GPT/abstracts.xh).
15)
Is natural deduction natural? XXIII Naucni skup ,,Empirijska
istrazivanja u psihologijiâ€, 24-26. mart 2017., Filozofski fakultet,
Univerzitet u Beogradu, str. 55-56 (available at: http://
empirijskaistrazivanja.org/wp-content/uploads/2017/04/Knjiga-rezimea-EIP17.pdf).
16)
Deductive systems and categories in logic and beyond, in: J. Fichot and T.
Piecha eds, Beyond Logic, Proceedings of the Conference held in
Cerisy-la-Salle, 22-27 May, 2017, Paris 1 Pantheon-Sorbonne, University of
Tuebingen, 2017, p. 17 (available at:
http://ls.informatik.uni-tuebingen.de/cerisy/Cerisy-2017.pdf,
abstract pdf
file Reviews 1)
Theoria (Beograd) 3/4 (1976): A.R. Anderson and N.D. Belnap, Jr., 2)
Mathematical Reviews
- 85g:03031:
H. Nishimura, A cut-free sequential system for the propositional
- 85g:03081:
L. Malyaukene, Equivalence of some arithmetical systems, Mat.
- 85g:03082:
L. Malyaukene, Free variable additive arithmetic with restricted
- 85i:03044:
B.F. Chellas, KGk,l,m,n and the EFMP, Logique et Anal. (N.S)
- 85i:03055: M.F. Ratsa, Functional completeness in modal logics, Izv. Akad.
- 85i:03065: O.M. Anshakov, S.V. Rychkov, Axiomatiztion of finite-valued
- 85j:03033: V.N. Krivtsov, A type of formal negationless system, Vestnik
- 86a:03010:
A.D. Yashin, Nishimura's formulas as one-place logical
- 86a:03024:
Z. Sikic, Multiple forms of Gentzen's rules and some intermediate
- 86b:03017:
P. Wojtylak, Collapse of a class of infinite disjunctions in
- 86f:03046: A.Yu. Muravitskii, A result on the completeness of
- 86h:03041: Ya. M. Drugush, Finite approximability of forest
- 86i:
03049: E.H. Alves, Paraconsistent logic and model theory, Studia Logica
- 87a:03053:
H. Ono, Y. Komori, Logics without the contraction rule, J.
- 87b:03045:
D. Ballard, Independence in higher-order subclassical logic,
- 87d:03023:
S. Yablo, Truth and reflection, J. Philos. Logic 14(1985), 297-349
- 87d:03038: S.N. Artemov, Nonarithmeticity of truth predicate logics of
- 87d:03082:
P. Materna, ''Linguistic constructions'' in the transparent
- 87d:03085:
E. Orlowska, Logic of nondeterministic information, Studia Logica
- 87e:03030:
K. Fine, Logics containing K4, II, J. Symbolic Logic 50(1985),
- 87f:03009:
M. Fitting, Notes on the mathematical aspects of Kripke's theory
- 87f:03070:
C. Rauszer, Formalizations of certain intermediate logics, I,
- 87g:01003:
J. Vuillemin, Sur deux cas d'application de l'axiomatique à la philosophie: l'analyse du mouvement de
Zénon d'Elée et l'analyse
- 87i:03004: L.G. Antipenko, The Problem of Incompleteness of a Theory and its
- 87j:03028:
J.P. Seldin, On the proof theory of the intermediate logic MH, J.
- 88a:03036:
G. Bellin, A system of natural deduction for GL, Theoria
- 88d:03057:
T. Weston, Approximate truth, J. Philos. Logic 16(1987), 203-227
- 88h:03086: S.N. Furs, Syllogistics of some theories, Z. Math. Logik
- 88i:03010: M.V. Popovich et al., Proof and Understanding, Naukova Dumka,
- 89a:03037: Yu.V. Ivlev, Intensional construction of systems of modal logic,
- 89b:03033: J.M. M\'{e}ndez, Axiomatizing E\AE\ and R\AE\ with Anderson's and
- 89b:03048: C.B. Daniels, Nonlogical consequences, Logique et Anal. (N.S.)
- 89f:01045: V.A. Bazhanov, On the sources of modern nonclassical logic,
- 89h:03008:
D. Doichinov, The parallel axiom and the continuum hypothesis,
- 89i:03008: J.L. Pollock, The Foundations of Philosophical Semantics,
- 89m:03015:
E. Orlowska, Entailment based on semantic relevance criteria,
- 90a:03015:
C.R. Ceniza, Material implication and entailment, Notre Dame J.
- 90a:03028:
A. Zbrzezny, The Gentzen type axiomatization of a three-valued
- 90a:03030: B.R. Boricic, On certain normalizable natural deduction
- 90d:03035: D.K. Lewis, Relevant implication, Theoria 54(1988), 162-174
- 90m:03013:
M. Seymour, R\'{e}f\'{e}rence et identit\'{e}, Logique et Anal.
- 90m:03035:
H. Friedman, M. Sheard, The equivalence of the disjunction and
- 91b:03013:
M. Sanchez-Mazas, Essai de représentation par les nombres
- 91b:03032: L.D. Beklemishev, Classification of propositional provability
- 91g:03038: M.N. Bezhanishvili, Doxastic propositional systems with one modal
- 91g:03045: E.Yu. Nogina, Classes of arithmetic companions of modal
- 91m:03005: V.M. Abrusci, Sequent calculus for intuitionistic linear
- 92a:03026:
V.V. Rybakov, Problems of substitution and admissibility in the
- 92e:03012:
G. Mints, Normalization theorems for the intuitionistic systems
- 92f:03062:
G. Mints, A strengthened normal form theorem for the predicate
- 92j:03017: R.T. Brady, Gentzenization and decidability of some
- 93e:03023:
N. Denyer, Ease and difficulty: a modal logic with deontic
- 93j:03013:
A. Avron, Whither relevance logic?, J. Philos. Logic 21(1992),
- 93k:03023: E.D. Mares, Semantics for relevance logic with identity, Studia
- 94b:03021:
R. Dyckhoff, Contraction-free sequent calculi for intuitionistic
- 94f:03024:
P. Kremer, Quantifying over propositions in relevance logic:
- 94c:03039:
C. Cerrato, Cut-free modal sequents for normal modal logics,
- 95j:03037:
M. Takano, A sequent calculus for the Lesniewskian modal logic,
- 95m:03014: V.N. Krivtsov, On the semantic completeness of logics of the
- 95m:03016:
A.D. Yashin, Smetanich's logic TF and two definitions of a new
- 96h:03022: W.A. Pogorzelski, A minimal implicational logic, in: J. Wolenski
- 96j:03035:
G. Restall, Modalities in substructural logics, Logique et
- 97a:03019:
M. Tasic, Version intuitioniste du calcul des neg.-propositions
(see
also 93m:03036, 95k:03050) 3)
Journal of Logic and Computation 3(1993), 219-222: J.P. Cleave, A Study 4)
The Bulletin of Symbolic Logic 7(2001), 527-530: Greg Restall, An
Introduction to Substructural Logics, Routledge, London, 2000.
Invited
Talks at Conferences 1)
Negation and impossibility, 30th Conference on the History of Logic, 2)
Modal duality theory, 5th Conference ''Algebra and Logic'', Cetinje, June 3)
Rudimentary Kripke models for the Heyting propositional calculus, Logic 4)
Rudimentary Kripke models, SNS Logic Colloquium, Tuebingen, March 1990 5)
Modal logic as metalogic, 3rd Logical Biennial, Summer School and 6)
Metalogic, Workshop on Categorial Grammar, Linear Logic and Related 7)
Modality in substructural logics (one-week course), 3rd European Summer 8)
Kripke-style models for substructural logics, 3rd Workshop ''Logic and 9)
An introduction to substructural logics, Logic Colloquium '93, Keele, 10)
Modal functional completeness, Proof Theory of Modal Logic, Hamburg, 11)
Functional completeness in substructural categories, Meeting on 12)
Substructural logics, MEDLAR Workshop, Toulouse, February 1994 13)
Logical consequence: A turn in style, 10th International Congress of 14)
Deductive completeness in substructural logics, COST Conference on 15)
Deductive completeness, 11th Brazilian Logic Conference, Salvador 16)
Deductive systems and categories, Golden Jubilee Symposium of the 17)
Logical constants and adjunction, Cut elimination in adjunction, First 18)
Models of proofs, Proof-Theoretic Semantics, Tuebingen, 19)
Set-theoretic axioms, lambda conversion and the deduction theorem, 10th 20)
Conjunction and disjunction in categories, Proof Theory in Computer Science,
Dagstuhl Castle, October 2001 (see Paper 56).
21)
Identity of proofs, Logic Colloquium 2002, Muenster, August 2002 (see Paper
65).
22)
Coherence in categories and logic, 11th Congress of the Mathematicians
of Serbia and Montenegro, Petrovac, September 2004.
23)
Coherence in general proof theory, Universal Logic, Montreux, March 2005.
24)
Modal logic and Frobenius algebras, Advances in Constructive Topology and
Logical Foundations, Padua, October 2008 (see Papers 82, 89).
25)
Perspectives in general proof theory, Logica 2010, Hejnice, June 2010
(see Paper 84).
26)
Logical constants and adjunction, Workshop on Logical Constants, ESSLLI 2011,
Ljubljana, August 2011
(bibliography pdf file 27)
Invariants for classification of propositional formulae (together with Zoran
Petric), Workshop "Cross
Perspectives on Proof Systems and their Significance", Paris, May 2012.
28)
The main question of general proof theory, Workshop on Proof Theory, Pisa,
June 2012.
29)
Inferential semantics, Workshop "Dag Prawitz on Proofs and Meaning", Bochum,
September 2012 (see Paper 93).
30)
Two ways of general proof theory, Second Conference on Proof-Theoretic
Semantics, Tuebingen, March 2013 (see Paper 96).
31)
Algebras of deductions in category theory, Third Mathematical Conference
of the Republic of Srpska, Trebinje, June 2013 (see Paper 92).
32)
Intuitionistic logic in categorial proof theory, Constructive Mathematics:
Foundations and Practice, Nis, June 2013.
33)
Proof theory and deduction theory, Proof, Bern, September 2013.
34)
An introduction to deduction, Conference on Hypothetical Reasoning,
Tuebingen, August 2014 (see Paper 96).
35)
On exactitude, Second Belgrade Graduate Conference in Philosophy and Logic,
Belgrade, April 2015 (abstract pdf
file 36)
Lambek's proof theory, The Legacy of Joachim Lambek, 15th Congress of Logic,
Methodology and Philosophy of Science, Helsinki, August 2015.
37)
Adjunction and normalization in categories of logic, General Proof Theory:
Celebrating 50 Years of Dag Prawitz's "Natural Deduction", Tuebingen,
November 2015 (see Abstract 14).
38)
Goedel on deduction, Inferences and Proofs, Marseille, May 2016 (see Papers
99, 101, 102).
39)
Reidemeister for serpentines, Thirty Years of CGTA, Belgrade, December 2016.
40) Deductive systems and categories in logic and beyond (by title), Beyond
Logic, Cerisy, May 2017 (see Abstract 16).
41) Should the explicans be simpler than the explicandum? (by title), Proof
Theory as Mathesis Universalis, Loveno di Menaggio (Como), July 2017
(abstract pdf file Contributed Papers at
Conferences 1)
Sequent-systems for modal logic, Logic Colloquium '82, Florence, August 2)
Minimal modal systems in which Heyting and classical logic can be 3)
An intuitionistic Sheffer function, 4th Conference ''Algebra and Logic'', 4)
Modal translations and intuitionistic double negation (by title), Logic 5)
Weak propositional logics, Logic Colloquium '85, Paris, July 1985 (see 6)
A general interpolation and definability theorem (co-author: Peter 7)
Higher-level sequent-systems for intuitionistic modal logic (by title), 8)
A note on Gentzen's decision procedure for intuitionistic propositional 9)
Normal modal logics in which the Heyting propositional calculus can be 10)
Nonreflexive Kripke models for intuitionistic propositional logic, 2nd 11)
Modal translations of Heyting and Peano arithmetic, 7th Conference 12)
The first substructural logic, Conference on Logics with Restricted 13)
Ioan Doshenovich--the author of the ''Arithmetic'' (by title), Conference 14)
Post-completeness of comonads, Conference in Honour of S. Presic, 15)
Prospects in proof theory, International Congress MASSEE 2003, Borovets,
September 2003 16)
Partial maps and relevant logic (co-author: Zoran Petric), The Relevance of Logic, Belgrade,
May 2005 (see Paper 75) 17)
The geometry of self-adjunction (co-author: Zoran Petric), Contemporary
Geometry and Related Topics, Belgrade, June 2005 (see Papers 64, 72) 18)
Coherence in predicate logic, Logic Days, Novi Sad, December 2007 (see Paper
79) 19)
Democracy and mathematics, Democracy and Truth, Belgrade,
October 2013 (see Abstract 12) 20)
Is natural deduction natural? (co-authors: Milos Adzic, Ana Dosen, Jovana
Kostic, Katarina Maksimovic, Senka Milosevic), Empirical Studies in
Psychology, Belgrade, March 2017 (see Abstract 15) Links
1) Ilijada ili Pesma o sili pdf
file 2) Glossaire portatif pdf
file 3) Anabaza i druge pesme pdf file 4) Kalimajdan pdf file 5) Napomene za Kalimajdan pdf
file 6) Prestonica u leto pdf
file 7) Dva prevoda pdf
file 8) Kraj tuznih tropa pdf
file 9) Problem muzeja pdf
file 10) O strogosti u nauci pdf
file 11) Pesma stvorenja pdf
file 12) Ostale publikacije pdf
file