Results for 'Wojciech Zatoń'

609 found
Order:
  1. Kryzys gospodarczy a kryzys rodzinny - analizy symulacyjne.Jan Jacek Sztaudynger & Wojciech Zatoń - 2010 - Prakseologia 150 (150):109-128.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Wspomnienie - Wojciech Robaczyński.Wojciech Robaczyński - 2011 - Etyka 44:121-123.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  20
    To: “Results of the Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland — Part 1: Event Location and Stimulation Performance,” Wojciech Gajek, Jacek Trojanowski, Michał Malinowski, Marek Jarosiński, and Marko Riedel, Interpretation, 6, No. 3, SH39–SH48, Http://Dx.Doi.Org/10.1190/Int-2017-0205.1. [REVIEW]Wojciech Gajek, Jacek Trojanowski, Michał Malinowski, Marek Jarosiński & Marko Riedel - 2018 - Interpretation: SEG 6 (4):Y3-Y5.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  41
    Computer Science and Philosophy: Did Plato Foresee Object-Oriented Programming?Wojciech Tylman - 2018 - Foundations of Science 23 (1):159-172.
    This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. In particular, works of the Pythagoreans, Plato, Abelard, Ash’arites, Malebranche and Berkeley are presented and contrasted with such computer science ideas as digital computers, object-oriented programming, the modelling of an object’s actions and causality in virtual environments, and 3D graphics rendering. The intention of this paper is to provoke the computer science community to go (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  2
    Giving Desert its Due: Social Justice and Legal Theory.Wojciech Sadurski - 1985 - D. Reidel Publishing Company.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  6. Quantum Theory and Measurement.John Archibald Wheeler & Wojciech Hubert Zurek - 1985 - Philosophy of Science 52 (3):480-481.
     
    Export citation  
     
    Bookmark   104 citations  
  7.  23
    Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):215-224.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  14
    Results of the Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland, Part I: Events Location and Stimulation Performance.Wojciech Gajek, Jacek Trojanowski, Michał Malinowski, Marek Jarosiński & Marko Riedel - forthcoming - Interpretation:1-29.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  26
    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   6 citations  
  10.  11
    Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Mathematical Logic Quarterly 27 (13‐14):215-224.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11.  15
    Results of the Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland, Part II: Shear Wave Splitting Analysis.Wojciech Gajek, Michał Malinowski & James Verdon - forthcoming - Interpretation:1-36.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  27
    Interdefinability of Lambekian Functors.Wojciech Zielonka & W. Zielonka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):501-507.
  13.  24
    Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1‐5):13-28.
  14. Mathematical Linguistics and Proof Theory.Wojciech Buszkowski - 1997 - In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 683--736.
     
    Export citation  
     
    Bookmark   19 citations  
  15.  14
    Almost Structural Completeness; an Algebraic Approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
  16.  48
    Fathers, Kings, and Promises: Husserl and Reinach on the a Priori. [REVIEW]Wojciech Zelaniec - 1992 - Husserl Studies 9 (3):147-177.
  17.  12
    Results of the Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland — Part 1: Event Location and Stimulation Performance.Wojciech Gajek, Jacek Trojanowski, Michał Malinowski, Marek Jarosiński & Marko Riedel - 2018 - Interpretation: SEG 6 (3):SH39-SH48.
    A precise velocity model is necessary to obtain reliable locations of microseismic events, which provide information about the effectiveness of the hydraulic stimulation. Seismic anisotropy plays an important role in microseismic event location by imposing the dependency between wave velocities and its propagation direction. Building an anisotropic velocity model that accounts for that effect allows for more accurate location of microseismic events. We have used downhole microseismic records from a pilot hydraulic fracturing experiment in Lower-Paleozoic shale gas play in the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  24
    Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (1-5):13-28.
  19.  22
    Modal Consequence Relations Extending $Mathbf{S4.3}$: An Application of Projective Unification.Wojciech Dzik & Piotr Wojtylak - 2016 - Notre Dame Journal of Formal Logic 57 (4):523-549.
    We characterize all finitary consequence relations over S4.3, both syntactically, by exhibiting so-called passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic L extending S4 has projective unification if and only if L contains S4.3. In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  62
    A Simple and General Method of Solving the Finite Axiomatizability Problems for Lambek's Syntactic Calculi.Wojciech Zielonka - 1989 - Studia Logica 48 (1):35 - 39.
    In [4], I proved that the product-free fragment L of Lambek's syntactic calculus (cf. Lambek [2]) is not finitely axiomatizable if the only rule of inference admitted is Lambek's cut-rule. The proof (which is rather complicated and roundabout) was subsequently adapted by Kandulski [1] to the non-associative variant NL of L (cf. Lambek [3]). It turns out, however, that there exists an extremely simple method of non-finite-axiomatizability proofs which works uniformly for different subsystems of L (in particular, for NL). We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  26
    Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String.Wojciech Zielonka - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):135-142.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  14
    Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Mathematical Logic Quarterly 28 (33‐38):539-548.
  23.  22
    Constructive Knowledge: What Agents Can Achieve Under Imperfect Information.Wojciech Jamroga & Thomas Ågotnes - 2007 - Journal of Applied Non-Classical Logics 17 (4):423-475.
    We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than changing the semantic structures, we generalize the usual interpretation of formulae in single states to sets of states. We also propose a new epistemic operator for ?practical? or ?constructive? knowledge, and we show that the new logic (which we call Constructive Strategic Logic) is strictly more expressive than most existing solutions, while it retains the same model (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  24.  13
    On the Position of Helium and Neon in the Periodic Table of Elements.Wojciech Grochala - 2018 - Foundations of Chemistry 20 (3):191-207.
    Helium and neon, the two lightest noble gases, have been traditionally positioned by IUPAC in the Group 18 of the Periodic Table of Elements, together with argon, and other unreactive or moderately reactive gaseous elements, and oganesson. In this account we revive the old discussion on the possible placement of helium in the Group 2, while preserving the position of neon in Group 18. We provide quantum-chemical arguments for such scenario—as well as other qualitative and quantitative arguments—and we describe previous (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  17
    Interdefinability of Lambekian Functors.Wojciech Zielonka & W. Zielonka - 1992 - Mathematical Logic Quarterly 38 (1):501-507.
    Several Gentzen-style syntactic type calculi with product are considered. They form a hierarchy in such a way that one calculus results from another by imposing a new condition upon the sequent-forming operation. It turns out that, at some steps of this process, two different functors collapse to a single one. For the remaining stages of the hierarchy, analogues of Wajsbergs's theorem on non-mutual-definability are proved.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  27
    Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):539-548.
  27.  21
    Ludwik Fleck.Wojciech Sady - unknown - Stanford Encyclopedia of Philosophy.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  28.  13
    Cut‐Rule Axiomatization of Product‐Free Lambek Calculus With the Empty String.Wojciech Zielonka - 1988 - Mathematical Logic Quarterly 34 (2):135-142.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  16
    Remarks on Projective Unifiers.Wojciech Dzik - 2011 - Bulletin of the Section of Logic 40 (1/2):37-45.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  12
    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   1 citation  
  31.  35
    Categorial Grammars Determined From Linguistic Data by Unification.Wojciech BuszKowski & Gerald Penn - 1990 - Studia Logica 49 (4):431 - 454.
    We provide an algorithm for determining a categorial grammar from linguistic data that essentially uses unification of type-schemes assigned to atoms. The algorithm presented here extends an earlier one restricted to rigid categorial grammars, introduced in [4] and [5], by admitting non-rigid outputs. The key innovation is the notion of an optimal unifier, a natural generalization of that of a most general unifier.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  32.  5
    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  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  33.  35
    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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  20
    “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 (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  30
    Distributive Justice and the Theory of Punishment.Wojciech Sadurski - 1985 - Oxford Journal of Legal Studies 5 (1):47-59.
  36.  7
    Sequent Systems for Compact Bilinear Logic.Wojciech Buszkowski - 2003 - Mathematical Logic Quarterly 49 (5):467.
    Compact Bilinear Logic , introduced by Lambek [14], arises from the multiplicative fragment of Noncommutative Linear Logic of Abrusci [1] by identifying times with par and 0 with 1. In this paper, we present two sequent systems for CBL and prove the cut-elimination theorem for them. We also discuss a connection between cut-elimination for CBL and the Switching Lemma from [14].
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  37.  20
    Structural Completeness of Gödel's and Dummett's Propositional Calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
  38.  57
    Infinitary Action Logic: Complexity, Models and Grammars.Wojciech Buszkowski & Ewa Palka - 2008 - Studia Logica 89 (1):1-18.
    Action logic of Pratt [21] can be presented as Full Lambek Calculus FL [14, 17] enriched with Kleene star *; it is equivalent to the equational theory of residuated Kleene algebras (lattices). Some results on axiom systems, complexity and models of this logic were obtained in [4, 3, 18]. Here we prove a stronger form of *-elimination for the logic of *-continuous action lattices and the –completeness of the equational theories of action lattices of subsets of a finite monoid and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  62
    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 (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  48
    Legitimacy, Political Equality, and Majority Rule.Wojciech Sadurski - 2008 - Ratio Juris 21 (1):39-65.
  41.  26
    The Finite Model Property for BCI and Related Systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
    We prove the finite model property (fmp) for BCI and BCI with additive conjunction, which answers some open questions in Meyer and Ono [11]. We also obtain similar results for some restricted versions of these systems in the style of the Lambek calculus [10, 3]. The key tool is the method of barriers which was earlier introduced by the author to prove fmp for the product-free Lambek calculus [2] and the commutative product-free Lambek calculus [4].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42.  10
    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   1 citation  
  43.  13
    Results of Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland — Part 2: S-Wave Splitting Analysis.Wojciech Gajek, Michał Malinowski & James P. Verdon - 2018 - Interpretation: SEG 6 (3):SH49-SH58.
    Observations of azimuthal seismic anisotropy provide useful information, notably on stress orientation and the presence of preexisting natural fracture systems, during hydraulic fracturing operations. Seismic anisotropy can be observed through the measurement of S-wave splitting on waveforms generated by microseismic events and recorded on downhole geophone arrays. We have developed measurements of azimuthal anisotropy from a Lower Paleozoic shale play in northern Poland. The observed orthorhombic anisotropic symmetry system is dominated by a vertically transverse isotropy fabric, produced by the alignment (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  3
    Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity.Wojciech Buszkowski - 2017 - Bulletin of the Section of Logic 46 (1/2).
    In [5] we study Nonassociative Lambek Calculus augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus. Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  69
    Noemata and Their Formalization.Wojciech Krysztofiak - 1995 - Synthese 105 (1):53 - 86.
    The presentation of the formal conception of noemata is the main aim of the article. In the first section, three informal approaches to noemata are discussed. The goal of this chapter is specifying main controversies and their sources concerned with different ways of the understanding of noemata. In the second section, basic assumptions determining the proposed way of understanding noemata are presented. The third section is devoted to the formal set-theoretic construction needed for the formal comprehension of noemata. In the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  20
    The Many Faces of Information.Wojciech Hubert Zurek - 1995 - Complexity 1 (2):64-64.
  47.  18
    Joseph Raz on Liberal Neutrality and the Harm Principle.Wojciech Sadurski - 1990 - Oxford Journal of Legal Studies 10 (1):122-133.
  48.  23
    Cut-Rule Axiomatization of the Syntactic Calculus L.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):339-352.
    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 L 0 of L. This modification, introduced in the early 1980s (see, e.g., Buszkowski, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  11
    On Reduction Systems Equivalent to the Lambek Calculus with the Empty String.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
    The paper continues a series of results on cut-rule axiomatizability of the Lambek calculus. It provides a complete solution of a problem which was solved partially in one of the author''s earlier papers. It is proved that the product-free Lambek Calculus with the empty string (L 0) is not finitely axiomatizable if the only rule of inference admitted is Lambek''s cut rule. The proof makes use of the (infinitely) cut-rule axiomatized calculus C designed by the author exactly for this purpose.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. 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  
1 — 50 / 609