Results for 'E. Hermann Haeusler'

1000+ found
Order:
See also
Edward Haeusler
Pontifícia Universidade Católica do Rio de Janeiro
  1.  93
    On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.
    Veloso-Pereira-Haeusler_On-what-there-must-be.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural.Geiza Maria Hamazaki da Silva & Edward Hermann Haeusler - 2001 - Princípios 8 (10):25-61.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  14
    Foreword.Walter Carnielli, Edward Hermann Haeusler & Petrucio Viana - 2017 - Logic Journal of the IGPL 25 (4):381-386.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. I Presocratici: Prima Traduzione Integrale Con Testi Originali a Fronte Delle Testimonianze E Dei Frammenti Nella Raccolta di Hermann Diels E Walther Kranz.Hermann Diels, Walther Kranz, Giovanni Reale, Diego Fusaro & Vincenzo Cicero (eds.) - 2006 - Bompiani.
  5. The Rules-as-Types Interpretation of Schroder-Heister's Extension of Natural Deduction.Edward Hermann Haeusler & Luiz Carlos Pd Pereira - 1999 - Manuscrito 22 (2):149.
     
    Export citation  
     
    Bookmark  
  6.  34
    A Formalization of Sambins's Normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.
    Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  23
    Some Models of Heterogeneous and Distributed Specifications Based on Universal Constructions.Edward Hermann Haeusler, Alfio Martini & Uwe Wolter - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic.
  8.  21
    XII Brazilian Logic Conference.Edward Hermann Haeusler - 2001 - Bulletin of Symbolic Logic 7 (2):295-295.
  9.  30
    Response Actions Influence the Categorization of Directions in Auditory Space.Marcella C. C. Velten, Bettina E. Bläsing, Thomas Hermann, Constanze Vorwerg & Thomas Schack - 2015 - Frontiers in Psychology 6.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  10. XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
    This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  15
    NUL-Natural Deduction for Ultrafilter Logic.Christian Jacques Renterıa, Edward Hermann Haeusler & Paulo As Veloso - 2003 - Bulletin of the Section of Logic 32 (4):191-199.
  12.  20
    Completeness of an Action Logic for Timed Transition Systems.Fernando Náufel do Amaral & Edward Hermann Haeusler - 2000 - Bulletin of the Section of Logic 29 (4):151-160.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  2
    Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.
    This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  1
    Hermann Patsch: Ludwig von Mühlenfels als Advocatus Schleiermacheri. Ein Nachtrag zu: Der unpfäffische Schleiermacher. Karl Gutzkow und das Schleiermacher-Bild des Jungen Deutschlands – Zur Konstruktion eines Gegenmythos.Hermann Patsch - 2018 - Journal for the History of Modern Theology/Zeitschrift für Neuere Theologiegeschichte 25 (1-2):235-276.
    Ludwig von Mühlenfels as Advocatus Schleiermacheri. An addendum. The editorial copy of the “Allgemeine Zeitung” has survived in the Cotta-Archive with the names of the contributors. This has made it possible to identify belatedly the author of the apologia “Another word about Schleiermacher” in the “Außerordentliche Beilage der Allgemeinen Zeitung” of April 2, 1834. It was Ludwig Friedrich von Mühlenfels. Mühlenfels, who led a rather varied life, was related to Schleiermacher’s wife Henriette, and thus belonged to Schleiermacher’s extended family. Member (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  30
    An Infinitary Extension of Mall−.Luiz Carlos Pd Pereira & Edward Hermann Haeusler - 1999 - Bulletin of the Section of Logic 28 (4):225-233.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Hermann Lotze e Franz Brentano.Nikolay Milkov - 2018 - Guairacá - Revista de Filosofia 34 (1):26-44.
    Resumo: Franz Brentano não foi uma figura solitária que propôs sua filosofia isolada de outros filósofos contemporâneos na Alemanha, tal como alguns neo-brentanianos reivindicaram nos últimos anos. O objetivo deste artigo é corrigir tais concepções equivocadas estabelecendo que Brentano desenvolveu sua psicologia filosófica engajado ativamente no rico contexto histórico-intelectual e acadêmico de seu tempo - em particular, sob a influência de Hermann Lotze. Especificamente, Brentano: (i) adota de Lotze a ideia de que juízo não é apenas uma associação de (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17.  17
    A Natural Deduction System for Ctl.Christian Jacques Renterıa & Edward Hermann Haeusler - 2002 - Bulletin of the Section of Logic 31 (4):231-240.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  25
    Hermann Cohen und die Erneuerung der Kantischen Philosophie.E. Cassirer - 1912 - Kant-Studien 17 (1-3):252-273.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   17 citations  
  19.  14
    A Concrete Categorical Model for the Lambek Syntactic Calculus.Marcelo Da Silva Corrêa & Edward Hermann Haeusler - 1997 - Mathematical Logic Quarterly 43 (1):49-59.
    We present a categorical/denotational semantics for the Lambek Syntactic Calculus , indeed for a λlD-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product corresponds to a noncommutative bi-endofunctor into a category, which encloses all categories of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  18
    Proof Compression and NP Versus PSPACE II.Lew Gordeev & Edward Hermann Haeusler - 2020 - Bulletin of the Section of Logic 49 (3):213-230.
    We upgrade [3] to a complete proof of the conjecture NP = PSPACE that is known as one of the fundamental open problems in the mathematical theory of computational complexity; this proof is based on [2]. Since minimal propositional logic is known to be PSPACE complete, while PSPACE to include NP, it suffices to show that every valid purely implicational formula ρ has a proof whose weight and time complexity of the provability involved are both polynomial in the weight of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  33
    Proof Compression and NP Versus PSPACE.L. Gordeev & E. H. Haeusler - 2019 - Studia Logica 107 (1):53-83.
    We show that arbitrary tautologies of Johansson’s minimal propositional logic are provable by “small” polynomial-size dag-like natural deductions in Prawitz’s system for minimal propositional logic. These “small” deductions arise from standard “large” tree-like inputs by horizontal dag-like compression that is obtained by merging distinct nodes labeled with identical formulas occurring in horizontal sections of deductions involved. The underlying geometric idea: if the height, h(∂), and the total number of distinct formulas, ϕ(∂), of a given tree-like deduction ∂ of a minimal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  7
    Mind and Nature. [REVIEW]E. N. & Hermann Weyl - 1934 - Journal of Philosophy 31 (20):557.
  23. Microcosmus an Essay Concerning Man and His Relation to the World.Hermann Lotze, Elizabeth Hamilton & E. Constance Jones - 1885 - T.&T. Clark.
     
    Export citation  
     
    Bookmark   6 citations  
  24.  4
    Monoteísmo e filosofia: Breves reflexões a partir de uma conferência de Hermann Cohen.Andrea Poma, Luis Celestino de França Júnior & Regiane Lorenzetti Collares - 2021 - Kant E-Prints 16 (2):398-410.
    Hermann Cohen afirma, em uma conferência, que a aversão à religião se deve à desconfiança da filosofia, uma vez que esta oferece à religião seu fundamento crítico e autoconsciência. Ele formula três postulados religiosos. O primeiro é a ideia da unicidade de Deus, como fundamento da moralidade do homem. O segundo postulado é o messianismo, como fundamento da ideia de humanidade universal. O terceiro postulado é a promoção do estudo da Wissenschaft des Judentums. Este texto enfoca três temas: a (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  8
    Finitely Many-Valued Logics and Natural Deduction.C. Englander, E. H. Haeusler & L. C. Pereira - 2014 - Logic Journal of the IGPL 22 (2):333-354.
  26.  7
    Propositional Dynamic Logic for Petri Nets.B. Lopes, M. Benevides & E. H. Haeusler - 2014 - Logic Journal of the IGPL 22 (5):721-736.
  27. Arte E Messianismo Nel Pensiero di Hermann Cohen.Ezio Gamba - 2015 - Annuario Filosofico 31:177-207.
    “The Messiah [...] is the source of all religious art.” This statement, which we find in Cohen’s Über den ästhetischen Wert unserer religiösen Bildung, seems to be not fully consistent with the whole of Cohen’s aesthetics and with Cohen’s thought about the possibility of art having religious themes. In order to explain this statement and Cohen’s perspective about Messianism in art, in §§ 1-3 I examine Cohen’s reflections about this topic in his main works about art and religion; in § (...)
    No categories
     
    Export citation  
     
    Bookmark  
  28.  9
    Hermann von Schildesche, O.E.S.A. : Zur 600. Wiederkehr seines TodestagesAdolar Zumkeller.Albert C. Shannon - 1958 - Speculum 33 (4):572-573.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  26
    Hermann Harrauer: A Bibliography to the Corpus Tibullianum. (Bibliography to the [Sic] Augustan Poetry, I.) Pp. 90. Hildesheim: H. A. Gerstenberg, 1971. Cloth, DM.32. [REVIEW]E. J. Kenney - 1974 - The Classical Review 24 (01):138-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  37
    University of Pennsylvania Bicentennial Conference. Studies in Civilization.Studies in the History of Science. [REVIEW]E. N., Alan J. B. Wace, Otto E. Neugebauer, William S. Ferguson, Arthur E. R. Boak, Edward K. Rand, Arthur C. Howland, Charles G. Osgood, William J. Entwistle, John H. Randall, Carlton J. H. Hayes, Charles H. McIlwain, Arthur M. Schlesinger, Charles Cestre, Stanley T. Williams, E. A. Speiser, Hermann Ranke, Henry E. Sigerist, Richard H. Shryock, Evarts A. Graham, A. Graham, Edgar A. Singer & Hermann Weyl - 1941 - Journal of Philosophy 38 (21):586.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  5
    Hermann Harrauer: A Bibliography to the Corpus Tibullianum. Pp. 90. Hildesheim: H. A. Gerstenberg, 1971. Cloth, DM.32.E. J. Kenney - 1974 - The Classical Review 24 (1):138-138.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  10
    Beth E.-W.. General logic and semiotics. Philosophie , XI Philosophie des sciences—psychologie, publiée par l'Institut International de Philosophie, publication entreprise sous les auspices de l'U.N.E.S.C.O., Actualités scientifiques et industrielles 1089, Hermann & Cie, Paris 1950, pp. 3–16. [REVIEW]Charles A. Baylis - 1950 - Journal of Symbolic Logic 15 (3):233-233.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  9
    Obituary: Hermann Weyl.E. H. H. - 1956 - British Journal for the Philosophy of Science 7 (26):182 - 183.
  34. Cohen [Hermann].E. Bréhier - 1925 - Revue de Métaphysique et de Morale 32:359.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  16
    Environmental Impact Assessments From a Business Perspective: Extending Knowledge and Guiding Business Practice.Hermann Lion, Jerome D. Donovan & Rowan E. Bedggood - 2013 - Journal of Business Ethics 117 (4):789-805.
    Economic growth and development remain embedded in the very core of our current international economic system and the so called “material economy”. However, depleting natural resources and environmental degradation, which now threaten the well-being of future generations, has challenged this premise, and placed sustainable development as a necessary objective of business activity and expansion. Environmental impact assessments (EIAs) have emerged as a key tool for governments, businesses, and NGOs to manage the negative impact of their activities on the environment. Businesses (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Heller, Hermann Understanding of Hegel.E. Vollrath - 1992 - Hegel-Studien 27:111-129.
     
    Export citation  
     
    Bookmark  
  37.  8
    Kampf gegen das Chaos, Kampf gegen die Meinung: Intensive Größe und Empfindung bei Gilles Deleuze und Hermann Cohen.Christoph F. E. Holzhey & Astrid Deuber-Mankowsky - 2016 - In Thomas Leinkauf & Thomas Kisser (eds.), Intensität Und Realität: Systematische Analysen Zur Problemgeschichte von Gradualität, Intensität Und Quantitativer Differenz in Ontologie Und Metaphysik. De Gruyter. pp. 259-274.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  9
    Beth E. W.. L'évidence Intuitive Dans les Mathématiques Modernes. Jahrhundert. Travaux du IXe Congrès International de Philosophic, VI Logique Et Mathématiques, Actualitès Scientifiques Et Industrielles 535, Hermann Et C, Paris 1937, Pp. 161–165. [REVIEW]Everett J. Nelson - 1937 - Journal of Symbolic Logic 2 (4):174-174.
  39.  4
    Das Mahābhārata. Seine Entstehung, sein Inhalt, seine FormDas Mahabharata. Seine Entstehung, sein Inhalt, seine Form.E. Washburn Hopkins & Hermann Oldenberg - 1923 - Journal of the American Oriental Society 43:54.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  21
    Ética E Estética: Horizonte Em Deslocamento.Nadja Hermann - 2004 - Veritas – Revista de Filosofia da Pucrs 50 (2):343.
    O artigo discute como a lacuna deixada pela crítica a uma ética racionalizada, que sustentou o projeto pedagógico moderno, pode encontrar nova justificação. Isso implica na necessidade. De desencadear um processo refletido sobre as formas de relação entre ética e estética, de modo a explicitar os problemas e perspectivas que se apresentam à ética na educação, diante da emergência dos processos de estetização do mundo da vida.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Apriori e storia negli scritti giovanili di Hermann Cohen.Luisa Bertolini - 1986 - Rivista di Storia Della Filosofia 41 (2):265.
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  16
    Natur Und Geschichte: Karl Löwith Zum 70. Geburstag.Hermann Braun, Manfred Riedel, H. Plessner, E. Biser, E. Bloch & K. K. Cho - 1969 - Philosophy and Phenomenological Research 29 (3):460-462.
  43.  10
    The Temple of Ramesses I at Abydos.Hermann Ranke & H. E. Winlock - 1939 - Journal of the American Oriental Society 59 (2):272.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  3
    The Cultic Calendars of the Ancient Near East.Hermann Hunger & Mark E. Cohen - 1996 - Journal of the American Oriental Society 116 (4):776.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  31
    Validades Existenciais e Enigmas Relacionados.Paulo A. S. Veloso, Luiz Carlos Pereira & Edward H. Haeusler - 2009 - Dois Pontos 6 (2).
    Logic does not have purely existential theorems: the only existential sentences that are valid are those with valid universal analogues. Here, we show indeed this is so, when properly interpreted: every existential validity has a simple universal analogue, which is also valid. We also characterize existential and universal validities in terms of tautologies.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  46.  17
    Zeitgemäße Unzeitgemäßheit. Hermann Cohens Philosophie heute. Gesprächsleitung: Ursula Renz.Myriam Bienenstock, Helmut Holzhey, Andrea Poma & Ursula Renz - 2011 - Deutsche Zeitschrift für Philosophie 59 (2):311-322.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  8
    Propositional Proof Compressions and DNF Logic.L. Gordeev, E. Haeusler & L. Pereira - 2011 - Logic Journal of the IGPL 19 (1):62-86.
    This paper is a continuation of dag-like proof compression research initiated in [9]. We investigate proof compression phenomenon in a particular, most transparent case of propositional DNF Logic. We define and analyze a very efficient semi-analytic sequent calculus SEQ*0 for propositional DNF. The efficiency is achieved by adding two special rules CQ and CS; the latter rule is a variant of the weakened substitution rule WS from [9], while the former one being specially designed for DNF sequents. We show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Oberhuber, Hermann E., Die Geltungsgrundlagen metaphysischer Urteile. [REVIEW]Georg Lasson - 1933 - Société Française de Philosophie, Bulletin 38:221.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Oberhuber, Hermann E., Die Geltungsgrundlagen metaphysischer Urteile. [REVIEW]Georg Lasson - 1933 - Kant-Studien 38:221.
  50.  12
    August Hermann Francke und die Westhimalaya-Mission der Herrnhuter BrüdergemeineAugust Hermann Francke und die Westhimalaya-Mission der Herrnhuter Brudergemeine.E. G., Hartmut Walravens & Manfred Taube - 1994 - Journal of the American Oriental Society 114 (1):140.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000