Results for 'E. Hermann Haeusler'

1000+ found
Order:
See also
Edward Haeusler
Pontifícia Universidade Católica do Rio de Janeiro
  1.  92
    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  
  4.  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.
  5. 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  
  6.  31
    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   1 citation  
  7.  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 (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  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.
  9. 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  
  10.  21
    XII Brazilian Logic Conference.Edward Hermann Haeusler - 2001 - Bulletin of Symbolic Logic 7 (2):295-295.
  11.  24
    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  
  12.  7
    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.
  13.  7
    Mind and Nature. [REVIEW]E. N. & Hermann Weyl - 1934 - Journal of Philosophy 31 (20):557.
  14.  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  
  15.  92
    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  
  16.  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  
  17.  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  
  18.  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  
  19.  29
    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  
  20. 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  
  21.  13
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  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  
  23.  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  
  24.  17
    Proof Compression and NP Versus PSPACE II.Lew Gordeev & Edward Hermann Haeusler - forthcoming - Bulletin of the Section of Logic.
    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  
  25.  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  
  26.  23
    Hinduism Reconsidered.E. G., Günther D. Sontheimer, Hermann Kulke & Gunther D. Sontheimer - 1991 - Journal of the American Oriental Society 111 (1):213.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  9
    The Contributions of Hermann von Helmholtz to Electrodynamics.A. E. Woodruff - 1968 - Isis 59 (3):300-311.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  5
    Hermann Grassmann.A. E. Heath - 1917 - The Monist 27 (1):1-21.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  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  
  30.  28
    Aristoteles und das Problem des kausalen Determinismus (Met. E 3).Hermann Weidemann - 1986 - Phronesis 31 (1):27-50.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  31. Prof. Dr. E. Otto.Hermann Kantorowicz - 1930 - Kant-Studien 35:17.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  7
    Propositional Dynamic Logic for Petri Nets.B. Lopes, M. Benevides & E. H. Haeusler - 2014 - Logic Journal of the IGPL 22 (5):721-736.
  33. 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  
  34.  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 (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  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.
  36.  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  
  37.  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  
  38. Apriori e storia negli scritti giovanili di Hermann Cohen.Luisa Bertolini - 1986 - Rivista di Storia Della Filosofia 41 (2):265.
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  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  
  40.  7
    Platão E Gadamer.Nadja Hermann - 2004 - Veritas – Revista de Filosofia da Pucrs 49 (4):727.
    O texto aborda o modo como Gadamer articulou o pensamento de Platão na elabo-ração da hermenêutica filosófica, em especial o papel da dialética e do diálogo platônico.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  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  
  42.  13
    Hermann von Schildesche, O.E.SA. t 8. Juli 1357.D. Gutiérrez - 1961 - Augustinianum 1 (1):159-161.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Heyde, E., Wert. [REVIEW]Hermann Hegenwald - 1929 - Société Française de Philosophie, Bulletin 34:445.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Heyde, E., Wert.Hermann Hegenwald - 1929 - Kant-Studien 34:445.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  15
    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.
  46. Cohen [Hermann].E. Bréhier - 1925 - Revue de Métaphysique et de Morale 32:359.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  3
    Hermann Paul. I princìpi e la storia.Lia Formigari - 2018 - Bollettino di Italianistica 15 (2):101-109.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  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  
  49.  5
    Beth E. W.. Decision Problems of Logic and Mathematics. Philosophic , XIII Philosophic des Sciences, Publiée Par l'Institut International de Philosophie, Actualités Scientifiques Et Industrielles 1105, Hermann & Cie, Paris 1950, Pp. 3–18. [REVIEW]Alonzo Church - 1957 - Journal of Symbolic Logic 22 (4):359-359.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  9
    Exploring Computational Contents of Intuitionist Proofs.da Silva Geiza M. Hamazaki, Haeusler Edward Hermann & A. S. Veloso Paulo - 2005 - Logic Journal of the IGPL 13 (1):69-93.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000