Results for 'A. P. Pynko'

1000+ found
Order:
  1. Downey, R., f, iiForte, G. and Nies, A., Addendum to.R. Jin, I. Kalantari, L. Welch, B. Khoussainov, R. A. Shore, A. P. Pynko, P. Scowcroft, S. Shelah, J. Zapletal & J. B. Wells - 1999 - Annals of Pure and Applied Logic 98:299.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  2.  9
    A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.
    In this paper we deal with infinitary universal Horn logic both with and without equality. First, we obtain a relative Lyndon-style interpolation theorem. Using this result, we prove a non-standard preservation theorem which contains, as a particular case, a Lyndon-style theorem on surjective homomorphisms in its Makkai-style formulation. Another consequence of the preservation theorem is a theorem on bimorphisms, which, in particular, provides a tool for immediate obtaining characterizations of infinitary universal Horn classes without equality from those with equality. From (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  21
    A cut-free Gentzen calculus with subformula property for first-degree entailments in lc.Alexej P. Pynko - 2003 - Bulletin of the Section of Logic 32 (3):137-146.
  4.  32
    Definitional equivalence and algebraizability of generalized logical systems.Alexej P. Pynko - 1999 - Annals of Pure and Applied Logic 98 (1-3):1-68.
    In this paper we define and study a generalized notion of a logical system that covers on an equal formal basis sentential, equational and sequential systems. We develop a general theory of equivalence between generalized logics that provides, first, a conception of algebraizable logic , second, a formal concept of equivalence between sequential systems and, third, a notion of equivalence between sentential and sequential systems. We also use our theory of equivalence for developing a general algebraic approach to conjunctive non-pseudo-axiomatic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  5.  35
    Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
    The aim of this paper is technically to study Belnap's four-valued sentential logic . First, we obtain a Gentzen-style axiomatization of this logic that contains no structural rules while all they are still admissible in the Gentzen system what is proved with using some algebraic tools. Further, the mentioned logic is proved to be the least closure operator on the set of {Λ, V, ⌝}-formulas satisfying Tarski's conditions for classical conjunction and disjunction together with De Morgan's laws for negation. It (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  6.  36
    On Priest's logic of paradox.Alexej P. Pynko - 1995 - Journal of Applied Non-Classical Logics 5 (2):219-225.
    The present paper concerns a technical study of PRIEST'S logic of paradox [Pri 79], We prove that this logic has no proper paraconsistent strengthening. It is also proved that the mentioned logic is the largest paraconsistent one satisfaying TARSKI'S conditions for the classical conjunction and disjunction together with DE MORGAN'S laws for negation. Finally, we obtain for the logic of paradox an algebraic completeness result related to Kleene lattices.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  7.  35
    Algebraic study of Sette's maximal paraconsistent logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.
    The aim of this paper is to study the paraconsistent deductive systemP 1 within the context of Algebraic Logic. It is well known due to Lewin, Mikenberg and Schwarse thatP 1 is algebraizable in the sense of Blok and Pigozzi, the quasivariety generated by Sette's three-element algebraS being the unique quasivariety semantics forP 1. In the present paper we prove that the mentioned quasivariety is not a variety by showing that the variety generated byS is not equivalent to any algebraizable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  40
    Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
    In this paper, we study multiplicative extensions of propositional many-place sequent calculi for finitely-valued logics arising from those introduced in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) through their translation by means of singularity determinants for logics and restriction of the original many-place sequent language. Our generalized approach, first of all, covers, on a uniform formal basis, both the one developed in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) for singular (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  51
    Distributive-lattice semantics of sequent calculi with structural rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
    The goal of the paper is to develop a universal semantic approach to derivable rules of propositional multiple-conclusion sequent calculi with structural rules, which explicitly involve not only atomic formulas, treated as metavariables for formulas, but also formula set variables, upon the basis of the conception of model introduced in :27–37, 2001). One of the main results of the paper is that any regular sequent calculus with structural rules has such class of sequent models that a rule is derivable in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  13
    Regular bilattices.Alexej P. Pynko - 2000 - Journal of Applied Non-Classical Logics 10 (1):93-111.
    ABSTRACT A bilattice is said to be regular provided its truth conjunction and disjunction are monotonic with respect to its knowledge ordering. The principal result of this paper is that the following properties of a bilattice B are equivalent: 1. B is regular; 2. the truth conjunction and disjunction of B are definable through the rest of the operations and constants of B; 3. B is isomorphic to a bilattice of the form L 1 · L 2 where L 1 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  8
    Extensions of Hałkowska–Zajac's three-valued paraconsistent logic.Alexej P. Pynko - 2002 - Archive for Mathematical Logic 41 (3):299-307.
    As it was proved in [4, Sect. 3], the poset of extensions of the propositional logic defined by a class of logical matrices with equationally-definable set of distinguished values is a retract, under a Galois connection, of the poset of subprevarieties of the prevariety generated by the class of the underlying algebras of the defining matrices. In the present paper we apply this general result to the three-valued paraconsistent logic proposed by Hałkowska–Zajac [2]. Studying corresponding prevarieties, we prove that extensions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  6
    Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations.Alexej P. Pynko - 2020 - Bulletin of the Section of Logic 49 (4):401-437.
    Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique conjunctive matrix ℳ4 with exactly two distinguished values over an expansion.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics.Alexej P. Pynko - 2015 - Bulletin of the Section of Logic 44 (3/4):149-153.
    The primary objective of this paper, which is an addendum to the author’s [8], is to apply the general study of the latter to Łukasiewicz’s n-valued logics [4]. The paper provides an analytical expression of a 2(n−1)-place sequent calculus (in the sense of [10, 9]) with the cut-elimination property and a strong completeness with respect to the logic involved which is most compact among similar calculi in the sense of a complexity of systems of premises of introduction rules. This together (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  28
    Infallibility: A. P. MARTINICH.A. P. Martinich - 1980 - Religious Studies 16 (1):15-27.
    It has often been charged that the doctrine of papal infallibility is either false or incoherent. These charges stem, I believe, from a misunderstanding of the logical character of infallible papal utterances, a misunderstanding shared alike by friends and foes of the doctrine. In this paper, I shall argue that the doctrine is both coherent and correct. I devote section I to uncovering some of the sources of this misunderstanding and thereby defending what might be called my negative thesis, namely, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  18
    A. P. Bos, Providentia divina. The theme of divine Pronoia in Plato and Aristoteles. Van Gorcum, Assen/Amsterdam, 1976.A. P. Muys - 1977 - Philosophia Reformata 42 (1-2):102-104.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16. Why Omissions are Special: A. P. Simester.A. P. Simester - 1995 - Legal Theory 1 (3):311-335.
    The criminal law presently distinguishes between actions and omissions, and only rarely proscribes failures to avert consequences that it would be an offense to bring about. Why? In recent years it has been persuasively argued by both Glover and Bennett that, celeris paribus, omissions to prevent a harm are just as culpable as are actions which bring that harm about. On the other hand, and acknowledging that hitherto “lawyers have not been very successful in finding a rationale for it,” Tony (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  22
    Discussion – Infallibility*: A. P. MARTINICH.A. P. Martinich - 1982 - Religious Studies 18 (1):81-86.
    Patrick McGrath has argued that my defence of papal infallibility does not succeed. His basic strategy is to establish that, contrary to my arguments, infallible papal utterances are statements and not merely declarations. He wants this result in order to go on to show that the Pope, in possession of no priviliged epistemic access to the world, is not infallible. I agree that the Pope has no priviliged epistemic access; so that is not in dispute. What is in dispute is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  12
    A. P. Ushenko. The many-valued logics. The philosophical review, vol. 45 (1936), pp. 611–615.Paul Henle & A. P. Ushenko - 1937 - Journal of Symbolic Logic 2 (1):58-58.
  19.  44
    Wittgenstein Didn’t Agree with Gödel - A.P. Bird - Cantor’s Paradise.A. P. Bird - 2021 - Cantor's Paradise (00):00.
    In 1956, a few writings of Wittgenstein that he didn't publish in his lifetime were revealed to the public. These writings were gathered in the book Remarks on the Foundations of Mathematics (1956). There, we can see that Wittgenstein had some discontentment with the way philosophers, logicians, and mathematicians were thinking about paradoxes, and he even registered a few polemic reasons to not accept Gödel’s incompleteness theorems.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. A Paixão da Razão. Homenagem a Maria Luísa Ribeiro Ferreira.A. P. Mesquita, C. Beckert, J. L. Pérez & Xavier M. L. L. O. (eds.) - 2014 - Centro de Filosofia da Universidade de Lisboa.
     
    Export citation  
     
    Bookmark  
  21.  1
    Rossii︠a︡ i Vostok: fenomen soznanii︠a︡: integralʹnoe videnie: trudy mezhdunarodnoĭ nauchnoĭ konferent︠s︡ii, 9-12 senti︠a︡bri︠a︡.A. P. Lunev (ed.) - 2004 - Astrakhanʹ: Izdatelʹskiĭ dom "Astrakhanskiĭ universitet".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  15
    A Companion to Analytic Philosophy.A. P. Martinich & E. David Sosa (eds.) - 2001 - Malden, Mass.: Wiley-Blackwell.
    A Companion to Analytic Philosophy is a comprehensive guide to many significant analytic philosophers and concepts of the last hundred years. Provides a comprehensive guide to many of the most significant analytic philosophers of the last one hundred years. Offers clear and extensive analysis of profound concepts such as truth, goodness, knowledge, and beauty. Written by some of the most distinguished philosophers alive, some of whom have entries in the book devoted to them.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  1
    Dukhovnoe nasledie I︠A︡ssaui.A. P. Abuov - 2022 - Almaty: Kȯkzhiek-Gorizont.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  1
    Teoretychni osnovy vykhovanni︠a︡ u prat︠s︡i︠a︡kh M.S. Hrushevsʹkoho.A. P. Veremchuk - 1998 - Rivne: Tetis.
  25.  2
    N. P. Gili︠a︡rov-Platonov i russkai︠a︡ literatura 1850--1880-kh godov.A. P. Dmitriev - 2018 - Sankt-Peterburg: "Rodnik". Edited by Boris Fedorovich Egorov.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Brennoe i vechnoe: obrazy mira v prostranstvakh sovremennogo mira: materialy Vserossiĭskoĭ nauchnoĭ konferent︠s︡ii, posvi︠a︡shchennoĭ 10-letii︠u︡ filosovskogo fakulʹteta Novgorodskogo gosudarstvennogo universiteta im. I︠A︡roslava Mudrogo, 28-29 senti︠a︡bri︠a︡ 2004 g.A. P. Donchenko (ed.) - 2004 - Velikiĭ Novgorod: Novgorodskiĭ gos. universitet.
     
    Export citation  
     
    Bookmark  
  27.  25
    Causation in the Law. [REVIEW]P. D. M. A. - 1961 - Review of Metaphysics 15 (1):192-192.
    The authors ably demonstrate the value and relevance of sophisticated conceptual analysis in law. Such concepts as cause, reason, consequence, condition, opportunity, and explanation are carefully investigated. The use of the causal notions in the Anglo-American tradition of tort, contract, and criminal law, as well as in continental theories, is examined in detail. A book of importance which carries out English analysis in a subtle and exciting way. It is sure to be one of the lasting contributions of the recent (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. The Oxford Handbook of Thomas Hobbes.A. P. Martinich & Kinch Hoekstra (eds.) - forthcoming - Oxford University Press.
     
    Export citation  
     
    Bookmark  
  29. Vnefizicheskai︠a︡ realʹnostʹ: fakt sushchestvovanii︠a︡, osnovnye svoĭstva i sposoby poznanii︠a︡.A. P. Fedi︠a︡ev - 1998 - Kazanʹ: Izd-vo Kazanskogo universiteta.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Modern Logic its Relevance to Philosophy. Edited by Daya Krishna, D.C. Mathur [and] A.P. Rao.Daya Krishna, Dinesh Chandra Mathur & A. P. Rao - 1969 - Impex India.
  31.  26
    Horace, A. P. 63–6.A. O. Prickard - 1893 - The Classical Review 7 (09):403-404.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  19
    A More Natural Alternative to Mostowski's (MFL).A. P. Rao - 1977 - Mathematical Logic Quarterly 23 (25-26):387-392.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  18
    FEYERABEND, P K.: Matando el tiempo.A. P. Esteve - 1997 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 31:219.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34.  1
    Kratkiĭ filosofskiĭ slovarʹ.A. P. Alekseev (ed.) - 1998 - Moskva: "Prospekt".
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  12
    B.A. Haddock, An Introduction to Historical Thought. London, Edward Arnold, 1980, pp. 184, pb. £4.75.A. P. Z. - 1980 - Hegel Bulletin 1 (2):54-55.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  17
    E. P. Meijering, Calvin wider die Neugierde.A. P. Bos - 1982 - Philosophia Reformata 47 (1):91-93.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  6
    A More Natural Alternative to Mostowski's (MFL).A. P. Rao - 1976 - Mathematical Logic Quarterly 23 (25‐26):387-392.
  38.  8
    Hobbes: A Biography.A. P. Martinich - 1999 - Cambridge University Press.
    Thomas Hobbes is recognized as one of the fathers of modern philosophy and political theory. In his own time he was as famous for his work in physics, geometry, and religion. He associated with some of the greatest writers, scientists, and politicians of his age. Martinich has written a complete and accessible biography of Hobbes. The book takes full account of the historical and cultural context in which Hobbes lived, drawing on both published and unpublished sources. It will be a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  39. The Soul and Its Instrumental Body: A Reinterpretation of Aristotle's Philosophy of Living Nature.A. P. Bos - 2003 - Boston, MA: Brill.
    Aristotle's definition of the soul should be interpreted as: 'the soul is the entelechy of a natural body that serves as its instrument'.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  40.  50
    A pragmatic solution to the liar paradox.A. P. Martinich - 1983 - Philosophical Studies 43 (1):63 - 67.
  41.  8
    Andrzej Walicki, A History of Russian Thought from the Enlightenment to Marxism. Oxford, Clarendon Press, 1980, pp. xvii, 456. s. 12.50. [REVIEW]A. P. Z. - 1980 - Hegel Bulletin 1 (2):53-54.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Blago i istina: klassicheskie i neklassicheskie reguli︠a︡tivy.A. P. Ogurt︠s︡ov (ed.) - 1998 - Moskva: IFRAN.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  36
    Callimachus, A.P. xii. 43.L. P. Wilkinson - 1967 - The Classical Review 17 (01):5-6.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  39
    EUSEBIUS. A.P. Johnson Eusebius. Pp. xvi + 232. London and New York: I.B. Tauris, 2014. Paper, £14.99 . ISBN: 978-1-78076-556-3. [REVIEW]Arthur P. Urbano - 2015 - The Classical Review 65 (2):403-405.
  45.  12
    A.P. Bos, The Soul and Its Instrumental Body. A Reinterpretation of Aristotle’s Philosophy of Living Nature. Leiden-Boston 2003: Brill . 429 pages. ISBN 9004130160. [REVIEW]G. P. Luttikhuizen - 2004 - Philosophia Reformata 69 (1):96-97.
  46.  1
    Topolohii︠a︡ I︠A︡ v merez︠h︡evykh strukturakh sot︠s︡iumu: monohrafii︠a︡.A. P. Artemenko - 2013 - Kharkiv: Vydavnyt︠s︡tvo "T︠S︡yfrova drukarni︠a︡ No. 1".
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  23
    Al-Kashi on Root Extraction. Abdul-Kader Dakhel, Wasfi A. Hijab, E. S. Kennedy.A. P. Youschkevitch - 1963 - Isis 54 (3):420-421.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  53
    A. P. Simester : Appraising Strict Liability: Oxford University Press, Oxford, 2005, Cdn$150.00, US$95.00, £60.00, ISBN 0-19-927851-2.Roger A. Shiner & Jeremy Hoemsen - 2007 - Criminal Law and Philosophy 1 (1):119-122.
    The article is a review of A.P. Simester, ed., Appraising Strict Liability. We strongly recommend the book for the sophistication of the contributors’ analyses, and the contribution the book makes to clarifying the normative issues at stake in strict liability legal regimes. The review focuses on the more philosophical essays in the book. The specific issues from the book identified in the review are: the rights-based character of the prohibition on conviction without moral fault; the importance of the principle of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  4
    A Companion to Analytic Philosophy.A. P. Martinich & E. David Sosa (eds.) - 2001 - Malden, Mass.: Wiley-Blackwell.
    A Companion to Analytic Philosophy is a comprehensive guide to many significant analytic philosophers and concepts of the last hundred years. Provides a comprehensive guide to many of the most significant analytic philosophers of the last one hundred years. Offers clear and extensive analysis of profound concepts such as truth, goodness, knowledge, and beauty. Written by some of the most distinguished philosophers alive, some of whom have entries in the book devoted to them.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Filosofskiĭ tekst: idei, argumentat︠s︡ii︠a︡, obrazy.A. P. Alekseev - 2006 - Moskva: Progress-Tradit︠s︡ii︠a︡.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000