Publications



        *   Chapter in Book
        ** in Proceeding of a Conference

     

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

                                                                                 Books, Theses

                                            



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