• A Mester Tisztelete (review)
    Magyar Filozofiai Szemle 4. 1998.
  •  65
    A cut elimination theorem for stationary logic
    Annals of Pure and Applied Logic 33 (C): 181-193. 1987.
  •  79
    Investigations into Logical Deduction.Introduction
    with John Riser, Gerhard Gentzen, and Paul Bernays
    Journal of Symbolic Logic 35 (1): 144. 1970.
  •  79
    Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace
    Mathematical Logic Quarterly 43 (3): 343-354. 1997.
    We show that various fragments of the intuitionistic/constructive theory of the reals are decidable
  •  69
    We introduce the notion of an alphabetic trace of a cut-free intuitionistic prepositional proof and show that it serves to characterize the equality of arrows in cartesian closed categories. We also show that alphabetic traces improve on the notion of the generality of proofs proposed in the literature. The main theorem of the paper yields a new and considerably simpler solution of the coherence problem for cartesian closed categories than those in [11, 14].
  •  111
    Towards a natural language semantics without functors and operands
    with László Kálmán and Agi Kurucz
    Journal of Logic, Language and Information 17 (1): 1-17. 2007.
    The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretati…Read more
  •  6
    Undecidability of the Real‐Algebraic Structure of Scott's Model
    Mathematical Logic Quarterly 44 (3): 344-348. 2006.
    We show that true first‐order arithmetic of the positive integers is interpretable over the real‐algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.
  •  89
    Based on the paper [4] we show that true second‐order arithmetic is interpretable over the real‐algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras.
  •  148
    Decidability of Scott's Model as an Ordered $\mathbb{Q}$-Vectorspace
    Journal of Symbolic Logic 62 (3): 917-924. 1997.
    Let $L = \langle, +, h_q, 1\rangle_{q \in \mathbb{Q}}$ where $\mathbb{Q}$ is the set of rational numbers and $h_q$ is a one-place function symbol corresponding to multiplication by $q$. Then the $L$-theory of Scott's model for intuitionistic analysis is decidable.
  •  154
    We show that true first-order arithmetic is interpretable over the real-algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras. From this the undecidability of the structures follows. We also show that Scott's model is equivalent to true second-order arithmetic. In the appendix we argue that undecidability on the language of ordered rings follows from intuitionistically plausible properties of the real numbers.
  •  14
    The Liberalism of the Hungarian Nobility
    In Ivan Zoltan Denes (ed.), Liberty and the Search for Identity, Central European University Press. pp. 197-238. 2006.
  •  17
    Index of Names
    with Michael Freeden, Iván Zoltán Dénes, David McCrone, Richard J. Finlay, Henk Te Velde, Janet Polasky, Gábor Erdôdy, Albert Tanner, Vilmos Heiszler, Maciej Janowski, Otto Urban, Miklós Kun, Alexander Semyonov, Imre Ress, Daniel Barbu, Cristian Preda, Diana Mishkova, and Eyüp Özveren
    In Ivan Zoltan Denes (ed.), Liberty and the Search for Identity, Central European University Press. pp. 503-510. 2006.
  •  56
    Une fibule celtique à Délos
    Bulletin de Correspondance Hellénique 95 (2): 503-514. 1971.
  •  18
    List of Contributors
    with Michael Freeden, Iván Zoltán Dénes, David McCrone, Richard J. Finlay, Henk Te Velde, Janet Polasky, Gábor Erdôdy, Albert Tanner, Vilmos Heiszler, Maciej Janowski, Otto Urban, Miklós Kun, Alexander Semyonov, Imre Ress, Daniel Barbu, Cristian Preda, Diana Mishkova, and Eyüp Özveren
    In Ivan Zoltan Denes (ed.), Liberty and the Search for Identity, Central European University Press. pp. 501-502. 2006.
  •  30
    Hungarian Language and Law: Developing a Grammar for Social Inclusion, a Vocabulary for Political Emancipation. Special Issue (IJSL)—Editorial Preface
    with Edina Vinnai and Mate Paksy
    International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 33 (3): 707-727. 2020.
    Having been invited by editor-in-chief, Professor Anne Wagner, to edit the present special issue, we decided to fulfil a longstanding wish to provide a panorama about the Hungarian Language and Law. Along with other ‘law and …’ movements, Law and Language has attracted a great deal of attention from subsequent generations of Hungarian academic lawyers, because the political transition served as a wonderful subject and context for scholarly papers and text books, for examining the putative or rea…Read more
  •  74
    Undecidability of the Real-Algebraic Structure of Scott's Model
    Mathematical Logic Quarterly 44 (3): 344-348. 1998.
    We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows