Results for 'O-propositions'

999 found
Order:
  1.  6
    Propositional Attitudes in Modern Philosophy.O. T. T. Walter - 2002 - Dialogue 41 (3):551-568.
    RÉSUMÉ: Les philosophes de la période moderne sont souvent présentés comme ayant commis une erreur élémentaire: celle de confondre la force propositionnelle avec le contenu propositionnel. Par l'examen de deux cas saillants, à savoir les philosophes de Port-Royal et John Locke, je montre que l'accusation n'est pas fondée, et que Locke en particulier a les ressources requises pour construire une théorie des attitudes propositionnelles.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  63
    Propositional knowledge base revision and minimal change.Hirofumi Katsuno & Alberto O. Mendelzon - 1991 - Artificial Intelligence 52 (3):263-294.
  3.  19
    Propositional logic: response to Ken López-Escobar.O. Chateaubriand - 2008 - Manuscrito 31 (1):115-120.
    Ken López-Escobar questions the timeless status of various entities—propositions, numbers, etc.—as well as my characterization of pure propositional logic as an ontological theory. In my response I argue that my characterization of propositional logic does not depend on timeless propositions, or on other abstract truth bearers, but is a characterization in terms of truth relations between any truth bearers. I also discuss his views on numbers as cultural constructs, as well as his use of quantification in propositional logic.Ken (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  23
    The nature of propositions: reply to Jairo José da Silva.O. Chateaubriand - 2004 - Manuscrito 27 (1):147-157.
    In §1 I reply to Jairo’s objections to my account of truth and falsity showing that my account of falsity does not imply that false sentences refer to something. In §2 I argue that Jairo’s main objection to my account of propositions as abstract properties is based on a misunderstanding concerning the purpose of this account. In §3 I examine Jairo’s suggestion that contradictory sentences can be said to describe possible states of affairs.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  10
    From Orality to Visuality: Panegyric and Photography in Contemporary Lagos, Nigeria.Adélékè Adéè̇ó - 2012 - Critical Inquiry 38 (2):330-361.
    A new line of self projection magazines that started blooming in Lagos, Nigeria, about the mid-1990s defined itself by filling almost completely every issue with photographs that depict politicians, businesspeople, sports and show business stars enjoying fruits of their extraordinary achievements on festive occasions. The magazine’s cozy coverage of the rich and famous irks a lot of serious cultural and literary critics who believe that this style resembles praise singing too closely. This paper, unlike mainline criticisms of the pictorial magazines, (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6. Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
    We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n -valued logics, each one of which is not (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  7. Propositional Objects.W. V. O. Quine - 1969 - In Willard van Orman Quine (ed.), Ontological Relativity and Other Essays. Columbia University Press. pp. 139-160.
  8. Pragmatic Paradoxes and Fugitive Propositions.D. J. O'connor - 1951 - Mind 60 (240):536 - 538.
  9.  36
    Moore's Propositions.H. O. Mounce - 2016 - Philosophical Investigations 39 (4):385-390.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  20
    Frege and the Logic of the Historical Proposition.Luke O’Sullivan - 2023 - Journal of the Philosophy of History 18 (1):68-93.
    This article argues that history played a larger role in the thought of Gottlob Frege than has usually been acknowledged. Frege’s logical writings frequently employed statements about the past as examples that included references to historical persons. Frege also described history as a science and argued that historical propositions could support valid inferences and reliably identify historical persons and events. But Frege’s eternalist theory of reference, designed primarily for formal concepts and objects, struggled to accommodate such propositions. Identifying (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  33
    Logical truth and logical states of affairs: response to Danielle Macbeth.O. Chateaubriand - 2008 - Manuscrito 31 (1):69-78.
    Danielle Macbeth disagrees with the view that there are logical truths in an ontological sense, and argues that we have no adequate epistemological account of our access to such features of reality. In my response I recall some main aspects of my ontological and epistemological formulation of logic as a science, and argue that neither Quine’s considerations against meaning, nor Benacerraf’s considerations against Gödel’s realism, show the untenability of an approach to logical truth in terms of logical propositions that (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  58
    Truth and Value.O. M. Bakuradze - 1967 - Russian Studies in Philosophy 5 (4):25-28.
    Truth exists in the form of true propositions. Therefore identification of the nature of truth means identification of the conditions in which a proposition is true. A proposition is true if its content is not dependent upon the knower, and it constitutes a reflection of objective reality. Such a proposition yields knowledge. We shall call it a cognitive proposition.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  21
    Falsity, negation and modality: reply to Luiz Carlos Pereira.O. Chateaubriand - 2004 - Manuscrito 27 (1):193-200.
    In §1 I explain that my rejection of possible states of affairs as a basis for an account of falsity is not part of a general rejection of modal notions but is a rejection of possible and impossible entities of any sort. I then show that my account of senses and of propositions is indeed a modal account. In §2 I examine some of Wittgenstein’s ideas about falsity, as presented by Luiz Carlos, in relation to my account of falsity (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  22
    Logical forms and logical form: response to John Corcoran.O. Chateaubriand - 2008 - Manuscrito 31 (1):267-277.
    In his paper John Corcoran examines in detail many issues relating to logical form, and raises some questions about my formulations. In my response I emphasize two main distinctions that may clear up some of the issues. One is the distinction between logical forms, in the sense of logical properties of an abstract character, and logical form, in the sense in which we speak of the logical form of a sentence, or of a proposition. Another is the distinction, emphasized by (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  21
    Propositional reasoning by mental models? Simple to refute in principle and in practice.David P. O'Brien, Martin D. S. Braine & Yingrui Yang - 1994 - Psychological Review 101 (4):711-724.
  16. Moral Philosophy as Applied Science.Michael Ruse & Edward O. Wilson - 1986 - Philosophy 61 (236):173-192.
    (1) For much of this century, moral philosophy has been constrained by the supposed absolute gap between is andought, and the consequent belief that the facts of life cannot of themselves yield an ethical blueprint for future action. For this reason, ethics has sustained an eerie existence largely apart from science. Its most respected interpreters still believe that reasoning about right and wrong can be successful without a knowledge of the brain, the human organ where all the decisions about right (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   123 citations  
  17.  91
    Endogenous epistemic factionalization.James Owen Weatherall & Cailin O’Connor - 2020 - Synthese 198 (Suppl 25):6179-6200.
    Why do people who disagree about one subject tend to disagree about other subjects as well? In this paper, we introduce a model to explore this phenomenon of ‘epistemic factionization’. Agents attempt to discover the truth about multiple propositions by testing the world and sharing evidence gathered. But agents tend to mistrust evidence shared by those who do not hold similar beliefs. This mistrust leads to the endogenous emergence of factions of agents with multiple, highly correlated, polarized beliefs.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  18
    Towards Understanding Stakeholder Salience Transition and Relational Approach to ‘Better’ Corporate Social Responsibility: A Case for a Proposed Model in Practice.Michael O. Erdiaw-Kwasie, Khorshed Alam & Md Shahiduzzaman - 2017 - Journal of Business Ethics 144 (1):85-101.
    Management and business literature affirm the role played by stakeholders in corporate social responsibility practices as crucial, but what constitutes a true business–society partnership remains relatively unexplored. This paper aims to improve scholarly and management understanding beyond the usual managers’ perceptions on salience attributes, to include how stakeholders can acquire missing attributes to inform a meaningful partnership. In doing this, a model is proposed which conceptualises CSR practices and outcomes within the frameworks of stakeholder salience via empowerment, sustainable corporate social (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  59
    Moral Philosophy as Applied Science.Ruse Michael & O. Wilson Edward - 1986 - Philosophy 61 (236):173-192.
    (1) For much of this century, moral philosophy has been constrained by the supposed absolute gap between is andought, and the consequent belief that the facts of life cannot of themselves yield an ethical blueprint for future action. For this reason, ethics has sustained an eerie existence largely apart from science. Its most respected interpreters still believe that reasoning about right and wrong can be successful without a knowledge of the brain, the human organ where all the decisions about right (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   79 citations  
  20.  45
    Predicting intermediate and multiple conclusions in propositional logic inference problems: Further evidence for a mental logic.Martin D. S. Braine, David P. O'Brien, Ira A. Noveck, Mark C. Samuels, R. Brooke Lea, Shalom M. Fisch & Yingrui Yang - 1995 - Journal of Experimental Psychology: General 124 (3):263.
  21.  15
    Propositional Knowledge and Belief: Entailment or Mutual Exclusion?John O. Nelson - 1982 - Philosophical Investigations 5 (2):135-141.
  22. Minimal Truthmakers.Donnchadh O'Conaill & Tuomas E. Tahko - 2016 - Pacific Philosophical Quarterly 97 (2):228-244.
    A minimal truthmaker for a given proposition is the smallest portion of reality which makes this proposition true. Minimal truthmakers are frequently mentioned in the literature, but there has been no systematic account of what they are or of their importance. In this article we shall clarify the notion of a minimal truthmaker and argue that there is reason to think that at least some propositions have minimal truthmakers. We shall then argue that the notion can play a useful (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  23. Godless Conscience.Tom O'Shea - 2022 - European Journal for Philosophy of Religion 14 (3):95-114.
    . John Cottingham suggests that “only a traditional theistic framework may be adequate for doing justice to the role of conscience in our lives.” Two main reasons for endorsing this proposition are assessed: the religious origins of conscience, and the need to explain its normative authority. I argue that Graeco-Roman conceptions of conscience cast doubt on this first historical claim, and that secular moral realisms can account for the obligatoriness of conscience. Nevertheless, the recognition of the need for an objective (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  29
    The Propositional Logic of Principia Mathematica and Some of Its Forerunners.Daniel J. O'Leary - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1).
  25.  29
    Where Did Hegel Go Wrong on Race?Michael O. Hardimon - 2024 - Hegel Bulletin 45 (1):23-42.
    Where exactly did Hegel go wrong on race? Moellendorf helpfully tells us that Hegel's treatment of race begins systematically in the Philosophy of Subjective Spirit and that he went wrong philosophically in the use of the biological category of race. This is basically correct but requires precisification. This article considers why Hegel's category of race is not unambiguously biological. Race's biological status can be problematized from the standpoint of contemporary biology and from the standpoint of Hegel's system. The textual placement (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Some limits of informed consent.O. O'Neill - 2003 - Journal of Medical Ethics 29 (1):4-7.
    Many accounts of informed consent in medical ethics claim that it is valuable because it supports individual autonomy. Unfortunately there are many distinct conceptions of individual autonomy, and their ethical importance varies. A better reason for taking informed consent seriously is that it provides assurance that patients and others are neither deceived nor coerced. Present debates about the relative importance of generic and specific consent do not address this issue squarely. Consent is a propositional attitude, so intransitive: complete, wholly specific (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   106 citations  
  27. A Defence of the Coherence Theory of Truth.James O. Young - 2001 - Journal of Philosophical Research 26 (1):89--101.
    Recent critics of the coherence theory of truth (notably Ralph Walker) have alleged that the theory is incoherent, since its defence presupposes the correctness of the contrary correspondence theory of truth. Coherentists must specify the system of propositions with which true propositons cohere (the specified system). Generally, coherentists claim that the specified system is a system composed of propositions believed by a community. Critics of coherentism maintain that the coherentist’s assertions about which system is the specified system must (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  28.  28
    On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
    In this paper we describe, in a purely algebraic language, truth-complete finite-valued propositional logical calculi extending the classical Boolean calculus. We also give a new proof of the Completeness Theorem for such calculi. We investigate the quasi-varieties of algebras playing an analogous role in the theory of these finite-valued logics to the role played by the variety of Boolean algebras in classical logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  12
    Conhecimento e análise em “Propositional knowledge” de Ernst Sosa.João Carlos Salles - 2017 - Discurso 47 (2):25-40.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  51
    Mental models in propositional reasoning and working memory's central executive.José O. Vila, José M. Luzón, Nuria Carriedo, Francisco Gutiérrez & Juan A. García-Madruga - 2007 - Thinking and Reasoning 13 (4):370-393.
  31.  55
    A Defence of the Coherence Theory of Truth.James O. Young - 2001 - Journal of Philosophical Research 26:89-101.
    Recent critics of the coherence theory of truth (notably Ralph Walker) have alleged that the theory is incoherent, since its defence presupposes the correctness of the contrary correspondence theory of truth. Coherentists must specify the system of propositions with which true propositons cohere (the specified system). Generally, coherentists claim that the specified system is a system composed of propositions believed by a community. Critics of coherentism maintain that the coherentist’s assertions about which system is the specified system must (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  32.  43
    Leon Goldstein and the epistemology of historical knowing.Luke O'sullivan - 2006 - History and Theory 45 (2):204–228.
    Leon Goldstein’s critical philosophy of history has suffered a relative lack of attention, but it is the outcome of an unusual story. He reached conclusions about the autonomy of the discipline of history similar to those of R. G. Collingwood and Michael Oakeshott, but he did so from within the Anglo-American analytic style of philosophy that had little tradition of discussing such matters. Initially, Goldstein attempted to apply a positivistic epistemology derived from Hempel’s philosophy of natural science to historical knowledge, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  13
    Leon Goldstein and the epistemology of historical knowing.Luke O'sullivan - 2006 - History and Theory 45 (2):204-228.
    ABSTRACTLeon Goldstein's critical philosophy of history has suffered a relative lack of attention, but it is the outcome of an unusual story. He reached conclusions about the autonomy of the discipline of history similar to those of R. G. Collingwood and Michael Oakeshott, but he did so from within the Anglo‐American analytic style of philosophy that had little tradition of discussing such matters. Initially, Goldstein attempted to apply a positivistic epistemology derived from Hempel's philosophy of natural science to historical knowledge, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  56
    Productivity and propositional construal as the meshing of embodied representations.Karen O. Solomon & Lawrence W. Barsalou - 1997 - Behavioral and Brain Sciences 20 (1):38-39.
    Contrary to prevailing views, productivity and propositional construal are not problematic for perceptual views of representation. Glenberg's embodied representations contribute to our understanding of how these two important processes might be implemented perceptually.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  5
    ‘I bu Delaila ji aguba’: Revisiting the perception of sociopaths in an African community.Paulinus O. Agbo - 2023 - HTS Theological Studies 79 (1):9.
    Reports of increasing family violence abound in Nigeria. Although studies have implicated cultural constructs as the basis for this trend, this study specifically contemplated the nexus between the increased violence and Anti-Social Personality Disorder (ASPD). The purpose of this study was to connect these abusive and violent behaviours in their specific contexts as evidence of ASPD. The study was hinged on autoethnographic research which I systematically analysed as lived experiences with a sociopath. Data for the analyses was drawn from purposively (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  6
    ‘I bu Delaila ji aguba’: Revisiting the perception of sociopaths in an African community.Paulinus O. Agbo - 2023 - HTS Theological Studies 78 (1):9.
    Reports of increasing family violence abound in Nigeria. Although studies have implicated cultural constructs as the basis for this trend, this study specifically contemplated the nexus between the increased violence and Anti-Social Personality Disorder (ASPD). The purpose of this study was to connect these abusive and violent behaviours in their specific contexts as evidence of ASPD. The study was hinged on autoethnographic research which I systematically analysed as lived experiences with a sociopath. Data for the analyses was drawn from purposively (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  14
    Reason and Certainty.O. R. Jones - 1970 - Philosophy 45 (171):55 - 58.
    In his book, Theory of Knowledge , Roderick Chisholm distinguishes very precisely between, amongst others, what he calls acceptable, reasonable and evident propositions. A proposition is acceptable if with-holding it is not more reasonable than believing it; a proposition is reasonable if believing it is more reasonable than with-holding it; and a proposition is evident for a person provided it is reasonable for him, and there is no other proposition such that the latter is more reasonable than the former. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  9
    Heinrich Gomperz and “Vienna Contextualism”.Luke O’Sullivan - 2022 - Contributions to the History of Concepts 17 (2):70-94.
    Austrian philosopher Heinrich Gomperz attempted to reconcile the Vienna Circle’s project of a unified science with the autonomy of historical knowledge. This article situates him in the context of the ongoing reassessment of the Vienna Circle in the history of philosophy. It argues that Gomperz’s synthesis of positivism with historicity was a response to difficulties raised by Rudolf Carnap and Otto von Neurath. Gomperz achieved his reconciliation via a theory of language and action that had affinities with both neo-Kantian and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  13
    'Une forme d'escrire douteuse et irresolue': Seneca and Plutarch in Montaigne's Essais.Luke O'sullivan - unknown
    What are the relationships between doubt and truth, thinking and writing in Montaigne’s Essais? We usually see Montaigne’s doubt through the lens of ancient schools of Scepticism and yet he notes that the Pyrrhonians ‘ne peuvent exprimer leur generale conception en aucune maniere de parler’: these philosophers describe their doubtful thought in negative affirmations but these are affirmations – ‘propositions affirmatives’ – all the same. This thesis approaches Montaigne’s doubt differently: I investigate the Essais not as an attempt to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  3
    The role of social technologies in formation of innovative potential of human capital.O. A. Belenkova - 2017 - Liberal Arts in Russia 6 (3):271-284.
    In the article, the problem of formation of innovation potential of human capital as a fundamental condition for development of innovative-oriented economy in the present-day Russia is considered. It is shown that the conception of human capital as an economic factor of social production, which is ingrained in contemporary social science, does not take into account the dynamics and strategy of human capital development that are conditioned by its socio-anthropological basis and are the condition for the formation of its innovative (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  28
    Propositions and Empirical Evidence.Michael P. O’Neil - 1985 - Philosophical Topics 13 (2):213-222.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  4
    Propositions and Empirical Evidence.Michael P. O’Neil - 1985 - Philosophical Topics 13 (2):213-222.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  13
    Analytic and Synthetic Propositions and Mathematical Logic.N. O. Lossky - 1954 - Journal of Symbolic Logic 19 (4):291-291.
  44.  53
    Intentionality Lite or Analog Content?: A Response to Hutto and Satne.Gerard O’Brien & Jon Opie - 2015 - Philosophia 43 (3):723-729.
    In their target article, Hutto and Satne eloquently articulate the failings of most current attempts to naturalize mental content. Furthermore, we think they are correct in their insistence that the only way forward is by drawing a distinction between two kinds of intentionality, one of which is considerably weaker than—and should be deployed to explain—the propositional variety most philosophers take for granted. The problem is that their own rendering of this weaker form of intentionality—contentless intentionality—is too weak. What’s needed is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  45.  33
    Aquinas on Modal Propositions.Paul O’Grady - 1997 - International Philosophical Quarterly 37 (1):13-27.
  46.  88
    Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
    We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  47.  68
    The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
    We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic linear logic. The naturality of BI can be seen categorically: models of propositional BI's proofs are given by bicartesian doubly closed categories, i.e., categories which freely combine the semantics of propositional intuitionistic (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  48. The mental logic theory of conditional propositions.David O'Brien & Manfrinati & Andrea - 2010 - In Mike Oaksford & Nick Chater (eds.), Cognition and Conditionals: Probability and Logic in Human Thinking. Oxford University Press.
  49.  26
    The Pornography of Power. [REVIEW]O. H. S. - 1969 - Review of Metaphysics 23 (2):354-354.
    Rubinoff is a moralist standing firmly in the tradition of Paul Goodman, Jules Henry, Edgar Friedenberg, et al., and as such he measures up well. The signal point of difference between Rubinoff and these others is that they speak with a sociological voice, Rubinoff with a philosophical one; but the messages are similar: we are floundering in a world decaying because it is filled with people who are floundering, stupid, and/or evil. As philosopher, Rubinoff draws upon his philosophical resources to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Human reasoning includes a mental logic.David P. O'Brien - 2009 - Behavioral and Brain Sciences 32 (1):96-97.
    Oaksford & Chater (O&C) have rejected logic in favor of probability theory for reasons that are irrelevant to mental-logic theory, because mental-logic theory differs from standard logic in significant ways. Similar to O&C, mental-logic theory rejects the use of the material conditional and deals with the completeness problem by limiting the scope of its procedures to local sets of propositions.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
1 — 50 / 999