Results for 'Marek Benes'

974 found
Order:
  1. Developing the Silver Economy and Related Government Resources for Seniors: A Position Paper.Maristella Agosti, Moira Allan, Ágnes Bene, Kathryn L. Braun, Luigi Campanella, Marek Chałas, Cheah Tuck Wing, Dragan Čišić, George Christodoulou, Elísio Manuel de Sousa Costa, Lucija Čok, Jožica Dorniž, Aleksandar Erceg, Marzanna Farnicka, Anna Grabowska, Jože Gričar, Anne-Marie Guillemard, An Hermans, Helen Hirsh Spence, Jan Hively, Paul Irving, Loredana Ivan, Miha Ješe, Isaac Kabelenga, Andrzej Klimczuk, Jasna Kolar Macur, Annigje Kruytbosch, Dušan Luin, Heinrich C. Mayr, Magen Mhaka-Mutepfa, Marian Niedźwiedziński, Gyula Ocskay, Christine O’Kelly, Nancy Papalexandri, Ermira Pirdeni, Tine Radinja, Anja Rebolj, Gregory M. Sadlek, Raymond Saner, Lichia Saner-Yiu, Bernhard Schrefler, Ana Joao Sepúlveda, Giuseppe Stellin, Dušan Šoltés, Adolf Šostar, Paul Timmers, Bojan Tomšič, Ljubomir Trajkovski, Bogusława Urbaniak, Peter Wintlev-Jensen & Valerie Wood-Gaiger - unknown - Developing the Silver Economy and Related Government Resources for Seniors: A Position Paper.
    The precarious rights of senior citizens, especially those who are highly educated and who are expected to counsel and guide the younger generations, has stimulated the creation internationally of advocacy associations and opinion leader groups. The strength of these groups, however, varies from country to country. In some countries, they are supported and are the focus of intense interest; in others, they are practically ignored. For this is reason we believe that the creation of a network of all these associations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  31
    Influence of Duodenal–Jejunal Implantation on Glucose Dynamics: A Pilot Study Using Different Nonlinear Methods.David Cuesta-Frau, Daniel Novák, Vacláv Burda, Daniel Abasolo, Tricia Adjei, Manuel Varela, Borja Vargas, Milos Mraz, Petra Kavalkova, Marek Benes & Martin Haluzik - 2019 - Complexity 2019:1-10.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  29
    Marek, Siesfrled. Die platonische Ideen lehre in ihren Motiven.Siegfried Marek - 1911 - Kant Studien 16 (1-3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    Towarzystwo Historyczno-Literackie i Biblioteka Polska w Paryżu dawniej i dziś.Casimir Pierre Zaleski & Marek Tomaszewski - 2022 - Zagadnienia Naukoznawstwa 55 (4):145-157.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    Protosionistični pamflet Leona Pinskerja Avtoemancipacija! v skeptični jidiš predelavi Šolema Jankeva Abramoviča.Miha Marek - 2025 - Filozofski Vestnik 45 (2).
    S pamfletom Avtoemancipacija! (1882), temeljnim besedilom zgodnjega judovskega nacionalizma, je Leon Pinsker po nekaterih argumentih uveljavil sionizem kot nemško govoreče in pišoče gibanje. Kmalu po izidu pamfleta je priznani jidiš pisatelj Šolem Jankev Abramovič objavil njegov prevod v jidiš (1884). V Abramovičevi različici so nemški oziroma zahodnoevropski politični in kulturni koncepti ter besednjak prirejeni vzhodnoevropskemu, judovskemu, jidiš govorečemu okolju, kar vključuje spremembe v besedišču, retoričnih strategijah in kulturnih referencah. Abramovič je pamflet predelal v skladu s svojim razmislekom o stiski Judov (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Abteilung V.Farid Ablayev, Marek Karpinski & Airat Khasianov - forthcoming - Complexity:05-12.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  66
    (1 other version)Marxism as product of the age of the steam engine.Ji?I. Marek - 1986 - Studies in East European Thought 32 (2):155-161.
  8.  69
    Reflexivity of Actors Versus Reflexivity of Accounts.Marek Czyzewski - 1994 - Theory, Culture and Society 11 (4):161-168.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  9.  16
    A support system for the detection of abusive clauses in B2C contracts.Sławomir Dadas, Marek Kozłowski, Rafał Poświata, Michał Perełkiewicz, Marcin Białas & Małgorzata Grębowiec - forthcoming - Artificial Intelligence and Law:1-39.
    Many countries employ systemic methods of protecting consumers from unfair business practices. One such practice is the use of abusive clauses in business-to-consumer (B2C) contracts, which unfairly impose additional obligations on the consumer or deprive them of their due rights. This article presents an information system that utilizes artificial intelligence methods to automate contract analysis and to detect abusive clauses. The goal of the system is to support the entire administrative process, from contract acquisition, through text extraction and the recommendation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. The Logic Programming Paradigm: A 25-Year Perspective.Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski & David S. Warren - 2002 - Studia Logica 71 (1):145-148.
     
    Export citation  
     
    Bookmark  
  11. Distant Causation in C+.Robert Craven & Marek Sergot - 2005 - Studia Logica 79 (1):73-96.
    The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a high-level, logical formalism for the representation of domains involving action and change. However, one cannot directly express relationships which hold between states more than one time-step distant, or even say that one action determines another at the next time. We present C+timed, a generalization of C+ which removes these limitations. As for C+, translations to the language of causal theories are given. We also define a new kind (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  28
    Twardowski and husserl on wholes and parts.Marek Rosiak - 1998 - In Katarzyna Kijania-Placek & Jan Woleński, The Lvov-Warsaw school and contemporary philosophy. Dordrecht and Boston, MA, USA: Kluwer Academic Publishers. pp. 85--100.
  13.  32
    Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account.Justyna Grudzińska & Marek Zawadowski - 2019 - Journal of Logic, Language and Information 28 (2):239-260.
    This paper proposes a unified dependent type analysis of three puzzling phenomena: inversely linked interpretations, weak definite readings in possessives and Haddock-type readings. We argue that the three problematic readings have the same underlying surface structure, and that the surface structure postulated can be interpreted properly and compositionally using dependent types. The dependent type account proposed is the first, to the best of our knowledge, to formally connect the three phenomena. A further advantage of our proposal over previous analyses is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Władysława Tatarkiewicza analiza terminu szczęście.Marek Pepliński - 2011 - Filo-Sofija 11 (13):663-674.
    Author: Pepliński Marek Title: WŁADYSŁAW TATARKIEWICZ’S ANALYSIS OF MEANING OF “HAPPINESS” (Władysława Tatarkiewicza analiza terminu „szczęście”) Source: Filo-Sofija year: 2011, vol:.13/14, number: 2011/2-3, pages: 633-674 Keywords: WŁADYSŁAW TATARKIEWICZ, PHILOSOPHICAL THEORY OF HAPPINESS, EMOTION, PLEASURE, EUDAIMONIA Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: marek[DOT]peplinski[AT]univ[DOT]gda[DOT]pl www:Władysław Tatarkiewicz work on philosophical and moral psychology, particularly on theory of happiness is still example of the best kind of analytical and close to phenomenological analysis of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  15.  49
    Gaps in the contructable universe.W. Marek & M. Srebrny - 1974 - Annals of Mathematical Logic 6 (3):359-394.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16.  19
    A formalisation of violation, error recovery, and enforcement in the bit transmission problem.Alessio Lomuscio & Marek Sergot - 2004 - Journal of Applied Logic 2 (1):93-116.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17. Changing higher education and welfare states in postcommunist Central Europe: New contexts leading to new typologies?Marek Kwiek - 2014 - Human Affairs 24 (1):48-67.
    The paper links higher education reforms and welfare states reforms in postcommunist Central European countries. It links current higher education debates (and reform pressures) and public sector debates (and reform pressures), stressing the importance of communist-era legacies in both areas. It refers to existing typologies of both higher education governance and welfare state regimes and concludes that the lack of the inclusion of Central Europe in any of them is a serious theoretical drawback in comparative social research. The region should (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  15
    An executable specification of a formal argumentation protocol.Alexander Artikis, Marek Sergot & Jeremy Pitt - 2007 - Artificial Intelligence 171 (10-15):776-804.
  19. Klauzula limitacyjna a nienaruszalność praw i godności [Limitation Clause and the Inviolability of Rights and Dignity].Marek Piechowiak - 2009 - Przegląd Sejmowy 17 (2 (91)):55-77.
    The author examines the arguments for applicability of the limitation clause which specifies the requirements for limitation of constitutional freedoms and rights (Article 31 para. 3 of the Constitution) to the right to protection of life (Article 38). Even if there is almost a general acceptance of such applicability, this approach does not hold up to criticism based on the rule existing in the Polish legal order that treaty commitments concerning human rights have supremacy over national statutory regulations. Due to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Etyka o współczesności, Współczesność w etyce.Dorota Sepczyńska, Marek Jawor & Andrzej Stoiński (eds.) - 2016 - Olsztyn, Poland: Kolegium Wydawnicze UWM.
     
    Export citation  
     
    Bookmark  
  21.  48
    Staying power in sequential games.Steven J. Brams & Marek P. Hessel - 1983 - Theory and Decision 15 (3):279-302.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  28
    Kultura zachodu oczami romantyków rosyjskich.Rzecz o kapitalizmie i racjonalizmie.Marek Jedliński - 2011 - Filo-Sofija 11 (12 (2011/1)):373-383.
    Author: Jedliński Marek Title: WESTERN CULTURE THROUGH THE EYES OF RUSSIAN ROMANTICS. ON CAPITALISM AND RATIONALISM (Kultura Zachodu oczami romantyków rosyjskich. Rzecz o kapitalizmie i racjonalizmie) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 373-383 Keywords: RUSSIAN ROMANTIC, WESTERN CULTURE, CAPITALISM, RATIONALISM Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The article presents Russian Romantics’ reflections on Western culture, highlighting their views on capitalism and rationalism. Russian thinkers regarded farewell with religious outlook (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  23.  37
    Koncepcja twórczości Władysława Tatarkiewicza a twórcze źródło.Marek Kazimierz Siwiec - 2011 - Filo-Sofija 11 (13).
    Author: Siwiec Marek Kazimierz Title: WŁADYSŁAW TATARKIEWICZ’S VIEWS ON CREATIVITY WITH REGARDS to a Creative Source (Koncepcja twórczości Władysława Tatarkiewicza a twórcze źródło) Source: Filo-Sofija year: 2011, vol:.13/14, number: 2011/2-3, pages: 573-590 Keywords: CREATIVITY, CREATIVE SOURCE, PLURALISTIC AESTHETICS, WŁADYSŁAW TATARKIEWICZ, KARL JASPERS, BARBARA SKARGA, GEORG SIMMEL Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:In the essay – which consists of the three parts – the author tries to show Władysław Tatarkiewicz’s views (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  24. From Bisimulation Quantifiers to Classifying Toposes.Silvio Ghilardi & Marek Zawadowski - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 193-220.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  6
    Intentionalität und Kausalität: Probleme intentionalistischer Handlungstheorien.Johann Christian Marek - 1979 - Graz: DBV-Verl. f. die Techn. Univ. Graz.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Notes On The Problem Of Inherence. With Edward Jonathan Lowe’s Four-category Ontology In Background.Marek Piwowarczyk - 2011 - Studia Philosophica Wratislaviensia 6 (1):61-76.
    In the paper I analyse some problems with the relation of properties to object. Such kind of relation is usually called “inherence,” “possessing” or “characterization.” I start with Lowe’s concept of inherence contained in his four-category ontology because I think it generates some very interested issues. Lowe thinks that inherence holds between modes and objects as well as between kinds and universal properties. I argue that there cannot be universal properties but only universals which are instantiated by entities which are (...)
     
    Export citation  
     
    Bookmark  
  27. The Paradox Of Identity Through Time. Metaontological Remarks.Marek Piwowarczyk - 2010 - Studia Philosophica Wratislaviensia 5 (2):137-151.
    The author examines the so-called paradox of identity through time. As he argues, the paradox is often elaborated by enumeration of several theses which generate a contradiction. According to these conditions, change is paradoxical and even impossible because it seems that objects persist as unchanging, or that every change destroys an object and generates a new one . In the first part of the paper the author discusses Roxanne Marie Kurtz’s version of such a view. Subsequently he analyses typical attempts (...)
     
    Export citation  
     
    Bookmark  
  28. Konstytucja wobec wykluczenia społecznego [The Constitution and Social Exclusion].Marek Piechowiak - 2009 - In Zdzisław Kędzia & Antoni Rost, Współczesne wyzwania wobec praw człowieka w świetle polskiego prawa konstytucyjnego. Wydawnictwo Naukowe UAM. pp. 125-145.
    Choć samo zjawisko wykluczenia społecznego nie jest nowe, to jego waga, zwłaszcza w perspektywie praw człowieka, została doceniona stosunkowo niedawno. „Wykluczenie społeczne” nie jest kategorią konstytucyjną. Celem opracowania jest ogólne usytuowanie problematyki wykluczenia w kontekście zagadnień konstytucyjnych. Zmierza się do dookreślenia, czym jest wykluczenie społeczne oraz do wskazania zasadniczych konstytucyjnych punktów odniesienia, pozwalających na podjęcie tego problemu. Właściwe wykluczeniu społecznemu jest złożoność przyczyn - sam brak środków finansowych nie musi prowadzić do wykluczenia, choć proces wykluczania może być zainicjowany jednym wydarzeniem. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. The future of the welfare state and democracy: the effects of globalization from a European perspective.Marek Kwiek - 2007 - In Ewa Czerwińska-Schupp, Values and Norms in the Age of Globalization. Peter Lang. pp. 1--30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  37
    A characterization of consequence operations preserving degrees of truth.Marek Nowak - 1987 - Bulletin of the Section of Logic 16 (4):159-165.
    Formalization of reasoning which accepts rules of inference leading to conclusions whose logical values are not smaller than the logical value of the “weakest” premise leads to the concept of consequence operation preserving degrees of truth. Several examples of such consequence operation have already been considered . In the present paper we give a general notion of the consequence operation preserving degrees of truth and its characterization in terms of projective generation and selfextensionality.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Służebność państwa wobec człowieka i jego praw jako naczelna idea Konstytucji RP z 2 kwietnia 1997 roku – osiągnięcie czy zadanie? [Subordination of the State to the Individual and to Human Rights as a Central Idea of Poland’s Constitution of 2 April 1997: A Goal or an Achievement?].Marek Piechowiak - 2007 - Przegląd Sejmowy 15 (4 (81)):65-91.
    The article deals with relations between the individual and human rights on the one hand, and the State on the other, in the context of the Constitution of the Republic of Poland. The author poses the question whether the idea of subordination of the State to the individual is really a central idea of that constitution. He puts forward many arguments against such suggestion. These arguments relate, above all, to the arrangement of the constitution: a chapter concerning human rights is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Negatywna wolność religijna i przekonania sekularystyczne w świetle sprawy Lautsi przeciwko Włochom [Negative Religious Freedom and Secular Thought in the Light of the Case of Lautsi v. Italy].Marek Piechowiak - 2011 - Przegląd Sejmowy 19 (5 (106)):37-68.
    The article provides an analysis of the European Court of Human Rights judgments in the case of Lautsi v. Italy (application no. 30814/06), also known as the Italian crucifix case. The applicant claimed that displaying crucifixes in the Italian State-school classrooms attended by her children was contrary to the principle of secularism, by which she wished to bring up her children, and therefore infringed her right to ensure their education and teaching in conformity with her religious and philosophical convictions, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Einleitung zu Anton Marty, "Elemente der deskriptiven Psychologie".Johann Christian Marek & Barry Smith - 1987 - Conceptus: Zeitschrift Fur Philosophie 21 (53-54):33-47.
    This essay is an introduction to a lecture course "Elements of Descriptive Psychology" delivered by Anton Marty in around 1903/04. Marty offered courses on descriptive psychology at regular intervals in the course of his career at the University of Prague. The content of these courses follows closely the ideas of Marty’s teacher Franz Brentano, though with some interesting divergences and extrapolations. The present work is a historical and systematic introduction to an extract from notes taken of Marty’s lecture, with some (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Wokół konstytucyjnej ochrony życia. Próba oceny propozycji nowelizacji Konstytucji RP [Constitutional Protection of Life: An Attempt to Assess the Proposal for Amendment of Poland’s Constitution].Marek Piechowiak - 2010 - Przegląd Sejmowy 18 (1 (96)):25-47.
    This article first of all attempts to assess the proposals of 2006–2007 to amend Poland’s Constitution, aimed mostly at strengthening constitutional protection of unborn human life. Parliamentary work on this proposal begins with the submission of the Deputy’s bill on amendment of the Constitution, published in the Sejm Paper No. 993 of September 5, 2006, and ends with a series of votes at the 39th sitting of the Sejm of the fifth term of office, held on April 13, 2007, on (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Co osobie po prywatności? [What's the Use of Privacy?].Marek Piechowiak - 2009 - In Barbara Chyrowicz, Prywatność w dobie globalizacji. Towarzystwo Naukowe KUL. pp. 33-69.
    Celem opracowania jest dookreślenie tego, czym jest prywatność. Interesuje mnie prywatność w aspekcie nor¬matywnym, jako coś, co uważamy za nasze dobro; coś, czego się domagamy, co jest naszym prawem, i to nie tylko w sensie moralnym, ale także chronionym prawem pozytywnym. Prywatność jest czymś relacyjnym, i to przynajmniej w dwojakim znaczeniu. Po pierwsze, konstytuowana jest poprzez relację oddzielenia od czegoś - państwa, zakładu pracy (pracodawcy), rozmaitych instytucji. Po drugie, to, co prywatne z punktu widzenia jednych relacji - np. relacji jednostki (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  47
    The Landscape of Contemporary Phenomenology.Marzena Adamiak & Marek Pokropski - 2018 - Avant: Trends in Interdisciplinary Studies 9 (2):9-15.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  14
    Zagadnienia etyczne w procesach przekształceń własnościowych Województwa Łódzkiego.Danuta Barańska & Marek Jacek Michalak - 2008 - Annales. Ethics in Economic Life 11 (2):121-129.
    The Polish society has perceived privatization as an issue of special importance which enables a free market economy in a short time. Privatization has always raised hopes and expectations. It is the lack of experience in the field of ownership transformations, the level of their complexity and the economic, legal, psychological and other conditionings that have confronted those transformations with many hindrances. They have also raised numerous moral and ethical dilemmas among the staff of privatized companies and founding organs including (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  21
    On pruning search trees of impartial games.Piotr Beling & Marek Rogalski - 2020 - Artificial Intelligence 283 (C):103262.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  11
    A note on the correctness of the causal ordering algorithm.Denver Dash & Marek J. Druzdzel - 2008 - Artificial Intelligence 172 (15):1800-1808.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  43
    The representation of legal contracts.Aspassia Daskalopulu & Marek Sergot - 1997 - AI and Society 11 (1-2):6-17.
    The paper outlines ongoing research on logic-based tools for the analysis and representation of legal contracts, of the kind frequently encountered in large-scale engineering projects and complex, long-term trading agreements. We consider both contract formation and contract performance, in each case identifying the representational issues and the prospects for providing automated support tools.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  13
    W obronie argumentu z Wcielenia. Odpowiedź Stanisławowi Ruczajowi.Ks Marek Dobrzeniecki - 2023 - Roczniki Filozoficzne 71 (1):377-388.
    Artykuł jest odpowiedzią na polemikę Stanisława Ruczaja z argumentem z Wcielenia, który został zaprezentowany w książce Ukrytość i Wcielenie. Teistyczna odpowiedź na argument Johna L. Schellenberga za nieistnieniem Boga. Ruczaj zarzuca tzw. obronie inkarnacyjnej, że nie rozważa ona możliwości, zgodnie z którą Bóg jest zarazem wcielony, jak i nieukryty. W niniejszym artykule koncentruję się na uzasadnieniu, dlaczego uważam, że jest możliwe, iż owa opcja jest dla Boga wykluczona. Według mnie istnieją racje przemawiające za tym, że jest ona (a) logicznie sprzeczna, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  24
    On Conditions of Participation: The Deficits of Public Reason.Marek Hrubec - 2008 - Human Affairs 18 (1):81-91.
    On Conditions of Participation: The Deficits of Public Reason The paper analyzes the conditions of civic participation that are elucidated by criticism of the deficits of public reason. The interpretation proceeds in three steps. First, the idea of public reason and discourse is analyzed, followed by an explanation of democratic deficit and of the social deficit in the second and third steps, respectively. These deficits are analyzed as an essential limit to political and social conditions of the participation of citizens. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Introductory.Marek Kwiek & Emil Višňovský - 2014 - Human Affairs 24 (1):3-6.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  19
    Wywiad z Bartkiem Chacińskim.Bartek Chaciński & Marek Jeziński - 2023 - Avant: Trends in Interdisciplinary Studies 14 (1).
    Wywiad przeprowadzono 2 września 2021 (forma: Zoom); opublikowano 27 sierpnia 2023.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  31
    Logic programs, well-orderings and forward chaining.V. W. Marek, A. Nerode & J. B. Remmel - 1999 - Annals of Pure and Applied Logic 96 (1-3):231-276.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  65
    Is Stoic logic classical?Marek Nasieniewski - 1998 - Logic and Logical Philosophy 6:55.
    In this paper I would like to argue that Stoic logic is a kind ofrelevant logic rather than the classical logic. To realize this purpose I willtry to keep as close as possible to Stoic calculus as expressed with the helpof their arguments.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  27
    λ-Definability on free algebras.Marek Zaionc - 1991 - Annals of Pure and Applied Logic 51 (3):279-300.
    Zaionc, M., λ-Definability on free algebras, Annals of Pure and Applied Logic 51 279-300. A λ-language over a simple type structure is considered. There is a natural isomorphism which identifies free algebras with nonempty second-order types. If A is a free algebra determined by the signature SA = [α1,...,αn], then by a type τA we mean τ1,...,τn→0 where τi=0αi→0. It can be seen that closed terms of the type τA reflex constructions in the algebra A. Therefore any term of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  36
    Descent and duality.Marek W. Zawadowski - 1995 - Annals of Pure and Applied Logic 71 (2):131-188.
    Using the Makkai's duality for first-order logic, we characterise effective descent morphisms in 2-categories of pretoposes and Barr-exact categories. In both cases they coincide with conservative morphisms. We show that in those 2-categories the 2-coregular factorisations are exactly quotient-conservative factorisations. We also prove a generalisation of the Makkai duality for pseudoelementary categories.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  8
    Science: Between Algorithm and Creativity.Jerzy Brzeziński, Francesco Coniglione & Tadeusz Marek - 1992
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Piękno jako przykład pozaempirycznego kryterium wyboru teorii naukowej.Diana Ciszewska & Marek Szydłowski - 2010 - Zagadnienia Filozoficzne W Nauce 47.
     
    Export citation  
     
    Bookmark  
1 — 50 / 974