Results for 'Threshold logic'

990 found
Order:
  1.  6
    Threshold Logic.Alonzo Church - 1975 - Journal of Symbolic Logic 40 (2):250-250.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  17
    Threshold logic.Ewa Orŀowska - 1976 - Studia Logica 35 (3):243-247.
  3.  35
    Threshold logic (II).Ewa Orŀowska - 1976 - Studia Logica 35 (3):243 - 247.
  4.  56
    Cutting planes, connectivity, and threshold logic.Samuel R. Buss & Peter Clote - 1996 - Archive for Mathematical Logic 35 (1):33-62.
    Originating from work in operations research the cutting plane refutation systemCP is an extension of resolution, where unsatisfiable propositional logic formulas in conjunctive normal form are recognized by showing the non-existence of boolean solutions to associated families of linear inequalities. Polynomial sizeCP proofs are given for the undirecteds-t connectivity principle. The subsystemsCP q ofCP, forq≥2, are shown to be polynomially equivalent toCP, thus answering problem 19 from the list of open problems of [8]. We present a normal form theorem (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  19
    Rules, similarity, and threshold logic.Włodzisław Duch - 2005 - Behavioral and Brain Sciences 28 (1):23-23.
    Rules and similarity are two sides of the same phenomenon, but the number of features has nothing to do with transition from similarity to rules; threshold logic helps to understand why.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  64
    Rules, similarity, and threshold logic.Wlodzislaw Duch - 2005 - Behavioral and Brain Sciences 28 (1):23-23.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  7.  18
    Hu Sze-Tsen. Threshold logic. University of California Press, Berkeley and Los Angeles 1965, xiv + 338 pp. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (2):250-250.
  8.  8
    Review: Sze-Tsen Hu, Threshold Logic[REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (2):250-250.
  9.  34
    On an Axiomatic System of the Infinitely Many-Valued Threshold Logics.Akira Nakamura - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (1):71-76.
  10.  1
    On the Infinitely Many-Valued Threshold Logics and von Wright's System M″.Akira Nakamura - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (2):147-164.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  34
    On the Infinitely Many-Valued Double-Threshold Logic.Akira Nakamura - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):93-101.
  12.  27
    The problem of network synthesis in threshold logic.H. Jóźwik - 1968 - Studia Logica 23 (1):142-142.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  14
    On an Axiomatic System of the Infinitely Many‐Valued Threshold Logics.Akira Nakamura - 1962 - Mathematical Logic Quarterly 8 (1):71-76.
  14.  13
    On the Infinitely Many‐Valued Threshold Logics and von Wright's System M″.Akira Nakamura - 1962 - Mathematical Logic Quarterly 8 (2):147-164.
  15.  13
    On the Infinitely Many‐Valued Double‐Threshold Logic.Akira Nakamura - 1965 - Mathematical Logic Quarterly 11 (2):93-101.
  16.  15
    On the Infinitely Many-Valued Double-Threshold Logic.Arto Salomaa & Akira Nakamura - 1966 - Journal of Symbolic Logic 31 (4):665.
  17.  14
    Dynamic Logics for Threshold Models and their Epistemic Extension.Zoé Christoff & Rasmus Kraemmer Rendsvig - unknown
    We take a logical approach to threshold models, used to study the diffusion of e.g. new technologies or behaviors in social net-works. In short, threshold models consist of a network graph of agents connected by a social relationship and a threshold to adopt a possibly cascading behavior. Agents adopt new behavior when the proportion of their neighbors who have already adopted it meets the threshold. Under this adoption policy, threshold models develop dynamically with a guaranteed (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  18
    Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.
  19.  16
    Nakamura Akira. On the infinitely many-valued double-threshold logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 93–101. Nakamura Akira. On a certain system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 203–207. [REVIEW]Arto Salomaa - 1966 - Journal of Symbolic Logic 31 (4):665-665.
  20.  10
    Extending the description logic EL with threshold concepts induced by concept measures.Franz Baader & Oliver Fernández Gil - 2024 - Artificial Intelligence 326 (C):104034.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Desire at the threshold : "vulvar logic" and intimacy between two.Cheryl Lynch Lawler - 2016 - In Mary C. Rawlinson (ed.), Engaging the World: Thinking after Irigaray. Albany: State University of New York Press.
    No categories
     
    Export citation  
     
    Bookmark  
  22.  90
    The threshold model of scientific change and the continuity of scientific knowledge.Martti Kuokkanen & Timo Tuomivaara - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (2):327 - 335.
    The continuity thesis of the Poznań school threshold model of the growth of scientific knowledge is considered in the light of the example of Van der Waals' and Boyle-Mariotte's laws. It is argued - using both traditional logical means and the structuralist reconstruction of the example - that the continuity thesis does not hold. A distinction between 'a historical and a systematic point of view' is introduced and it is argued that the continuity thesis of the threshold model (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  18
    Threshold-Based Belief Change.Eric Raidl & Hans Rott - 2023 - Australasian Journal of Logic 20 (3):429-477.
    In this paper we study changes of beliefs in a ranking-theoretic setting using non-extremal implausibility thresholds for belief. We represent implausibilities as ranks and introduce natural rank changes subject to a minimal change criterion. We show that many of the traditional AGM postulates for revision and contraction are preserved, except for the postulate of Preservation which is invalid. The diagnosis for belief contraction is similar, but not exactly the same. We demonstrate that the one-shot versions of both revision and contraction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  25
    Dynamic Epistemic Logic of Diffusion and Prediction in Threshold Models.Alexandru Baltag, Zoé Christoff, Rasmus Kraemmer Rendsvig & Sonja Smets - unknown
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  11
    Paleoclimate analogues and the threshold problem.Joseph Wilson - 2023 - Synthese 202 (1):1-30.
    Climate models calibrated exclusively with observations from the 19th through 21st centuries are unsuitable for assessing many important hypotheses about the future. Many systems in the modern climate are expected to cross dynamic thresholds in the near future, requiring more than the instrumental record for adequate calibration. In this paper I argue that paleoclimate analogues from earth’s past can mitigate this threshold problem, even if the modern climate exhibits features that make it historically unique. While this requires that paleoclimatologists (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  4
    Aggregating Credences into Beliefs: Threshold-Based Approaches.Minkyung Wang - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 269-283.
    Binarizing belief aggregation tackles the problem of aggregating individuals’ probabilistic beliefs on logically connected propositions into the group’s binary beliefs. One common approach to associating probabilistic beliefs with binary beliefs would be applying thresholds to probabilities. This paper aims to introduce and classify a range of threshold-based binarizing belief aggregation rules while characterizing them based on different forms of monotonicity and other properties.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  16
    Modelling threshold phenomena in OWL: Metabolite concentrations as evidence for disorders.J. Hastings, L. Jansen, C. Steinbeck & S. Schulz - 2011 - In Michel Dumontier & Melanie Courtot (eds.), Proceedings of the 8th International Workshop on OWL: Experiences and Directions.
    While genomic and proteomic information describe the overall cellular machinery available to an organism, the metabolic profile of an individual at a given time provides a canvas as to the current physiological state. Concentration levels of relevant metabolites vary under different conditions, in particular, in the presence or absence of different disorders. Metabolite concentrations thus mediate an important link between chemistry and biology, contributing to a systems-wide understanding of biological processes and pathways. However, there are a number of challenges in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  17
    Knowledge-Action Principles and Threshold-Impurism.Ru Ye - forthcoming - Erkenntnis:1-18.
    Impurism says that practical factors encroach on knowledge. An important version of impurism is called ‘Threshold-Impurism,’ which says that practical factors encroach on the threshold that rational credence must pass in order for one to have knowledge. A prominent kind of argument for Threshold-Impurism is the so-called ‘principle-based argument,’ which relies on a principle of fallibilism and a knowledge-action principle. This paper offers a new challenge against Threshold-Impurism. I attempt to show that the two principles (...)-Impurists are committed to—KJ and Fallibilism—are jointly in tension with a widely-held principle of credence that’s called ‘Truth-Directedness,’ in the sense that the former two principles cannot both apply to those who know the third. This tension constitutes a serious challenge to Threshold-Impurists, because it leaves them two options, both of which are undesirable: denying Truth-Directedness, or accepting Truth-Directedness and accepting that whether KJ and Fallibilism apply to a person depends on whether she knows Truth-Directedness. (shrink)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  27
    Pragmatic Logic.Kazimierz Ajdukiewicz - 1974 - Dordrecht and Boston: Reidel.
    When asked in 1962 on what he was working Kazimierz Ajdukiewicz replied: Several years ago Polish Scientific Publishers suggested that I pre pare a new edition of The Logical Foundations of Teaching, which I wrote 1 before 1939 as a contribution to The Encyclopaedia of Education. It was a small booklet covering elementary information about logical semantics and scientific methodology, information which in my opinion was necessary as a foundation of teaching and as an element of the education of any (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  30. Logically-consistent hypothesis testing and the hexagon of oppositions.Julio Michael Stern, Rafael Izbicki, Luis Gustavo Esteves & Rafael Bassi Stern - 2017 - Logic Journal of the IGPL 25 (5):741-757.
    Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. To address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This article characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  31.  59
    Pragmatic Encroachment and the Threshold Problem.Simon Langford - 2021 - Erkenntnis 88 (1):173-188.
    The threshold problem for knowledge is the problem of saying where the threshold for knowledge lies in various cases and explaining why it lies there rather than elsewhere. Pragmatic encroachment is the idea that the knowledge-threshold is sensitive to practical factors. The latter idea seems to help us make progress on the former problem. However, Jessica Brown has argued that appearances are deceiving in this case: the threshold problem is still a thorny one even for those (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Unprovability threshold for the planar graph minor theorem.Andrey Bovykin - 2010 - Annals of Pure and Applied Logic 162 (3):175-181.
    This note is part of the implementation of a programme in foundations of mathematics to find exact threshold versions of all mathematical unprovability results known so far, a programme initiated by Weiermann. Here we find the exact versions of unprovability of the finite graph minor theorem with growth rate condition restricted to planar graphs, connected planar graphs and graphs embeddable into a given surface, assuming an unproved conjecture : ‘there is a number a>0 such that for all k≥3, and (...))
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. 'De affectibus'. Leibniz at the threshold of'Monadology', his preparatory works on the logical configuration of the possible worlds.H. Schepers - 2003 - Studia Leibnitiana 35 (2):133-161.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  34.  23
    Between division and continuity: Thresholds, boundaries and perspectives as territories of ambiguity.Pier Luigi Capucci - 2015 - Technoetic Arts 13 (3):359-367.
    The Renaissance perspective represents the three-dimensional space onto a bi-dimensional one. This cultural construction, which unifies real and virtual, like all simulations, has some limitations – the main one is that it only works from a precise viewpoint that rules the illusion. When moving away from this position the illusion becomes imperfect. Similar to physics, where reality depends on the observer’s position, perspective depends on the viewer’s position. Since perspective has been inherited by photography, cinema, video, computer images, virtual reality, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  69
    Concept Combination in Weighted Logic.Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello - 2021 - In Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello (eds.), Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems {(FOIS} 2021), and the 12th Internati.
    We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  20
    Phase transition thresholds for some Friedman-style independence results.Andreas Weiermann - 2007 - Mathematical Logic Quarterly 53 (1):4-18.
    We classify the phase transition thresholds from provability to unprovability for certain Friedman-style miniaturizations of Kruskal's Theorem and Higman's Lemma. In addition we prove a new and unexpected phase transition result for ε0. Motivated by renormalization and universality issues from statistical physics we finally state a universality hypothesis.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  37. The logic of legitimacy: Bootstrapping paradoxes of constitutional democracy.Christopher Zurn - 2010 - Legal Theory 16 (3):191-227.
    Many have claimed that legitimate constitutional democracy is either conceptually or practically impossible, given infinite regress paradoxes deriving from the requirement of simultaneously democratic and constitutional origins for legitimate government. This paper first critically investigates prominent conceptual and practical bootstrapping objections advanced by Barnett and Michelman. It then argues that the real conceptual root of such bootstrapping objections is not any specific substantive account of legitimacy makers, such as consent or democratic endorsement, but a particular conception of the logic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  40
    Making decisions with evidential probability and objective Bayesian calibration inductive logics.Mantas Radzvilas, William Peden & Francesco De Pretis - forthcoming - International Journal of Approximate Reasoning:1-37.
    Calibration inductive logics are based on accepting estimates of relative frequencies, which are used to generate imprecise probabilities. In turn, these imprecise probabilities are intended to guide beliefs and decisions — a process called “calibration”. Two prominent examples are Henry E. Kyburg's system of Evidential Probability and Jon Williamson's version of Objective Bayesianism. There are many unexplored questions about these logics. How well do they perform in the short-run? Under what circumstances do they do better or worse? What is their (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  13
    The Ethical Threshold.David Gandolfo - 2008 - Philosophy in the Contemporary World 15 (1):22-31.
    For the economic and political processes being brought about in the name of the current wave of globalization to be ethical, they must avoid recapitulating the processes of the previous wave of globalization: colonialism. The paper discusses the logic of colonialism and a minimum requirement that the current globalization would have to fulfill in order to finally and definitively overcome the colonial structures inherited from the previous globalization: it must be democratic. It is argued that supranational democratic structures are, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  14
    Natural Rights on the Threshold of the Scottish Enlightenment the Writings of Gershom Carmichael.Gershom Carmichael - 2002 - Liberty Fund.
    An important figure in the natural law tradition and in the Scottish Enlightenment, Gershom Carmichael defended a strong theory of rights and drew attention to Grotius, Pufendorf, and Locke. Gershom Carmichael was a teacher and writer who played an important role in the Scottish Enlightenment of the eighteenth century. His philosophy focused on the natural rights of individuals--the natural right to defend oneself, to own the property on which one has labored, and to services contracted for with others. Carmichael argued (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  17
    Degrees of Moral Status: The Problem of Relevance and the Need for a Threshold.David Wendler - forthcoming - Erkenntnis:1-18.
    To provide a theoretical basis for the common view that moral status comes in degrees, many philosophers endorse ‘two-factor’ accounts of the foundations of moral status. These accounts postulate one or more properties which endow individuals with moral status, and one or more other properties which increase the moral status of those who possess them. Critical assessment of two-factor accounts has focused on their implications, especially for humans who lack the properties thought to increase individuals’ moral status. Unfortunately, this approach (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  30
    Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks.Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig & Sonja Smets - 2019 - Studia Logica 107 (3):489-531.
    We take a logical approach to threshold models, used to study the diffusion of opinions, new technologies, infections, or behaviors in social networks. Threshold models consist of a network graph of agents connected by a social relationship and a threshold value which regulates the diffusion process. Agents adopt a new behavior/product/opinion when the proportion of their neighbors who have already adopted it meets the threshold. Under this diffusion policy, threshold models develop dynamically towards a guaranteed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43.  87
    Nonmonotonic Conditionals that Behave Like Conditional Probabilities Above a Threshold.James Hawthorne - 2007 - Journal of Applied Logic 5 (4):625-637.
    I’ll describe a range of systems for nonmonotonic conditionals that behave like conditional probabilities above a threshold. The rules that govern each system are probabilistically sound in that each rule holds when the conditionals are interpreted as conditional probabilities above a threshold level specific to that system. The well-known preferential and rational consequence relations turn out to be special cases in which the threshold level is 1. I’ll describe systems that employ weaker rules appropriate to thresholds lower (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  44. Logical dynamics of belief change in the community.Fenrong Liu, Jeremy Seligman & Patrick Girard - 2014 - Synthese 191 (11):2403-2431.
    In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  45.  9
    Locating the Boundaries of the Nuclear North: Arctic Biology, Contaminated Caribou, and the Problem of the Threshold.Jonathan Luedee - 2021 - Journal of the History of Biology 54 (1):67-93.
    This essay is a historical–geographical account of how scientists and public health officials conceptualized and assessed northern radioactive exposures in the late 1950s and 1960s. The detection of radionuclides in caribou bodies in northern Canada both demonstrated the global reach of nuclear fallout and revealed the unevenness of toxic relations and radioactive exposures. Following the documentation of the lichen–caribou–human pathway of exposure, Canadian public health officials became increasingly concerned about the possibility of heightened radioactive exposures among Indigenous northerners. Between 1963 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  27
    Classifying the phase transition threshold for Ackermannian functions.Eran Omri & Andreas Weiermann - 2009 - Annals of Pure and Applied Logic 158 (3):156-162.
    It is well known that the Ackermann function can be defined via diagonalization from an iteration hierarchy which is built on a start function like the successor function. In this paper we study for a given start function g iteration hierarchies with a sub-linear modulus h of iteration. In terms of g and h we classify the phase transition for the resulting diagonal function from being primitive recursive to being Ackermannian.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  8
    Struve and Biegański: Towards Modern Approach to Logic.Roman Murawski - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 285-297.
    The paper is devoted to two Polish philosophers and logicians Henryk Struve and Władysław Biegański. They represented the traditional pre-mathematical approach to logic and stood on the threshold of the new paradigm of logic as formal mathematical logic. Their views concerning logic and its philosophy as well as its relations to philosophy and mathematics will be analyzed. Those views will be compared with views of their contemporaries and with views of Jan Łukasiewicz—one of the main (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  41
    Equivalence in logic-based argumentation.Leila Amgoud, Philippe Besnard & Srdjan Vesic - 2014 - Journal of Applied Non-Classical Logics 24 (3):181-208.
    This paper investigates when two abstract logic-based argumentation systems are equivalent. It defines various equivalence criteria, investigates the links between them, and identifies cases where two systems are equivalent with respect to each of the proposed criteria. In particular, it shows that under some reasonable conditions on the logic underlying an argumentation system, the latter has an equivalent finite subsystem, called core. This core constitutes a threshold under which arguments of the system have not yet attained their (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  51
    Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas.Jarmo Kontinen - 2013 - Studia Logica 101 (2):267-291.
    We study the computational complexity of the model checking problem for quantifier-free dependence logic ${(\mathcal{D})}$ formulas. We characterize three thresholds in the complexity: logarithmic space (LOGSPACE), non-deterministic logarithmic space (NL) and non-deterministic polynomial time (NP).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  12
    Transparency and the logic of auto-immunity.Emanuele Antonelli - 2011 - Lebenswelt: Aesthetics and Philosophy of Experience 1:127-139.
    In Voyous, Jacques Derrida develops his argument starting from the presupposition that democracy as such is the entity whose integrity and immunity are at stake and, therefore, under investigation. This gesture reflects the setting in which ten years before, in Foi et savoir, he had cast his reasoning about the logic of immunity. There, it was one of the sources of religion, the immunity of the sacred, that operated according to this logic. The hyphen between these two essays, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 990