Zalan Gyenis' webpage

▶ For students - course materials

▸ 2023/24 Logika WFz.IF-F1-OBL-LO01 (Ćwiczenia)

Handouts:

Resources:

▸ 2023/24L Classics of Modern Logic WFz.IF-F1-FAK-LO17 (Seminar)

Readings:

Lewis Carroll: What the Tortoise Said to Achilles
Rolf George: Bolzano's Concept of Consequence
Tarski: The Concept of Logical Consequence
Tarski: What are the logical notions?
Field: Tarski's theory of truth
Parsons: A plea for substitutional quantification

▸ 2023/24L Introduction to Computability WFz.IF-F1-FAK-LO18 (Seminar)

Readings:

Resources:

▶ Publications

▸ Books

H. Andréka, Z. Gyenis, I. Németi, and I. Sain, Universal Algebraic Logic, Birkhauser, Studies in Universal Logic series, 2022
L. Csirmaz, Z. Gyenis, Mathematical Logic: Exercises and Solutions, Springer, Problem Books in Mathematics series, 2022

▸ Papers

Z. Gyenis, Z. Molnár, Varieties of modal algebras without the congruence extension property, Submitted for publication, 2024
Z. Gyenis, Ö. Öztürk, Amalgamation and Robinson property in Universal Algebraic Logic, Logic Journal of IGPL, Volume 32, Issue 1, pp.180–196, 2024
H. Andréka, Z. Gyenis, I. Németi, and I. Sain, Logic families, Submitted for publication, 2023.
A. Gopaulsingh, Z. Gyenis, and Ö. Öztürk, Subalgebra independence, Math. Reports, 25(75), Vol. 4, pp. 589-601, 2023
Z. Gyenis, Z. Molnár, Ö. Öztürk, The Modelwise Interpolation Property of Semantic Logics, Bulletin of the Section of Logic 52(1), pp. 59-83, 2023, DOI
L. Wroński, Z. Gyenis, M.Z.Cocchiaro, What Chance-Credence Norms Should Be, Synthese, Vol. 200, Issue 6, 2022
M. Gil Sanchez, Z. Gyenis, L. Wroński, Probability and symmetric logic, Journal of Philosophical Logic, Vol. 52, pp.183--198, 2023
M. Gil Sanchez, Z. Gyenis, L. Wroński, Nonclassical probability, convex hulls and Dutch books, Episteme, Accepted for publication, 2022
Z. Gyenis, M. Rédei, The Maxim of Probabilism -- with special regard to Reichenbach, Synthese, 199, 8857-8874, 2021
A. Banerjee, Z. Gyenis, Chromatic number of the product of graphs, graph homomorphisms, antichains and cofinal subsets of posets without AC, Commentationes Math. Univ. Carolinae, 62(3), 361-382, 2021
Z. Gyenis, M. Rédei, Having a look at the Bayes Blind Spot, Synthese, 198(4), 3801-3832, 2021
Z. Gyenis, Standard Bayes logic is not finitely axiomatizable, Reviews of Symbolic Logic, 13(2), 326-337, 2020
W. Brown, Z. Gyenis, M. Rédei, The modal logic of Bayesian belief revision, Journal of Philosophical Logic, 48(5), 809-824, 2019
Z. Gyenis, On the modal logic of Jeffrey conditionalization, Logica Universalis, 12(3), 351-374, 2018
Z. Gyenis, Algebraic characterization of the local Craig interpolation property, Bulletin of the Section of Logic, Vol. 47, No. 1, pp. 45--59, 2018
Z. Gyenis, Skeleton in the Euclidean closet, Kálmán--Kornai 120 Festschrift, Beáta Gyuris, Katalin Mády, and Gábor Recski (eds.), Research Institute for Linguistics, Hungarian Academy of Sciences, ISBN 978-963-9074-73-6, 2017
Z. Gyenis, M. Rédei, Categorial subsystem independence as morphism co-possibility, Communications in Mathematical Physics, Vol. 357, Issue 1, pp. 447--465, 2018
Z. Gyenis, M. Rédei, Common cause completability of non-classical probability spaces, Belgrade Philosophical Annual Vol. XXIX, pp. 15-32, 2017
Z. Gyenis, M. Rédei, General properties of Bayesian learning as statistical inference determined by conditional expectations, Reviews of Symbolic Logic, Vol. 10, Issue 4, pp. 719-755, Dec. 2017
Z. Gyenis, M. Rédei, A principled analysis of consistency of an Abstract Principal Principle, in: Making it Formally Explicit, Gábor Hofer-Szabó, Leszek Wroński (eds.), pp. 3-33, Springer, 2017
Z. Gyenis, G. Hofer-Szabó, M. Rédei, Conditioning using conditional expectations: the Borel-Kolmogorov paradox, Synthese, Vol. 194, Issue 7, pp. 2595-2630, 2017, ERRATA!!! by Philipp Wacker
H. Andréka, Z. Gyenis, I. Németi, Ultraproducts of continuous posets, Algebra Universalis, 76:2, 231--235, 2016
Z. Gyenis, M. Rédei, Measure theoretic analysis of consistency of the Principal Principle, Philosophy of Science, Vol. 83, No. 5, pp.972--987, 2016
Z. Gyenis, M. Rédei, Defusing Bertrand's paradox, BJPS, 66(2), 349-373, 2015; doi:10.1093/bjps/axt036
Z. Gyenis, Interpolation property and homogeneous structures, Logic Journal of IGPL, 22(4), 597-607, 2014; doi: 10.1093/jigpal/jzt051
Z. Gyenis, M. Rédei, Atomicity and causal completeness, Erkenntnis 79:3, 437--451, 2014
G. Sági, Z. Gyenis, Upward Morley's Theorem Downward, Math. Log. Quart. 59, No. 4–5, 303–331 (2013) DOI 10.1002/malq.201110048
Z. Gyenis, M. Rédei, Why Bertrand's paradox is not paradoxical but is felt so. In: Mäki, U., Votsis, I., Ruphy, S., Schurz, G. (eds) Recent Developments in the Philosophy of Science: EPSA13 Helsinki. European Studies in Philosophy of Science, vol 1. Springer, Cham, 2015
Z. Gyenis, On atomicity of free algebras of certain cylindric-like varieties, Logic Journal of IGPL 19(1), 44--52, 2011
Z. Gyenis, M. Rédei, Characterizing common cause closed probability spaces, PhilSci, 78:3, 393--409, July 2011
L. E. Szabó, B. Gyenis, Z. Gyenis, M. Rédei, G. Hofer-Szabó, Korrelációk kauzális magyarázata, (in Hungarian) Magyar Filózófiai Szemle, 2010:3

▸ Fun

Z. Gyenis (Polish translation: Błażej Gębura), Czy piraci powodują globalne ocieplenie?, Filozofuj! 2019:3(27)

▸ PhD Thesis

Finite categoricity and Non-atomicity of free algebras,
PhD Thesis, Deparment of Mathematics, Central European University, 2013
Referees: Martin Goldstern, Péter Komjáth; Head: László Csirmaz
Supervisor: Gábor Sági; Slides of defense, 26 Apr 2013
10 page abstract