Results for 'Martinvaldo Konig'

639 found
Order:
  1.  74
    MV-Algebras and Quantum Computation.Antonio Ledda, Martinvaldo Konig, Francesco Paoli & Roberto Giuntini - 2006 - Studia Logica 82 (2):245-270.
    We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates. After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-MV algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra over the complex numbers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  18
    Augumentationen Festschrift Für Josef König.Harald Delius, Günther Patzig & Josef König - 1964 - Vandenhoeck & Ruprecht.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Einleitung Zu den Vorlesungen Über Theoretische Physik. Hrsg. Von Arthur König Und Carl Runge.Hermann von Helmholtz, Arthur Peter König & Carl Runge - 1903 - J.A. Barth.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Sämtliche Schriften. Nach der Ausg. Letzter Hand Zusammengestellt, Eingeleitet Und Mit Einem Fries-Lexikon Versehen von Gert König Und Lutz Geldsetzer.Jakob Friedrich Fries, Gerd König & Lutz Geldsetzer - 1968
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  11
    König, E. Kant Und Die Naturwissenschaft. [REVIEW]E. König - 1908 - Kant Studien 13 (1-3).
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  5
    König, Edm. Die Materie — Heft 2 Der.Wege Zur Philosophie'.E. König - 1911 - Kant Studien 16 (1-3).
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  14
    Artificial Intelligence and Responsibility Gaps: What is the Problem?Peter Königs - 2022 - Ethics and Information Technology 24 (3).
    Recent decades have witnessed tremendous progress in artificial intelligence and in the development of autonomous systems that rely on artificial intelligence. Critics, however, have pointed to the difficulty of allocating responsibility for the actions of an autonomous system, especially when the autonomous system causes harm or damage. The highly autonomous behavior of such systems, for which neither the programmer, the manufacturer, nor the operator seems to be responsible, has been suspected to generate responsibility gaps. This has been the cause of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Ordering Knowledge”: J. König and T. Whitmarsh.Jason König - 2007 - In Jason König & Tim Whitmarsh (eds.), Ordering Knowledge in the Roman Empire. Cambridge University Press. pp. 3--39.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  9.  27
    Why Be a Subjectivist About Wellbeing?Peter Königs - 2022 - Canadian Journal of Philosophy 52 (2):165-179.
    Subjectivism about wellbeing rests on the idea that what is good for a person must ‘fit’ her, ‘resonate’ with her, not be ‘alien’ to her, etc. This idea has been called the ‘beating heart’ of subjectivism. In this article, I present the No-Beating-Heart Challenge for subjectivism, which holds that there is no satisfactory statement of this idea. I proceed by first identifying three criteria that any statement of the idea must meet if it is to provide support for subjectivism: Distinctness, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  38
    Schlusslogische Letztbegründung. Festschrift für Kurt Walter Zeidler zum 65. Geburtstag.Lois Marie Rendl & Robert König (eds.) - 2020 - Berlin, Deutschland: Peter Lang.
    Schlusslogische Letztbegründung is a collection of essays in honor of Kurt Walter Zeidler. Mr. Zeidler is a distinguished Kant- and Neo-Kantian-scholar who has reconstructed Kant's concept of transcendental logic in connection with the logic of the concept of Hegel and the logic of symbolization of Peirce. (cf. Zeidler: Grundriss der transzendentalen Logik, 3rd ed., Wien 2017) He has most notably inquired intensively into the relation of transcendental logic to philosophy of science (cf. Zeidler: Prolegomena zur Wissenschaftstheorie, Wien 2000) and to (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  11.  37
    Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
    Classically, weak König's lemma and Brouwer's fan theorem for detachable bars are equivalent. We give a direct constructive proof that the former implies the latter.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  12.  7
    Intensifiers as Targets and Sources of Semantic Change Ekkehard Konig and Peter Siemund.Ekkehard Konig - 1999 - In Andreas Blank & Peter Koch (eds.), Historical Semantics and Cognition. Mouton de Gruyter. pp. 13--237.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  30
    Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
    We develop measure theory in the context of subsystems of second order arithmetic with restricted induction. We introduce a combinatorial principleWWKL (weak-weak König's lemma) and prove that it is strictly weaker thanWKL (weak König's lemma). We show thatWWKL is equivalent to a formal version of the statement that Lebesgue measure is countably additive on open sets. We also show thatWWKL is equivalent to a formal version of the statement that any Borel measure on a compact metric space is countably additive (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  14.  45
    Julius Konig et les Principes Aristoteliciens.Marcel Guillaume - 2009 - Principia: An International Journal of Epistemology 13 (2):153-164.
    In his posthumous book from 1914, "New foundations of logic, arithmetic and set theory", Julius Konig develops his philosophy of mathematics. In a previous contribution, we attracted attention on the positive part (his truth and falsehood predicates being excluded) of his "pure logic": his "isology" being assimilated to mutual implication, it constitutes a genuine formalization of positive intuitionistic logic. Konig's intention was to rebuild logic in such a way that the excluded third's principle could no longer be logical. (...)
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Towards a Unity of Theoretical and Practical Reason: On the Constitutive Significance of the Transcendental Dialectic.Robert König - 2022 - Open Philosophy 5 (1):622-635.
    The article focuses on re-evaluating Kant’s Transcendental Dialectic by initially highlighting its seemingly negative function within the Critique of Pure Reason as a mere regulative form for cognition and experience. The Dialectic, however, does not only have such a negative-regulative function but also its very own positive and founding character for cognition that even is present in the supposedly most immediate forms of intuition. In exploring this positive side of the Transcendental Dialectic it becomes clear that it manifests itself as (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. König Gesalechs Sturz (510/511 n. Chr.) und der Anfang vom Ende der ostgotisch-vandalischen Allianz.Konrad Vössing - 2016 - História 65 (2):244-255.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. What is Techno-Optimism?Peter Königs - 2022 - Philosophy and Technology 35 (3):1-5.
  18. Oscillatory Responses in Cat Visual Cortex Exhibit Inter-Columnar Synchronization Which Reflects Global Stimulus Properties.Charles M. Gray, P. Kreiter Konig, Andreas K. Engel & Wolf Singer - 1992 - Nature 338:334-7.
  19.  9
    Könige, Poleis und Athleten in hellenistischer Zeit.Christian Mann - 2018 - Klio 100 (2):447-479.
    Zusammenfassung Bei der Erforschung der politischen Kommunikation in der hellenistischen Welt haben die sportlichen Wettkämpfe bislang nicht die gebührende Aufmerksamkeit erfahren. Hier setzt der Aufsatz an, der aufzuzeigen versucht, wie Könige und Poleis die Agonistik als Kommunikationsraum nutzten, um Sieghaftigkeit zu demonstrieren, Loyalität zu bekunden und Status zu verhandeln. Konkret werden drei Phänomene in den Blick genommen: die Teilnahme der Könige an den Pferde- und Wagenrennen, die Partizipation der Könige am agonistischen Ruhm anderer und die Konstituierung und Ausrichtung von Agonen (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. König, E., Kant und die Naturwissenschaft. [REVIEW]W. Reinecke - 1909 - Société Française de Philosophie, Bulletin 14:110.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. König, E., Kant und die Naturwissenschaft. [REVIEW]W. Reinecke - 1909 - Kant Studien 14:110.
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  11
    König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.
    König, D. [1926. ‘Sur les correspondances multivoques des ensembles’, Fundamenta Mathematica, 8, 114–34] includes a result subsequently called König's Infinity Lemma. Konig, D. [1927. ‘Über eine Schlussweise aus dem Endlichen ins Unendliche’, Acta Litterarum ac Scientiarum, Szeged, 3, 121–30] includes a graph theoretic formulation: an infinite, locally finite and connected graph includes an infinite path. Contemporary applications of the infinity lemma in logic frequently refer to a consequence of the infinity lemma: an infinite, locally finite tree with a root (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. König, Adrio - Doop. Waarom? En Daarna?Johan Buitendag - 1999 - Hts Theological Studies 55 (4).
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  9
    König Ludwig IX., der Heilige, und das Recht: Studie zur Gestaltung der Lebensordnung Frankreichs im hohen Mittelalter. Ludwig Buisson.Gaines Post - 1957 - Speculum 32 (1):149-150.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. König, Kant Und Die Naturwissenschaft. [REVIEW]H. Maas - 1908 - Kant Studien 13:162.
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. König Otto III. Und Die Slawen an Ostsee, Oder Und Elbe Um Das Jahr 995.Jürgen Petersohn - 2003 - Frühmittelalterliche Studien 37 (1):99-139.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Könige.Martin Noth - 1964–68
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  28. König Artus auf dem Schandkarren.Christiane Witthöft - 2007 - Frühmittelalterliche Studien 41 (1):363-380.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  9
    Julius Konig et les Principes Aristoteliciens.Marcel Guillaume - 2009 - Principia: An International Journal of Epistemology 13 (2):153-164.
    In his posthumous book from 1914, “New foundations of logic, arithmetic andset theory”, Julius König develops his philosophy of mathematics. In a previous contribution, we attracted attention on the positive part of his “pure logic”: his “isology” being assimilated to mutual implication, it constitutes a genuine formalization of positive intuitionistic logic. König’s intention was to rebuild logic in such a way that the excluded third’s principle could no longer be logical. However, his treatment of truth and falsehood is purely classical. (...)
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  10
    Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
    Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Lévy collapse. These show in particular that certain applications of forcing axioms require to add generic countable sequences high up in the set-theoretic hierarchy even before collapsing everything down to ‮א‬₁. Later we give applications, among them the consistency of MM with ‮א‬ω not being Jónsson which answers a question raised in the set theory meeting at Oberwolfach in 2005.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31. König Kleomenes I von Sparta.Thomas Lenschau - 1938 - Klio 31 (1):412-429.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  32. O. KÖNIG, Dogma als Praxis und Theorie. [REVIEW]G. L. Müller - 1985 - Theologie Und Philosophie 60 (4):607.
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  12
    Generalizing König's Infinity Lemma.Robert H. Cowen - 1977 - Notre Dame Journal of Formal Logic 18 (2):243-247.
  34. Erläuterungen. Glöckner & König - 1996 - In Plinius Secundus der Ältere (ed.), Naturkunde / Naturalis Historia Libri Xxxvii, Buch Xxv, Medizin Und Pharmakologie: Heilmittel Aus Wild Wachsenden Pflanzen. De Gruyter. pp. 121-172.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  26
    On the Strength of König's Duality Theorem for Countable Bipartite Graphs.Stephen G. Simpson - 1994 - Journal of Symbolic Logic 59 (1):113-123.
    Let CKDT be the assertion that for every countably infinite bipartite graph G, there exist a vertex covering C of G and a matching M in G such that C consists of exactly one vertex from each edge in M. (This is a theorem of Podewski and Steffens [12].) Let ATR0 be the subsystem of second-order arithmetic with arithmetical transfinite recursion and restricted induction. Let RCA0 be the subsystem of second-order arithmetic with recursive comprehension and restricted induction. We show that (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  36.  6
    Guter König Und Doch Verfolger? Die Religionspolitik des Westgotenkönigs Leovigild Im Urteil der Zeitgenössischen Historiker.Markus Mülke - 2016 - Frühmittelalterliche Studien 50 (1):99-128.
    Name der Zeitschrift: Frühmittelalterliche Studien Jahrgang: 50 Heft: 1 Seiten: 99-128.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. König Arthur und die Plantagenets. Über den Zusammenhang von Historiographie und höfischer Epik in mittelalterlicher Propaganda.Peter Johanek - 1987 - Frühmittelalterliche Studien 21 (1):346-389.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  19
    Fragments of Martin's Maximum in Generic Extensions.Y. Yoshinobu & B. Konig - 2004 - Mathematical Logic Quarterly 50 (3):297.
    We show that large fragments of MM, e. g. the tree property and stationary reflection, are preserved by strongly -game-closed forcings. PFA can be destroyed by a strongly -game-closed forcing but not by an ω2-closed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  39.  7
    König Rother: Studie zur literarischen Deutung. Christian Gellinek.Michael Curschmann - 1970 - Speculum 45 (3):472-475.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  27
    Ramsey’s Theorem and König’s Lemma.T. E. Forster & J. K. Truss - 2007 - Archive for Mathematical Logic 46 (1):37-42.
    We consider the relation between versions of Ramsey’s Theorem and König’s Infinity Lemma, in the absence of the axiom of choice.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Väter, Könige, Propheten.O. García de la Fuente - 1968 - Augustinianum 8 (1):160-162.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Das Simon'sche Kantbild. - Kant und seine Tischgenossen. - Das Dresdener Kantbild - ein Werk der Elisabeth v. Stägemann? - Nochmals die Kantbüste in der Berliner Siegesallee. - Kaftans Festrede über den kategorischen Imperativ. - Also sprach Immanuel Kant. - Max Müller. - Der Fall Goldschmidt. - Der Graf v. Bray über Kant. [REVIEW]E. König - 1901 - Société Française de Philosophie, Bulletin 6:110.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  8
    König Athletics and Literature in the Roman Empire. Pp. Xx + 398, Ills. Cambridge: Cambridge University Press, 2005. Cased, £55, US$90. ISBN: 0-521-83845-2. [REVIEW]M. B. Trapp - 2006 - The Classical Review 56 (2):444-445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  4
    Wolfgang König. Der Gelehrte Und der Manager: Franz Reuleaux Und Alois Riedler in Technik, Wissenschaft Und Gesellschaft. 334 Pp., Bibl., Index. Stuttgart: Franz Steiner Verlag, 2014. €59. [REVIEW]Adelheid Voskuhl - 2016 - Isis 107 (4):862-864.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Probleme der Einheit des Logischen und Historischen in der Pädagogik.Helmut König - 1973 - Deutsche Zeitschrift für Philosophie 21 (10):1273.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  11
    König (J.) Athletics and Literature in the Roman Empire. Pp. Xx + 398, Ills. Cambridge: Cambridge University Press, 2005. Cased, £55, US$90. ISBN: 0-521-83845-. [REVIEW]M. B. Trapp - 2006 - The Classical Review 56 (02):444-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. König, Walter, Zurück zu Thomas v. Aquin! [REVIEW]Arthur Liebert - 1924 - Société Française de Philosophie, Bulletin 29:513.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. König, Walter, Zurück zu Thomas v. Aquin!Arthur Liebert - 1924 - Kant Studien 29:513.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  3
    Abgesetzte Könige, abgeschlagene Köpfe.Jörg Rogge - 2007 - Das Mittelalter 12 (1).
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  8
    Kaiser, König, Ketzer. Zu Intention und Rezeption der »Julian«-Schrift von David Friedrich Strauß.Wolfram Kinzig - 1997 - Journal for the History of Modern Theology/Zeitschrift für Neuere Theologiegeschichte 4 (1):1-38.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 639