Követés
Istvan Nemeti
Istvan Nemeti
Alfred Renyi Institute of Mathematics, Hungarian Academy of Sciences
E-mail megerősítve itt: renyi.mta.hu
Cím
Hivatkozott rá
Hivatkozott rá
Év
Modal languages and bounded fragments of predicate logic
H Andréka, I Németi, J Van Benthem
Journal of philosophical logic 27, 217-274, 1998
8041998
Non-Turing computations via Malament–Hogarth space-times
G Etesi, I Németi
International Journal of Theoretical Physics 41, 341-370, 2002
2802002
Algebraization of quantifier logics, an introductory overview
I Németi
Studia logica 50 (3), 485-569, 1991
1931991
Cylindric set algebras and related structures
L Henkin, JD Monk, A Tarski, H Andréka, I Németi, L Henkin, JD Monk, ...
Cylindric Set Algebras, 1-129, 1981
1501981
Algebraic logic
H Andréka, I Németi, I Sain
Handbook of philosophical logic, 133-247, 2001
1332001
The generalised completeness of Horn predicate-logic as a programming language
H Andréka, I Németi
Acta Cybernetica 4 (1), 3-10, 1978
1171978
Relativistic computers and the Turing barrier
I Németi, G Dávid
Applied Mathematics and Computation 178 (1), 118-142, 2006
1022006
Back and forth between modal logic and classical logic
H Andréka, J Van Benthem, I Németi
1021995
Cylindric-like algebras and algebraic logic
H Andréka, M Ferenczi, I Németi
Springer Science & Business Media, 2014
942014
Algebraic logic
H Andréka, JD Monk, I Németi
911991
Omitting types for finite variable fragments and complete representations of algebras
H Andréka, I Németi, TS Ahmed
The Journal of Symbolic Logic 73 (1), 65-89, 2008
842008
A complete logic for reasoning about programs via nonstandard model theory I
H Andreka, I Németi, I Sain
Theoretical Computer Science 17 (2), 193-212, 1982
841982
Free algebras and decidability in algebraic logic
I Németi
Dissertation for D. Sc. with Hung. Academy of Sciences, Budapest 18, 169, 1986
821986
On neat reducts of algebras of logic
TS Ahmed, I Németi
Studia Logica 68, 229-262, 2001
772001
Logic of space-time and relativity theory
H Andréka, JX Madarász, I Németi
Handbook of spatial logics, 607-711, 2007
742007
A general axiomatizability theorem formulated in terms of cone-injective subcategories
H Andréka, I Németi
Universal algebra 29, 13-35, 1981
731981
Generalization of the concept of variety and quasivariety to partial algebras through category theory
H Andréka, I Németi
Instytut Matematyczny Polskiej Akademi Nauk (Warszawa), 1983
721983
A logic road from special relativity to general relativity
H Andréka, JX Madarász, I Németi, G Székely
Synthese 186, 633-649, 2012
712012
Decidable versions of first order logic and cylindric-relativized set algebras
I Németi
Logic colloquium 92, 171-241, 1995
691995
On universal algebraic constructions of logics
H Andréka, T Gergely, I Németi
Studia Logica: An International Journal for Symbolic Logic 36 (1/2), 9-47, 1977
691977
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20