Browsing eNauka

Browsing by Author Došen, Kosta

Showing results 1 to 20 of 229 next >

Issue Date	Title	Author(s)	Type	Мp-cat.
2003	A Brauerian representation of split preorders	Došen, Kosta ; Petrić, Zoran	Article	22M22
1992	A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS	Došen, Kosta	Article	Mp. category will be shown later
1985	A Completeness Theorem for the Lambek Calculus of Syntactic Categories	Došen, Kosta	Article	Mp. category will be shown later
1994	A historical introduction to substructural logics	Došen, Kosta	Book parts	Mp. category will be shown later
2006	A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras	Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran	Article	22M22
1987	A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic	Došen, Kosta	Article	Mp. category will be shown later
1978	A note on the law of identity and the converse parry property	Došen, Kosta	Article	Mp. category will be shown later
2001	A note on the set-theoretic representation of arbitrary lattices	Došen, Kosta	Book parts	Mp. category will be shown later
2015	A planarity criterion for graphs	Došen, Kosta ; Petrić, Zoran	Article	22M22
2010	A prologue to the theory of deduction	Došen, Kosta	Book parts	Mp. category will be shown later
2010	A prologue to the theory of deduction	Došen, Kosta	Conference Paper	Mp. category will be shown later
1984	A puzzle about logical equivalence	Došen, Kosta	Article	Mp. category will be shown later
1981	A reduction of classical propositional logic to the conjuction-negation fragment of an intuitionistic relevant logic	Došen, Kosta	Article	Mp. category will be shown later
1981	A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic	Došen, Kosta	Article	Mp. category will be shown later
2017	Abbrev.[iated] editorial introduction	Adžić, Miloš R. ; Došen, Kosta M.	Book parts	Mp. category will be shown later
1991	Abrusci, V.Michele "Sequent calculus for intuitionistic linear propositional logic" - Mathematical logic, 223-242, Plenum, New York, 1990.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
2001	Abstraction and application in adjunction	Došen, Kosta	Conference Paper	Mp. category will be shown later
1990	Addenda and corrigenda to "Sequent-system and groupoid models"	Došen, Kosta	Article	Mp. category will be shown later
1998	Addenda and corrigenda to an "An introduction to adjunction"	Došen, Kosta	Article	Mp. category will be shown later
2015	Adjunction and Normalization in Categories of Logic	Došen, Kosta	Conference Paper	Mp. category will be shown later

Showing results 1 to 20 of 229 next >