-
65A cut elimination theorem for stationary logicAnnals of Pure and Applied Logic 33 (C): 181-193. 1987.
-
79Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspaceMathematical Logic Quarterly 43 (3): 343-354. 1997.We show that various fragments of the intuitionistic/constructive theory of the reals are decidable
-
69Coherence in cartesian closed categories and the generality of proofsStudia Logica 48 (3). 1989.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].
-
111Towards a natural language semantics without functors and operandsJournal 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
-
6Undecidability of the Real‐Algebraic Structure of Scott's ModelMathematical 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.
-
89Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysisMathematical Logic Quarterly 67 (3): 329-341. 2021.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.
-
148Decidability of Scott's Model as an Ordered $\mathbb{Q}$-VectorspaceJournal 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.
-
154Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary AnalysisJournal of Symbolic Logic 65 (3): 1014-1030. 2000.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.
-
14The Liberalism of the Hungarian NobilityIn Ivan Zoltan Denes (ed.), Liberty and the Search for Identity, Central European University Press. pp. 197-238. 2006.
-
17Index of NamesIn Ivan Zoltan Denes (ed.), Liberty and the Search for Identity, Central European University Press. pp. 503-510. 2006.
-
18List of ContributorsIn Ivan Zoltan Denes (ed.), Liberty and the Search for Identity, Central European University Press. pp. 501-502. 2006.
-
30Hungarian Language and Law: Developing a Grammar for Social Inclusion, a Vocabulary for Political Emancipation. Special Issue (IJSL)—Editorial PrefaceInternational 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
-
Transition into the rule of law: Deconstruction, reconstruction, constructionRechtstheorie 33 (2-4): 283-295. 2002.
-
32Problems of Hungarian National Consciousness in the Second Half of the 20th CenturySocial Research: An International Quarterly 55. 1988.
-
74Undecidability of the Real-Algebraic Structure of Scott's ModelMathematical 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
Miskolc, Hungary
Areas of Specialization
| Philosophy, Misc |
| Philosophy of Law, Miscellaneous |
| Philosophy of Law, General Works |
Areas of Interest
| Philosophy, Misc |
| Philosophy of Law, Miscellaneous |
| Philosophy of Law, General Works |