Dr Alena Vencovská

MATHEMATICAL LOGIC GROUP

Room 2-132, Alan Turing Building

School of Mathematics,

University of Manchester

Oxford Road, Manchester M13 9PL, UK

Alena.Vencovska[at]manchester.ac.uk

Tel: +44 (0) 161 30 63227

Fax: +44 (0) 161 275 5819

Page contents:

Research interests
Teaching
Publications
Co-workers

Research interests

Mathematical Logic, in particular inductive logic.

Teaching

MATH43021/63021 Set Theory

Publications

Recent Papers

with J.B.Paris, A Note on Irrelevance in Inductive Logic, to appear in the Journal of Philosophical Logic,
DOI: 10.1007/s10992-010-9154-2
with J. Landes and J.B.Paris, A survey of some recent results on Spectrum Exchangeability in Polyadic Inductive Logic, to appear in Synthese.
with J.B.Paris, Symmetry in Polyadic Inductive Logic, to appear in the Journal of Logic, Language and Information,
DOI: 10.1007/s10849-011-9143-z
with J.B.Paris, From Unary to Binary Inductive Logic, in Games, Norms and Reasons, Synthese Library, 2011, Volume 353, 199-213,
DOI: 10.1007/978-94-007-0714-6_12
with J.B.Paris, Symmetry's End?, Erkenntnis, 74(1):53-67, 2011.
with J.B.Paris, A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic, in Logic and its Applications, ICLA, Proceedings of the 4th India Logic Conference, eds. M.Banerjee and A.Seth, Springer LNCS 6521, pp 137-146, Delhi, India, 2011.
with J.Landes and J.B.Paris, A characterization of the Language Invariant Families satisfying Spectrum Exchangeability in Polyadic Inductive Logic, Annals of Pure and Applied Logic, 161, pp 800-811, 2010.
with J.B.Paris, A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability, in CiE, Springer LNCS 5634, pp 379-388, 2009.
with J.Landes and J.B.Paris, Instantial Relevance in Polyadic Inductive Logic, in Proceedings of the 3rd India Logic Conference, eds. R.Ramanujam and Sundar Sarukai, Springer LNAI 5378, pp 162-169, Chennai, India, 2009
with J.Landes and J.B.Paris, The Principle of Conformity and Spectrum Exchangeability, in Foundations of Formal Sciences VI, eds. B.Loewe and J-W.Romeijn, Studies in Logic Volume 16, College Publications,and UK, pp 81-90, 2009.
with J.B.Paris, A Generalization of Muirhead Inequality, Journal of Mathematical Inequalities, 3(2), pp 181-187, 2009
with J.Landes and J.B.Paris, Representation Theorems for probability functions satisfying Spectrum Exchangeability in Inductive Logic, in International Journal of Approximate Reasoning, 51 Issue 1, pp 35-55, 2009 .
with J.Landes and J.B.Paris, Some Aspects of Polyadic Inductive Logic, Studia Logica, 90, pp 3-16, 2008.
with J.Landes and J.B.Paris, Language Invariance and Spectrum Exchangeability, in Inductive Logic, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings of the 9th European Conference, ECSQARU 2007, Hammamet, Tunisia. Springer LNAI 4724, pp151-160, ISBN: 978-3-540-75255-4
Binary Induction and Carnap's Continuum, Proceedings of the 7th Workshop on Uncertainty Processing (WUPES), Mikulov, 2006.

List of all publications