On valid assertions in probability logic, Studia Sci. Math. Hung., 12, 101-116, 1977 |
. |
A generalization of first order logic, Periodica Math. Pol., 21, 157-170, 1978 |
. |
On the foundations of axiomatic theory of probability, International Logic Review, 10, 5-18, 1979 |
. |
Measures on cylindric algebras, Bull. Sect. Logic Polish Acad. Sci., 11, 142-153, 1982 |
. |
Measures on cylindric algebras, Acta Math. Hung, 42, 3-17, 1983 |
. |
On
the connection of cylindrical homomorphisms and point
functions for Crs' s, Lectures in Universal Algebra, Coll. Math. Soc. J. Bolyai 43, North Holland, 123-141, 1986 * |
. |
Remark on the concept of conditional probability, Reports on Math.Logic, Krakow, 20, 3-6, 1986 |
. |
Probabilities on free product of formula algebras, Carleton Math.Series, Ottawa, 1-13, 1988 * |
. |
Algebraic logic conference, JSL, 54, 2, p686, 1989, with Andréka, H., Németi, I., Serény, Gy |
. |
On homomorphisms between relation algebras, Algebra Universalis, 27, 474-479, 1990 |
Measures on free product
of formula algebras and the analogies with
homomorphisms,
Algebraic Logic, Colloq. Math. Soc. J. Bolyai, North Holland, 173-181, 1991 * |
. |
On representability of
cylindric algebras,
Abstr.of papers presented to the American Math. Soc., 336, 13, 3, 1992 |
. |
Measures defined
on first order models, Abstr. of 10th Int. Congress of Logic, Math. and Phil. Sci., 9, 1995 ** |
. |
On inducing
homomorphisms by point functions, Bulletin of
Sect. Logic Pol. Ac., 3, 179-187, 1998
|
. |
On diagonals in representable cylindric algebras, Algebra Universalis, 41, 187-199, 1999 |
. |
On
representability of neatly embeddable cylindric
algebras, Journal of Applied Non-classical logics, 3-4, 300-315, 2000 |
. |
Algebraic logic
and probability theory, Proc.1st Int.Congress on Tools for Teach.Logic, Salamanca, 85-90, 2000 ** |
. |
Probabilities
defined on relations interpreting first order
formulas, in RelMICS 7, Relation Methods in Computer Science, C-A-University Kiel, 130-135, 2003 ** |
. |
Classical and
non-classical logics, in
Formal Methods in Computing, eds. Ferenczi, M., Pataricza, A, Rónyai, L., Akadémiai Kiadó, 97-155, 2005 * |
. |
Probabilities on first order models, Publications de l'Institut Mathematique, 78, 92, 107-115, 2005 |
On some
developments in the representation theory of
cylindrical-like algebras, Algebra Universalis, 55, 2-3, 345-353, 2006, with Sági, G. |
. |
On cylindric algebras satisfying merry-go-round properties, Logic Journal of IGPL, 15, 2, 183-197, 2007 |
. |
Finitary polyadic algebras from cylindric algebras, Studia Logica, 1., 87, 2-11, 2007 |
. |
On conservative extensions in logics with infinitary predicates, Studia Logica, 1, 92, 121-135, 2009 |
. |
Non-standard stochastics with a first order algebraization, Studia Logica, 95, 345-354, 2009 |
. |
On the
representability of neatly embeddable CA's by
cylindric relativized set algebras, Algebra Universalis, 4, 63, 331-350, 2010 |
. |
Existence of partial
transposition means representability in
cylindric algebras,
Mathematical Logic
Quarterly, 57, 1, 87-94, 2011 |
. |
A new
representation theory: representing cylindrc-like
algebras by relativised set algebras (in Cylindric-like Algebras and Algebraic Logic, Springer, 2012), 135-162, 2013 * |
. |
Probability
measures and measurable functions on cylindric
algebras (in Cylindric-like Algebras and Algebraic Logic, Springer, 2012), 333-350, 2013 * |
The
polyadic generalization of the Boolean
axiomatization of fields of sets, Transaction of American Mathematical Society, 364, 2, 867-886, 2012
|
. |
Probabilities defined
on standard and non-standard cylindric set algebras Synthese, 192, 7, pp. 2025-2033, 2015 |
On
representations of polyadic-like equality algebras Algebra Universalis 75:(1) pp. 107-125. 2016 |
. |
On
the definition and the representability of quasi
polyadic equality algebras Mathematical Logic Quarterly, 62:(1-2) pp. 9-15. 2016 |
200 éve született George Boole Magyar Tudomány, pp. 268-275, 3, 2016 |
Cylindric algebras and finitary polyadic
algebras Algebra Universalis 79:3, 14p, 2018 |
Star-finite logics and their
algebraizations, in Boolean logics, Expressions and Theories, Nova Science Publisher, pp. 21-38, 2020 |
Hyperfinite logics and
non-standard extensions of Boolean algebras Publications de l'Institut Mathematique, 107 (121), pp. 53-61, 2020 |
On the algebraization of
Henkin-type second-order logic Mathematical Logic Quarterly, 68:2, pp. 149-158, 2022 |
Quasi-polyadic algebras
and their dual position Notre Dame J. of Formal Logic, 63 (1), pp. 121-136, 2022 |
1. Valószínűségi Logikákról Doctoral dissertation, ELTE, 14Oold., 1977 |
. |
2. Mértékek,
Mérhető függvények Cilindrikus Algebrákon C.Sc. Theses, MTA, 160old., 1986 |
. |
3. Valószínűségszámítás és
Alkalmazásai Nemzeti Tankönyvkiadó, 408old., 1998 |
. |
4. Matematikai Logika Műszaki Kiadó, 350 old., 2002 |
. |
5. Formal Methods in
Computing eds. Ferenczi, M., Pataricza, A. and Rónyai, L., Akadémiai Kiadó, p425, 2005 |
. |
6. Mathematical Logic for
Applications Polytechnica, p104, 2006, with Szőts, M |
. |
7. Valószínűségszámítás és
Alkalmazásai Nemzeti Tankönyvkiadó, 408old., 2007 (második kiadás) |
. |
8. Cylindric-like Algebras and
Algebraic Logic eds. Andréka, H., Ferenczi, M. and Németi, I., Bolyai Society Mathematical Studies, Springer, p478, 2013 |
. |
9. Matematikai Logika Műszaki Kiadó, 350 old., 2014 (átdolgozott kiadás) |
10. Mathematical Logic for Applications
(with Szőts, M.), Typotex, 2016, elektronikus kiadás |
11. A Matematika Alapjairól, Typotex,
2020 |