Results for 'Matthias Kliegel'

1000+ found
Order:
  1.  5
    Ist der Mensch sein Gehirn? : Anthropologische Bemerkungen zur Ethik der Hirnforschung aus der Sicht eines Theologen.Kliegel Matthias - 2000 - Ethik in der Medizin 12 (2):75-87.
    Zusammenfassung. Die alte anthropologische Frage nach dem Verhältnis von Leib und Seele, die im Kontext der Ergebnisse der modernen Hirnforschung neu als Gehirn-Seele-Problem gestellt wird, hat erhebliche ethische Konsequenzen für die Beurteilung der Hirnforschung. Ist nämlich die Geist-Seele als dasjenige, was der zu schützenden menschlichen Person zugrunde liegt, eigentlich nichts weiter als ihr Gehirn, so werden invasive Eingriffe an eben diesem Gehirn höchst problematisch. Das Dilemma dieser ethischen Frage ergibt sich aus der ungelösten anthropologischen Diskussion: Die beiden Hauptparadigmen – Monismus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  41
    Effects of sad mood on time-based prospective memory.Matthias Kliegel, Theodor Jäger, Louise Phillips, Esther Federspiel, Adrian Imfeld, Marianne Keller & Daniel Zimprich - 2005 - Cognition and Emotion 19 (8):1199-1213.
  3.  27
    Differential effects of emotional cues on components of prospective memory: an ERP study.Giorgia Cona, Matthias Kliegel & Patrizia S. Bisiacchi - 2015 - Frontiers in Human Neuroscience 9:119376.
    So far, little is known about the neurocognitive mechanisms associated with emotion effects on prospective memory (PM) performance. Thus, this study aimed at disentangling possible mechanisms for the effects of emotional valence of PM cues on the distinct phases composing PM by investigating event-related potentials (ERPs). Participants were engaged in an ongoing N-back task while being required to perform a PM task. The emotional valence of both the ongoing pictures and the PM cues was manipulated (pleasant, neutral, unpleasant). ERPs were (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  44
    Event-based prospective memory in depression: The impact of cue focality.Mareike Altgassen, Matthias Kliegel & Mike Martin - 2009 - Cognition and Emotion 23 (6):1041-1055.
  5.  20
    The relation between abortion and transplantation of fetal tissue: a means to an end?Matthias Kliegel - 1999 - Ethik in der Medizin 11 (3):162-168.
    Definition of the Problem: One of the main ethical arguments against the therapeutic transplantation of fetal tissue in severe cases of Parkinson’s disease is the allegation that the relationship between the abortion and the transplantation is a (bad)-means-to-a-(good)-end-relation.Arguments: This paper differentiates between the actual experimental single-case treatment and a potential mass treatment. In the former case, ethical guidelines seem to guarantee that abortion and transplantation are two distinct actions and therefore abortion is not a means to the end transplantation on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  23
    Ist der Mensch sein Gehirn? : Anthropologische Bemerkungen zur Ethik der Hirnforschung aus der Sicht eines Theologen.Matthias Kliegel - 2000 - Ethik in der Medizin 12 (2):75-87.
    Definition of the problem: Is it the brain that makes a human being a person? This anthropological question has been raised because of the findings of modern human brain research, and there are severe ethical consequences anew: If the appropriate anthropological answer is yes, then all invasive research would be problematic, because one would touch the basis of human essence. The problem is that the two major philosophical paradigms that offer an answer to the anthropological question, dualism and monism, have (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  5
    Das Verhältnis von Abtreibung und Transplantation fetalen Hirngewebes: Eine Mittel-Zweck-Beziehung?Matthias Kliegel - 1999 - Ethik in der Medizin 11 (3):162-168.
    Zusammenfassung. Eines der zentralen Argumente für eine grundsätzliche Ablehnung von fetalen Hirngewebetransplantationen z.B. bei schweren Formen der Parkinsonkrankheit ist die vermeintliche Verzweckung der Abtreibung des Fetus. Die hier zu klärende Frage ist, ob das Verhältnis von Abtreibung und Transplantation wirklich grundsätzlich eine Mittel-Zweck-Beziehung darstellt. Im vorliegenden Aufsatz wird dies anhand der Kriterien,direkte Zweckgerichtetheit’ und,Zweckgebundenheit’ eines Mittels überprüft. Wie die Analyse zeigen kann, muß bei der Beantwortung der Ausgangsfrage zwischen der zur Zeit üblichen und durch strenge ethische Auflagen beschränkten experimentellen Einzelfallanwendung (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  16
    Mood effects on memory and executive control in a real-life situation.Prune Lagner, Matthias Kliegel, Louise H. Phillips, Andreas Ihle, Alexandra Hering, Nicola Ballhausen & Katharina M. Schnitzspahn - 2015 - Cognition and Emotion 29 (6):1107-1116.
  9.  16
    Adult age differences in prospective memory in the laboratory: are they related to higher stress levels in the elderly?Andreas Ihle, Matthias Kliegel, Alexandra Hering, Nicola Ballhausen, Prune Lagner, Julia Benusch, Anja Cichon, Annekathrin Zergiebel, Michel Oris & Katharina M. Schnitzspahn - 2014 - Frontiers in Human Neuroscience 8.
  10.  27
    The Influence of Emotional Material on Encoding and Retrieving Intentions: An ERP Study in Younger and Older Adults.Alexandra Hering, Matthias Kliegel, Patrizia S. Bisiacchi & Giorgia Cona - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  28
    Cognitive and neural plasticity in older adults’ prospective memory following training with the Virtual Week computer game.Nathan S. Rose, Peter G. Rendell, Alexandra Hering, Matthias Kliegel, Gavin M. Bidelman & Fergus I. M. Craik - 2015 - Frontiers in Human Neuroscience 9.
  12.  24
    Plasticity of Executive Control through Task Switching Training in Adolescents.Katharina Zinke, Manuela Einert, Lydia Pfennig & Matthias Kliegel - 2012 - Frontiers in Human Neuroscience 6.
  13.  38
    Prospective memory, emotional valence and ageing.Peter G. Rendell, Louise H. Phillips, Julie D. Henry, Tristan Brumby-Rendell, Xochitl de la Piedad Garcia, Mareike Altgassen & Matthias Kliegel - 2011 - Cognition and Emotion 25 (5):916-925.
  14.  10
    Delay of Gratification, Delay Discounting and their Associations with Age, Episodic Future Thinking, and Future Time Perspective.Lars M. Göllner, Nicola Ballhausen, Matthias Kliegel & Simon Forstmeier - 2018 - Frontiers in Psychology 8.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  18
    Differences in time-based task characteristics help to explain the age-prospective memory paradox.Simon J. Haines, Susan E. Randall, Gill Terrett, Lucy Busija, Gemma Tatangelo, Skye N. McLennan, Nathan S. Rose, Matthias Kliegel, Julie D. Henry & Peter G. Rendell - 2020 - Cognition 202 (C):104305.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.
    I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  17. Minority Reports: Consciousness and the Prefrontal Cortex.Matthias Michel & Jorge Morales - 2020 - Mind and Language 35 (4):493-513.
    Whether the prefrontal cortex is part of the neural substrates of consciousness is currently debated. Against prefrontal theories of consciousness, many have argued that neural activity in the prefrontal cortex does not correlate with consciousness but with subjective reports. We defend prefrontal theories of consciousness against this argument. We surmise that the requirement for reports is not a satisfying explanation of the difference in neural activity between conscious and unconscious trials, and that prefrontal theories of consciousness come out of this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  18. Ancient and medieval moral epistemology.Matthias Perkams - 2018 - In Aaron Zimmerman, Karen Jones & Mark Timmons (eds.), Routledge Handbook on Moral Epistemology. Routledge.
     
    Export citation  
     
    Bookmark  
  19. Calibration in Consciousness Science.Matthias Michel - 2021 - Erkenntnis (2):1-22.
    To study consciousness, scientists need to determine when participants are conscious and when they are not. They do so with consciousness detection procedures. A recurring skeptical argument against those procedures is that they cannot be calibrated: there is no way to make sure that detection outcomes are accurate. In this article, I address two main skeptical arguments purporting to show that consciousness scientists cannot calibrate detection procedures. I conclude that there is nothing wrong with calibration in consciousness science.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. A new empirical challenge for local theories of consciousness.Matthias Michel & Adrien Doerig - 2021 - Mind and Language 37 (5):840-855.
    Local theories of consciousness state that one is conscious of a feature if it is adequately represented and processed in sensory brain areas, given some background conditions. We challenge the core prediction of local theories based on long-lasting postdictive effects demonstrating that features can be represented for hundreds of milliseconds in perceptual areas without being consciously perceived. Unlike previous empirical data aimed against local theories, localists cannot explain these effects away by conjecturing that subjects are phenomenally conscious of features that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  8
    Paletten und palettenbilder.Matthias Krüger - 2013 - In Iris Wenderholm, Jörg Trempler & Markus Rath (eds.), Das haptische bild: Körperhafte bilderfahrung in der neuzeit. De Gruyter. pp. 159-182.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  14
    Klarheit statt Wahrheit. Evidenz und Gewißheit bei Ludwig Wittgenstein.Matthias Kröß - 1998 - In Gary Smith & Matthias Kröß (eds.), Die ungewisse Evidenz. De Gruyter. pp. 139-172.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  21
    The Sociology of Theodor Adorno.Matthias Benzer - 2011 - Cambridge University Press.
    Theodor Adorno is a widely-studied figure, but most often with regard to his work on cultural theory, philosophy and aesthetics. The Sociology of Theodor Adorno provides the first thorough English-language account of Adorno's sociological thinking. Matthias Benzer reads Adorno's sociology through six major themes: the problem of conceptualising capitalist society; empirical research; theoretical analysis; social critique; the sociological text; and the question of the non-social. Benzer explains the methodological and theoretical ideas informing Adorno's reflections on sociology and illustrates Adorno's (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  24.  87
    Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
    This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Gayatri Chakravorty Spivak.Matthias Catön - 2004 - In Gisela Riescher (ed.), Politische Theorie der Gegenwart in Einzeldarstellungen. Von Adorno Bis Young. Alfred Kröner Verlag. pp. 343--457.
     
    Export citation  
     
    Bookmark  
  26. Dong xi fang zhi jian de fa lü zhe xue: Wu Jingxiong zao qi fa lü zhe xue si xiang zhi bi jiao yan jiu.Matthias Christian - 2004 - Beijing: Zhongguo zheng fa da xue chu ban she. Edited by Jingxiong Wu.
     
    Export citation  
     
    Bookmark  
  27.  9
    Rechtsphilosophie zwischen Ost und West: eine vergleichende Analyse der frühen rechtsphilosophischen Gedanken von John C. H. Wu.Matthias Christian - 1988 - New York: Springer.
    "Rechtsphilosophie zwischen Ost und West" ist das erste Buch, das systematisch das frA1/4he Werk des bedeutenden chinesischen Rechtsgelehrten, Richters, Diplomaten und Schriftstellers John C.H. Wu (1899-1986) behandelt. Die Arbeit setzt sich in chronologischer Reihenfolge kritisch mit den VerAffentlichungen Wus im Zeitraum von 1921 bis 1936 auseinander. Wu, spAter Verfechter einer dynamischen Naturrechtslehre, versucht, die mehr pragmatisch-funktionale Rechtsauffassung der fA1/4hrenden amerikanischen Rechtsgelehrten mit dem von Kant geprAgten Denken R. Stammlers zu einer inneren Begegnung zu bringen. Gleichzeitig ist die Thematik chinesischen Rechtsdenkens (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  73
    Primer on an ethics of AI-based decision support systems in the clinic.Matthias Braun, Patrik Hummel, Susanne Beck & Peter Dabrock - 2021 - Journal of Medical Ethics 47 (12):3-3.
    Making good decisions in extremely complex and difficult processes and situations has always been both a key task as well as a challenge in the clinic and has led to a large amount of clinical, legal and ethical routines, protocols and reflections in order to guarantee fair, participatory and up-to-date pathways for clinical decision-making. Nevertheless, the complexity of processes and physical phenomena, time as well as economic constraints and not least further endeavours as well as achievements in medicine and healthcare (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  29. Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
    A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  30. The Philosophy of mathematics today.Matthias Schirn (ed.) - 1998 - New York: Clarendon Press.
    This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  47
    Vapnik–Chervonenkis Density in Some Theories without the Independence Property, II.Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson & Sergei Starchenko - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):311-363.
    We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  32. Realistic Claims in Logical Empiricism.Matthias Neuber - forthcoming - In Uskali Mäki, Stéphanie Ruphy, Gerhard Schurz & Ioannis Votsis (eds.), Recent Developments in the Philosophy of Science: EPSA13 Helsinki. Springer.
    Logical empiricism is commonly seen as a counter-position to scientific realism. In the present paper it is shown that there indeed existed a realist faction within the logical empiricist movement. In particular, I shall point out that at least four types of realistic arguments can be distinguished within this faction: Reichenbach’s ‘probabilistic argument,’ Feigl’s ‘pragmatic argument,’ Hempel’s ‘indispensability argument,’ and Kaila’s ‘invariantist argument.’ All these variations of arguments are intended to prevent the logical empiricist agenda from the shortcomings of radical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  47
    Represent me: please! Towards an ethics of digital twins in medicine.Matthias Braun - 2021 - Journal of Medical Ethics 47 (6):394-400.
    Simulations are used in very different contexts and for very different purposes. An emerging development is the possibility of using simulations to obtain a more or less representative reproduction of organs or even entire persons. Such simulations are framed and discussed using the term ‘digital twin’. This paper unpacks and scrutinises the current use of such digital twins in medicine and the ideas embedded in this practice. First, the paper maps the different types of digital twins. A special focus is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  34.  2
    Begegnung mit Wolfgang Harich.Matthias Eckholdt - 1996 - Schwedt/Oder: Kiro. Edited by Wolfgang Harich.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Future Design: Incorporating Preferences of Future Generations for Sustainability.Matthias Fritsch (ed.) - 2020 - Springer.
     
    Export citation  
     
    Bookmark  
  36.  19
    Plotins Schrift "Über den Geist, die Ideen und das Seiende": Enneade V 9 (5): Text, Übersetzung, Kommentar.Matthias Vorwerk & Plotinus - 2001 - München: Saur. Edited by Plotinus.
    Die Beiträge zur Altertumskunde enthalten Monographien, Sammelbände, Editionen, Übersetzungen und Kommentare zu Themen aus den Bereichen Klassische, Mittel- und Neulateinische Philologie, Alte Geschichte, Archäologie, Antike Philosophie sowie Nachwirken der Antike bis in die Neuzeit. Dadurch leistet die Reihe einen umfassenden Beitrag zur Erschließung klassischer Literatur und zur Forschung im gesamten Gebiet der Altertumswissenschaften.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  13
    Making the law explicit: the normativity of legal argumentation.Matthias Klatt - 2008 - New York: Hart.
    This book considers Robert Brandom's philosophy and presents an original and exciting analysis of the semantic argument in legal argumentation.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  38.  95
    Possible Worlds Semantics for Indicative and Counterfactual Conditionals?: A Formal Philosophical Inquiry Into Chellas-Segerberg Semantics.Matthias Unterhuber - 2013 - Ontos (Now de Gruyter).
    Conditional structures lie at the heart of the sciences, humanities, and everyday reasoning. It is hence not surprising that conditional logics – logics specifically designed to account for natural language conditionals – are an active and interdisciplinary area. The present book gives a formal and a philosophical account of indicative and counterfactual conditionals in terms of Chellas-Segerberg semantics. For that purpose a range of topics are discussed such as Bennett’s arguments against truth value based semantics for indicative conditionals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  39.  9
    A case study of cracks in the scientific enterprise: Response to the comments.Matthias Dehmer & Abbe Mowshowitz - 2016 - Complexity 21 (S1):20-22.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  19
    Variation in dual-task performance reveals late initiation of speech planning in turn-taking.Matthias J. Sjerps & Antje S. Meyer - 2015 - Cognition 136 (C):304-324.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  41. Mood Experience: Implications of a Dispositional Theory of Moods.Matthias Siemer - 2009 - Emotion Review 1 (3):256-263.
    The core feature that distinguishes moods from emotions is that moods, in contrast to emotions, are diffuse and global. This article outlines a dispositional theory of moods (DTM) that accounts for this and other features of mood experience. DTM holds that moods are temporary dispositions to have or to generate particular kinds of emotion-relevant appraisals. Furthermore, DTM assumes that the cognitions and appraisals one is disposed to have in a given mood partly constitute the experience of mood. This article outlines (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  42.  30
    Interpolation in fuzzy logic.Matthias Baaz & Helmut Veith - 1999 - Archive for Mathematical Logic 38 (7):461-489.
    We investigate interpolation properties of many-valued propositional logics related to continuous t-norms. In case of failure of interpolation, we characterize the minimal interpolating extensions of the languages. For finite-valued logics, we count the number of interpolating extensions by Fibonacci sequences.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  43.  42
    A Leap of Faith: Is There a Formula for “Trustworthy” AI?Matthias Braun, Hannah Bleher & Patrik Hummel - 2021 - Hastings Center Report 51 (3):17-22.
    Trust is one of the big buzzwords in debates about the shaping of society, democracy, and emerging technologies. For example, one prominent idea put forward by the High‐Level Expert Group on Artificial Intelligence appointed by the European Commission is that artificial intelligence should be trustworthy. In this essay, we explore the notion of trust and argue that both proponents and critics of trustworthy AI have flawed pictures of the nature of trust. We develop an approach to understanding trust in AI (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  44.  8
    The dark triad and corporate sustainability: An empirical analysis of personality traits of sustainability managers.Matthias Pelster & Stefan Schaltegger - 2021 - Business Ethics, the Environment and Responsibility 31 (1):80-99.
    Business Ethics, the Environment & Responsibility, Volume 31, Issue 1, Page 80-99, January 2022.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  6
    Der Psychologismusstreit in der deutschen Philosophie.Matthias Rath - 1994
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  46.  43
    Past and Present Interactions in Legal Reasoning and Logic.Matthias Armgardt, Patrice Canivez & Sandrine Chassagnard-Pinet (eds.) - 2015 - Cham, Switzerland: Springer.
    This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective. The topics addressed include, among others, conditional legal acts, disjunctions in legal acts, presumptions and conjectures, conflicts of values, Jørgensen´s Dilemma, the Rhetor´s Dilemma, the theory of legal fictions and the categorization of contracts. The unifying problematic of these contributions concerns the conditional structures and, more particularly, the relationship between legal theory and legal reasoning in the context of conditions.
  47.  5
    Phänomenologie der Normativität: Entwurf einer materialen Anthropologie im Anschluss an Max Scheler und Helmuth Plessner.Matthias Schlossberger - 2019 - Basel: Schwabe Verlag.
    Phänomenologie der Normativität ist der Versuch zu zeigen, wie Normativität in der menschlichen Natur gründet. Im Anschluss an die phänomenologische Anthropologie Max Schelers und Helmuth Plessners stellt der Autor die Strukturen menschlichen Lebens heraus, die alle menschlichen Lebensformen fundieren. Menschen sind Lebewesen, die einen Leib haben, und dieses Phänomen ist ursprünglicher als die Unterscheidung von Körper und Geist. Hält man sich dies vor Augen, werden bestimmte Formen menschlicher Normativität verständlich: Die menschliche Lebensweise ist auf ein Gleichgewicht verschiedener Formen des Miteinanders (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
    A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  49.  3
    Wissenschaft, Wirtschaft, Gesellschaft: Ringvorlesung an der Technischen Universität Braunschweig im Sommersemester 1995.Matthias Bohnet & Klaus Lampe (eds.) - 1996 - Braunschweig: TU Braunschweig, Presse- und Öffentlichkeitsarbeit.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  12
    Begriffe, Sätze, Dinge: Referenz und Wahrheit bei Wilhelm von Ockham.Matthias Kaufmann - 1994 - New York: E.J. Brill.
1 — 50 / 1000