Results for 'Matthias Klatt'

(not author) ( search as author name )
1000+ found
Order:
  1.  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  
  2.  20
    Contemporary Legal Philosophy in Germany.Matthias Klatt - 2007 - Archiv für Rechts- und Sozialphilosophie 93 (4):519-539.
    This article gives a concise overview on developments in German legal philosophy since 1990. After briefly sketching the previous streams, dating back to 1945, it focuses on current tendencies and topics. Three main debates are reported in detail, namely the debates on the structure of legal argumentation, on the structure of the legal system, and on Radbruch’s Formula. This includes, inter alia, Robert Alexy’s new theory of balancing as well as the debate on the role of logic in legal reasoning. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  29
    The constitutional structure of proportionality.Matthias Klatt - 2012 - Oxford, U.K.: Oxford University Press. Edited by Moritz Meister.
    Setting out the 'state of the art' in proportionality doctrine, this book combines theoretical reconstruction with case-law examples, defending and developing the dominant model of proportionality.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  4. Robert Alexy's philosophy of law as system.Matthias Klatt - 2012 - In Institutionalized reason: the jurisprudence of Robert Alexy. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   2 citations  
  5. Aleksander Peczenik über die Rationalität der juristischen Argumentation.Matthias Klatt - 2009 - In Annette Brockmöller & Eric Hilgendorf (eds.), Rechtsphilosophie Im 20. Jahrhundert: 100 Jahre Archiv für Rechts- Und Sozialphilosophie. Nomos.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  11
    Integrative Jurisprudence: Legal Scholarship and the Triadic Nature of Law.Matthias Klatt - 2020 - Ratio Juris 33 (4):380-398.
    What is the core of legal scholarship? How can we understand its relation to other disciplines, such as moral and political philosophy, sociology, and economics? I explore these questions by analysing the impact of the dual nature thesis. Criticising established theories of legal scholarship, I defend the ideal of an integrative jurisprudence. Integrative jurisprudence combines the two dimensions of law by employing analytical, empirical, and normative methods. I then discuss three objections and address the problem of how to bridge is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  52
    Institutionalized reason: the jurisprudence of Robert Alexy.Matthias Klatt (ed.) - 2012 - New York: Oxford University Press.
    This volume gathers leading figures from legal philosophy and constitutional theory to offer a critical examination of the work of Robert Alexy.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  6
    Jan C. Joerden. Logik im Recht. Grundlagen und Anwendungsbeispiele..Matthias Klatt - 2007 - Archiv für Rechts- und Sozialphilosophie 93 (3):453-456.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  5
    La proporcionalidad como principio constitucional universal.Matthias Klatt - 2017 - México: Universidad Autónoma de Yucatán. Edited by Moritz Meister & Rubén Sánchez Gil.
    Derechos fundamentales, intereses y triunfos -- Proporcionalidad y moral -- El problema de la inconmensurabilidad -- Objeciones adicionales -- Análisis de caso.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Proportionality and Justification.Matthias Klatt - 2019 - In Ester Herlin-Karnell & Matthias Klatt (eds.), Constitutionalism Justified: Rainer Forst in Discourse. Oxford University Press, Usa.
     
    Export citation  
     
    Bookmark  
  11.  72
    Taking Rights less Seriously. A Structural Analysis of Judicial Discretion.Matthias Klatt - 2007 - Ratio Juris 20 (4):506-529.
    This article investigates the concept and the construction of judicial discretion. The strengths and weaknesses of both Dworkin and Hart are analysed, and in view of these, it is argued that a full picture of judicial discretion is between the two extremes. Thus, a moderate theory of judicial discretion is maintained which is based on achievements by Robert Alexy (2002b). The article develops a balancing model of discretion and relates it to the theory of legal argumentation. The limits of discretion (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Zur Rechtstheorie des Verdachts.Matthias Klatt - 2006 - Rechtstheorie 37 (3):388-392.
    No categories
     
    Export citation  
     
    Bookmark  
  13. Introduction.Ester Herlin-Karnell & Matthias Klatt - 2019 - In Ester Herlin-Karnell & Matthias Klatt (eds.), Constitutionalism Justified: Rainer Forst in Discourse. Oxford University Press, Usa.
     
    Export citation  
     
    Bookmark  
  14. Asimetría constitucional y los límites del balanceo. Una nota crítica a la postura de Matthias Klatt.Miguel Garcia-Godinez - forthcoming - In Diana Gonzalez & Ruben Sanchez (eds.), El test de proporcionalidad, convergencias y divergencias.
  15.  5
    Constitutionalism justified. Rainer Forst in discourse: edited by Ester Herlin-Karnell and Matthias Klatt, Oxford, Oxford University Press, 2020, 264 pp., £64.00, ISBN: 9780190889050. [REVIEW]Esther Neuhann - 2020 - Jurisprudence 11 (4):645-652.
    This collection assembles twelve contributions discussing Rainer Forst’s political and social philosophy. Forst’s work is addressed from the perspective of how it can contribute to tackling some co...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  9
    Book Reviews: Klatt, Matthias, Theorie der Wortlautgrenze, Studien zur Rechtsphilosophie und Rechtstheorie 38, Nomos Verlag, Baden-Baden 2004, 313 pp. Forthcoming in English (Oxford, Hart Publishing) 2006. [REVIEW]Sieckmann Jan-R. - 2005 - Argumentation 19 (4):509-513.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  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. 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  
  19. 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  
  20. 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  
  21. 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  
  22.  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  
  23.  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  
  24.  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  
  25.  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  
  26.  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  
  27.  5
    Open-Label Placebo Interventions With Drinking Water and Their Influence on Perceived Physical and Mental Well-Being.Marco Rathschlag & Stefanie Klatt - 2021 - Frontiers in Psychology 12.
    In recent years, the postulation that deception is necessary for placebos to have an effect on pain relief or increased well-being has come into question. Latest studies have shown that an openly administered mock drug works just as well as a deceptively administered placebo on certain complaints. This open-label placebo effect has primarily been used in the area of pain treatment so far. This study is the first to examine the effect of such placebos on healthy individuals with the use (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. 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  
  29. 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  
  30.  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  
  31.  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  
  32. 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  
  33.  2
    Begegnung mit Wolfgang Harich.Matthias Eckholdt - 1996 - Schwedt/Oder: Kiro. Edited by Wolfgang Harich.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Future Design: Incorporating Preferences of Future Generations for Sustainability.Matthias Fritsch (ed.) - 2020 - Springer.
     
    Export citation  
     
    Bookmark  
  35. 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  
  36. 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  
  37.  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  
  38.  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  
  39.  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  
  40.  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  
  41.  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  
  42.  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  
  43. 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  
  44.  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  
  45.  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  
  46.  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  
  47.  6
    Der Psychologismusstreit in der deutschen Philosophie.Matthias Rath - 1994
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  48.  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.
  49.  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  
  50. 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  
1 — 50 / 1000