Results for 'Wojciech Skalmowski'

802 found
Order:
  1.  9
    „Dlaczego ja piszę?” Wokół filozofii pisania Sławomira Mrożka.Sara Kurowska - 2020 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 59 (4):115-127.
    This article focusses on the meta-literary thread in the correspondence exchanged between Sławomir Mrożek and Wojciech Skalmowski. The latter, wondering about the actual reason why writers create literature, provocatively reduced the metaphysical dimension of a work of art to learn about its contemporary actual value; whether it is was only trade-based. Baudelaire’s work as interpreted by Walter Benjamin became a major context indicating the diversity in the perception of the analysed problem depending on historical time. The article discusses (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  11
    Wspomnienie - Wojciech Robaczyński.Wojciech Robaczyński - 2011 - Etyka 44:121-123.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  29
    Equality and legitimacy.Wojciech Sadurski - 2008 - New York: Oxford University Press.
    This book examines the relationship between the idea of legitimacy of law in a democratic system and equality, conceived in a tripartite sense: political, legal, and social. Exploring the constituent elements of the legal philosophy underlying concepts of legitimacy, this book seeks to demonstrate how a conception of democratic legitimacy is necessary for understanding and reconciling equality and political legitimacy by tracing and examining the conceptions of equality in political, legal, and social dimensions. -/- In the sphere of political equality (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  6
    Incomplete Information Systems and Kleene 3-Valued Logic.Wojciech Buszkowski - 1997 - Poznan Studies in the Philosophy of the Sciences and the Humanities 57:201-220.
  5.  19
    Cartographies of Culture: Memory, Space, Representation.Wojciech Kalaga & Marzena Kubisz (eds.) - 2010 - Peter Lang.
    Nowadays the issues of space and place pertain more than ever to the ongoing discussion about personal/regional/national identities. The worlds of private archives of memory often exist independently of political and administrative divisions, while dominant ideologies are often capable of re-defining national archives of memory through selective representation of the past. The way we remember our past and our heritage inscribes the space we live in: the places we remember and the places we wish to forget, the monuments we pull (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  14
    Foreigner as a priviledged moral agent.Wojciech Lewandowski - 2022 - Analiza I Egzystencja 60:43-63.
    Artykuł dotyczy doświadczenia moralnego podmiotu pozostającego poza siecią bliskich relacji. Analizuję dwie reguły niezależności moralnej, które mogłyby świadczyć o uprzywilejowaniu podmiotu w tego rodzaju sytuacjach. Zgodnie z pierwszą podmiot pozostający poza siecią relacji unika zagrożeń związanych z utożsamieniem z rolą społeczną. Zgodnie z drugą działania podejmowane przez podmiot charakteryzują się wyższym stopniem bezinteresowności, a co za tym idzie – większą wartością moralną. Argumentuję, że reguły te mogą mieć jedynie charakter prima facie i są ograniczone wieloma czynnikami. Wskazuję również, że uprzywilejowanie (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  25
    Unifying sets and programs via dependent types.Wojciech Moczydłowski - 2012 - Annals of Pure and Applied Logic 163 (7):789-808.
  8.  17
    Sposoby pozyskiwania i utrzymania klienta przy pomocy nowych mediów.Wojciech Muszyński & Szymon Muszyński - 2019 - Humanistyka I Przyrodoznawstwo 24:563-577.
    Artykuł prezentuje sposoby pozyskiwania klienta i działania na rzecz jego utrzymania przy pomocy nowych technologii i nowych mediów. Wykazano, iż zarządzanie relacjami z klientem jest pojęciem obszernym ze względu na różnorodność sytuacji, w których kontaktuje się on z przedsiębiorstwem. Zaprezentowano, iż zmiany technologiczne, a zwłaszcza dokonujące się w dynamicznym tempie umasowienie Internetu, przeobrażają oblicza firm i standardy obsługi klienta w stopniu niespotykanym we wcześniejszych pokoleniach. Przedstawiono również, że utrzymanie klienta jest ważniejsze niż pozyskanie nowego – zgodnie z zasadą V. Pareto. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  2
    Supozycyjna koncepcja wiary religijnej Władysława Witwickiego.Wojciech Rechlewicz - forthcoming - Przeglad Filozoficzny - Nowa Seria:211-230.
    Władysław Witwicki’s suppositional conception of religious faith was presented extensively in his book La foi des éclairés [Faith of the Enlightened] (1939). The aim of this work was to investigate how so‑called enlightened people (i.e. those with at least a secondary education) reconcile secular knowledge with religious faith. The empirical research presented by Witwicki was based on a number of concepts, such as judgment, supposition, psychological principle of contradiction, sincere belief and insincere belief. Witwicki concluded that the faith of enlightened (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  49
    Giving Desert its Due: Social Justice and Legal Theory.Wojciech Sadurski - 1985 - D. Reidel Publishing Company.
    During the last half of the twentieth century, legal philosophy (or legal theory or jurisprudence) has grown significantly. It is no longer the domain of a few isolated scholars in law and philosophy. Hundreds of scholars from diverse fields attend international meetings on the subject. In some universities, large lecture courses of five hundred students or more study it. The primary aim of the Law and Philosophy Library is to present some of the best original work on legal philosophy from (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  11.  39
    Structural completeness of Gödel's and Dummett's propositional calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
  12.  51
    The Socratic Dimension of Kierkegaard's Imitation.Wojciech T. Kaftański - 2016 - Heythrop Journal 57 (4):599-611.
    This article reevaluates the origins of Kierkegaard’s concept of imitation. It challenges the general approach to the genealogy of the phenomenon in question, which privileges the influence of various religious traditions on the thinker and ignores his exposure to the non-Christian literature. I contend that a close reading of the Apology, the Sophist, the Republic, and the Phaedo alongside Kierkegaard’s texts from the so-called second authorship reveals in the dialogues of Plato the three crucial aspects of Kierkegaard’s concept of imitation, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  23
    Self-esteem and emotional reactivity of actors and magicians: a comparative study.Wojciech Napora & Vebjørn Ekroll - forthcoming - Polish Psychological Bulletin:229-244.
    Self-esteem and emotional reactivity may be important personality determinants of human functioning in situations of social exposure. In this study, we compared the levels of these personality variables in a group of professional theater actors and a group of professional illusionists with a control group of participants who were neither actors nor illusionists and had no artistic education. We also examined the correlations between emotional reactivity and self-esteem in the three groups. For emotional reactivity, we found (1) very strong evidence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  23
    Is Spinoza’s Ethics Heteronomous in the Kantian Sense of the Term.Wojciech Kozyra - 2018 - Kantian Journal 37 (4):35-66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  27
    Unification in superintuitionistic predicate logics and its applications.Wojciech Dzik & Piotr Wojtylak - 2019 - Review of Symbolic Logic 12 (1):37-61.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  4
    Michael Heller’s Theology of Science in a Trinitarian Perspective: Ontological Aspects.Wojciech Piotr Grygiel & Krystian Kałuża - 2024 - Scientia et Fides 12 (2):85-105.
    This paper explores the program of theology of science proposed by renowned Polish physicist and philosopher, Michael Heller, with a particular focus on its ontological dimensions through the lens of Trinitarian theology. Firstly, an overview of the status and current discussions of theology of science is presented. Next, drawing on Heller's key texts the Trinitarian doctrine is used to enhance the intelligibility of the Universe, wherein the dynamic interplay of unity, diversity, and relationality is mirrored in the structure of physical (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  57
    V. Černik, J. Vicenik, E. Višnowský. Historické typy racionality.Wojciech Słomski - 1970 - Forum Philosophicum: International Journal for Philosophy 8 (1):300-302.
    Książek poświęconych refleksji nad pojęciem racjonalności ukazuje się obecnie wiele, zaś większość z nich przyjmuje bardziej lub mniej jasno wyrażony przesłankę, iż pojęcie to przeżywa obecnie głęboki kryzys. Samo pojęcie kryzysu jest przy tym na ogol stosowane w sposób, który należałoby nazwać intelektualną nonszalancją, gdyby tylko ów niefrasobliwy, niekiedy wręcz metaforyczny użytek, jaki się z niego czyni, był wynikiem świadomego zamiaru. Tak jednak zwykle się nie dzieje, a prace poświęcone trudnościom z prawidłowym zdefiniowaniem pojecia racjonalności i określeniem jego funkcji w (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  18.  11
    Granice poznania a kształt bytu na podstawie myśli Karla Jaspersa.Wojciech Żak - 2021 - Principia 68:167-192.
    The Limits of Cognition and the Shape of Being Based on the Thought of Karl Jaspers The article points out the elements of Karl Jaspers’ epistemological conception that cross out the possibility of a comprehensive account of being. The key issue here is the limits of cognition, which take the form of object cognition. The theme of limits points to the inadequacies of human thinking in the context of quantifiable and absolutist representations of reality. The impossibility of adequately grasping the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Heidegger a problem jezyka.Wojciech Herman - 2007 - Studia Philosophiae Christianae 43 (1):31-45.
     
    Export citation  
     
    Bookmark  
  20.  45
    Philosophy of Culture and European Identity.Wojciech Słomski - 1970 - Forum Philosophicum: International Journal for Philosophy 8 (1):13-21.
    The problem of identity at least these days, is not a directly philosophical problem, but rather the subject of disputes in the well-known newspapers. Identity is rarely the subject of modern famous thinkers' speeches. This is because in the present process of uniting Europe, the main debate centres around the economic and political aspects of the process, whilst the cultural aspects are put to one side. It is worth mentioning here C. Adenauer's assertion: „The ground of European unity is an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    New Concepts of Budo Internalised as a Philosophy of Life.Wojciech J. Cynarski - 2022 - Philosophies 7 (5):110.
    Traditional martial arts continue to be interesting and inspiring to many people around the globe. Some of their contemporary adaptations attract enthusiasts for whom they are especially important. In this article, the author bases his observations on his own long-term participation. The analysis takes into account the influence of the perspectives of Jigoro Kano and several other creators of modern varieties of Japanese budo. It can be concluded that regular, even daily, practice—cultivating martial arts and internalizing its values—co-creates the lifestyle (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  60
    A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars.Wojciech Zielonka - 1978 - Studia Logica 37 (1):41 - 57.
    In [2], Bar-Hillel, Gaifman, and Shamir prove that the simple phrase structure grammars (SPGs) defined by Chomsky are equivalent in a certain sense to Bar-Hillel's bidirectional categorial grammars (BCGs). On the other hand, Cohen [3] proves the equivalence of the latter ones to what the calls free categorial grammars (FCGs). They are closely related to Lambek's syntactic calculus which, in turn, is based on the idea due to Ajdukiewicz [1]. For the reasons which will be discussed in the last section, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  34
    Are Descriptions Really Descriptive? An Experimental Study on Misdescription and Reference.Wojciech Rostworowski & Natalia Pietrulewicz - 2019 - Review of Philosophy and Psychology 10 (3):609-630.
    This paper presents an experimental study on definite descriptions. According to the classical views, a definite description, i.e., a phrase of the form “the F”, has – roughly speaking - purely descriptive semantics, that is, it designates the object which uniquely (opt. uniquely in a context) satisfies the description. However, as several philosophers including Keith Donnellan have argued, there are uses of definite descriptions on which these expressions do not seem to designate objects which satisfy the descriptions. Namely, a description (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Mathematical linguistics and proof theory.Wojciech Buszkowski - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language. Elsevier. pp. 683--736.
     
    Export citation  
     
    Bookmark   28 citations  
  25.  59
    Theory of punishment, social justice, and liberal neutrality.Wojciech Sadurski - 1988 - Law and Philosophy 7 (3):351 - 373.
  26. Categorial Grammar.Wojciech Buszkowski, Witold Marciszewski & Johan van Benthem - 1991 - Studia Logica 50 (1):171-172.
     
    Export citation  
     
    Bookmark   30 citations  
  27.  33
    Extending Lambek grammars to basic categorial grammars.Wojciech Buszkowski - 1996 - Journal of Logic, Language and Information 5 (3-4):279-295.
    Pentus (1992) proves the equivalence of LCG's and CFG's, and CFG's are equivalent to BCG's by the Gaifman theorem (Bar-Hillel et al., 1960). This paper provides a procedure to extend any LCG to an equivalent BCG by affixing new types to the lexicon; a procedure of that kind was proposed as early, as Cohen (1967), but it was deficient (Buszkowski, 1985). We use a modification of Pentus' proof and a new proof of the Gaifman theorem on the basis of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  24
    Almost structurally complete infinitary consequence operations extending S4.3.Wojciech Dzik & Piotr Wojtylak - 2015 - Logic Journal of the IGPL 23 (4):640-661.
  29.  16
    Translating Motion Events Across Physical and Metaphorical Spaces in Structurally Similar Versus Structurally Different Languages.Wojciech Lewandowski & Şeyda Özçalışkan - 2024 - Metaphor and Symbol 39 (1):10-39.
    The expression of physical motion (the spider crawls across the net) and metaphorical motion (the fear crawls across her heart) shows strong inter-typological differences between language types (German, an S-language vs. Spanish, a V-language) and more subtle intra-typological differences within a language type (German vs. Polish, both S-languages). However, we know relatively less about the extension of these patterns to translated texts. In this study, we focused on physical and metaphorical motion descriptions in written texts in original language and their (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  71
    “If happiness is not the aim of politics, then what is?”: Rorty versus Foucault.Wojciech Małecki - 2011 - Foucault Studies 11:106-125.
    In this paper, I present a new account of Richard Rorty’s interpretation of Michel Foucault, which demonstrates that in the course of his career, Rorty presented several diverse (often mutually exclusive) criticisms of Foucault’s political thought. These give different interpretations of what he took to be the flaws of that thought, but also provide different explanations as to the sources of these flaws. I argue that Rorty’s specific criticisms can be divided into two overall groups. Sometimes he saw Foucault’s rejection (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  15
    Approximate verification of strategic abilities under imperfect information.Wojciech Jamroga, Michał Knapik, Damian Kurpiewski & Łukasz Mikulski - 2019 - Artificial Intelligence 277 (C):103172.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  20
    Natural strategic ability.Wojciech Jamroga, Vadim Malvone & Aniello Murano - 2019 - Artificial Intelligence 277 (C):103170.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  30
    On distributivity of closure systems.Wojciech Dzik & Roman Suszko - 1977 - Bulletin of the Section of Logic 6 (2):64-66.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  80
    Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1-5):13-28.
  35. Noema and Noesis. Part I: Functions of Noetic Synthesis.Wojciech Krysztofiak - 2020 - Axiomathes 30 (3):251-267.
    In the paper, the formal model of the noetic synthesis functions is presented. Together with the functions of noematic synthesis, they are understood as components of functions of intentional reference, which are meant to be, in turn, formalizations of intentional acts of reference performed in the stream of consciousness. This research perspective allows us to extend the category of speech acts to the category of all intentional acts of reference. The functions of noetic synthesis are understood as composed of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  9
    Cut-Rule Axiomatization of the Syntactic Calculus L0.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):233-236.
    In Zielonka (1981a, 1989), I found an axiomatics for the product-free calculus L of Lambek whose only rule is the cut rule. Following Buszkowski (1987), we shall call such an axiomatics linear. It was proved that there is no finite axiomatics of that kind. In Lambek's original version of the calculus (cf. Lambek, 1958), sequent antecedents are non empty. By dropping this restriction, we obtain the variant L0 of L. This modification, introduced in the early 1980s (see, e.g., Buszkowski, 1985; (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  39
    Representational Structures of Arithmetical Thinking: Part I.Wojciech Krysztofiak - 2016 - Axiomathes 26 (1):1-40.
    In this paper, representational structures of arithmetical thinking, encoded in human minds, are described. On the basis of empirical research, it is possible to distinguish four types of mental number lines: the shortest mental number line, summation mental number lines, point-place mental number lines and mental lines of exact numbers. These structures may be treated as generative mechanisms of forming arithmetical representations underlying our numerical acts of reference towards cardinalities, ordinals and magnitudes. In the paper, the theoretical framework for a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. On the 50th Anniversary of Chopin Death (translation).Wojciech Żeleński, Brian Harlan & Małgorzata A. Szyszkowska - 2000 - In Maja Trochimczyk (ed.), After Chopin: Essays in Polish Music. Pendragon Press.
     
    Export citation  
     
    Bookmark  
  39.  13
    Two notes on Rafał Kubiak article.Wojciech Ciszewski - 2023 - Diametros 20 (78):110-116.
    The following text is a voice in the discussion around normative problems of innovative therapies. It particularly refers to the amendment to the Polish Act on the Professions of Physician and Dentist, also discussed in this issue in the article by Rafał Kubiak "Criminal liability for crimes related to the illegal conduct of a medical experiment.".
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Social justice and legal justice.Wojciech Sadurski - 1984 - Law and Philosophy 3 (3):329 - 354.
    The main aim of this paper is to challenge the validity of the distinction between legal justice and social justice. It is argued that what we usually call legal justice is either an application of the more fundamental notion of social justice to legal rules and decisions or is not a matter of justice at all. In other words, the only correct uses of the notion of legal justice are derivative from the notion of social justice and, hence, the alleged (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  95
    (17 other versions)Husserl bibliography.Wojciech Żełaniec - 1992 - Husserl Studies 9 (3):175-177.
  42.  38
    A model of consumption-dependent temptation.Wojciech Olszewski - 2011 - Theory and Decision 70 (1):83-93.
    The paper characterizes axiomatically a class of temptation-driven preferences. The key (but not the only) novelty of the paper is the idea that the alternative which tempts when an item x is consumed may not be the same as the alternative which tempts when another item y is consumed. For any single item to be ultimately consumed, the other items can be ranked by how much they tempt. An individual contemplates, as an alternative consumption, only the item that tempts most. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Partia a demokracja.Wojciech Pomykało - 1969 - Człowiek I Światopogląd 1 (6):30-46.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  8
    Trzy światy: szkice o filozofii Karla Rajmunda Poppera.Wojciech Słomski - 2001 - Warszawa: Wydawn. MIX.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Studia nad logiką deontyczną.Wojciech Suchoń - 1983 - Kraków: Nakł. Uniwersytetu Jagiellońskiego.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  40
    Mitigating the Necessity of the Past in the Second Half of the Twelfth Century: Future-Dependent Predestination.Wojciech Wciórka - 2019 - Vivarium 58 (1-2):29-64.
    Early twelfth-century logicians invoked past-tensed statements with future-oriented contents to undermine the assumption that every proposition ‘about the past’ is determinate. In the second half of the century, the notion of future-dependence was used to restrict the scope of necessity per accidens. At some point, this idea began to be applied in theology to solve puzzles surrounding predestination, prescience, prophecy, and faith. In the mid-1160s, Magister Udo quotes some thinkers who insisted that the principle of the necessity of the past (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  79
    Imagination, Mental Representation, and Moral Agency: Moral Pointers in Kierkegaard and Ricoeur.Wojciech Kaftanski - 2024 - Phenomenology and the Cognitive Sciences 23 (1):179-198.
    This article engages the considerations of imagination in Kierkegaard and Ricoeur to argue for a moral dimension of the imagination and its objects. Imaginary objects are taken to be mental representations in images and narratives of people or courses of action that are not real in the sense that they are not actual, or have not yet happened. Three claims are made in the article. First, by drawing on the category of possibility, a conceptual distinction is established between imagination and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  14
    Problem istoty i pomiaru dobrobytu.Wojciech Rybka - 2019 - Philosophical Problems in Science 67:203-248.
    Well-being is becoming an increasingly popular issue in economics. The aim of the article is to present the concept of well-being and the methods of its measurement and to examine the statistical significance between the results obtained by specific indicators. The article was written based on the meta-analysis of the books and scientific papers on the subject, as well as well-being and welfare measurement reports. The study shows that there is a very wide range of theories and concepts related to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  36
    Jaką jesteśmy „historią”? Etyczne rozwinięcie tezy o historyczności człowieka.Wojciech Torzewski - 2013 - Filo-Sofija 13 (20).
    Wojciech Torzewski What Kind of ‘History’ are We? – the Historicity of Human from Ethical PerspectiveThis article presents the ethical aspect of the concept of narrative identity, especially in relation to the concept of Charles Taylor. The author makes also attemption to reconstruct the two main objections that can be drawn at this concept. Namely, firstly, the complaint relativization of the ethical and, secondly, the complaint absolutizing ethical perspective. Both objections to the concept of narrative identity shall be regarded (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  50.  93
    (1 other version)Cut-rule axiomatization of the syntactic calculus NL.Wojciech Zielonka - 2000 - Journal of Logic, Language and Information 9 (3):339-352.
    An axiomatics of the product-free syntactic calculus L ofLambek has been presented whose only rule is the cut rule. It was alsoproved that there is no finite axiomatics of that kind. The proofs weresubsequently simplified. Analogous results for the nonassociativevariant NL of L were obtained by Kandulski. InLambek's original version of the calculus, sequent antecedents arerequired to be nonempty. By removing this restriction, we obtain theextensions L 0 and NL 0 ofL and NL, respectively. Later, the finiteaxiomatization problem for L (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 802