Results for 'Proof theory Data processing'

998 found
Order:
  1.  18
    Logic and Computation: Interactive Proof with Cambridge Lcf.Lawrence C. Paulson - 1987 - Cambridge University Press.
    Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Granularity Analysis for Tutoring Mathematical Proofs.Marvin R. G. Schiller - 2011 - Aka Verlag.
  3.  15
    Working Memory and Sentence Comprehension: Whose Burden of Proof?Arthur Wingfield - 1999 - Behavioral and Brain Sciences 22 (1):113-114.
    Caplan & Waters argue that the processing resources used for sentence comprehension are not drawn from an undifferentiated verbal working memory resource. This commentary cites data from normal aging to support this position. Still lacking in theory development is a specification of the transient memory representations necessary for interpretive and post-interpretive operations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  25
    Quantification in Ordinary Language and Proof Theory.Michele Abrusci & Pasquali - 2016 - Philosophia Scientiæ 20:185-205.
    This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  35
    The Structure of Rights in Directive 95/46/EC on the Protection of Individuals with Regard to the Processing of Personal Data and the Free Movement of Such Data[REVIEW]Dag Elgesem - 1999 - Ethics and Information Technology 1 (4):283-293.
    The paper has three parts. First, a survey and analysis is given ofthe structure of individual rights in the recent EU Directive ondata protection. It is argued that at the core of this structure isan unexplicated notion of what the data subject can `reasonablyexpect' concerning the further processing of information about himor herself. In the second part of the paper it is argued thattheories of privacy popular among philosophers are not able to shed much light on the issues (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  35
    P. C. Gilmore. A Program for the Production From Axioms, of Proofs for Theorems Derivable Within the First Order Predicate Calculus. English, with English, French, German, Russian, and Spanish Summaries. Information Processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, Pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information Processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, P. 273. - P. C. Gilmore. A Proof Method for Quantification Theory: Its Justification and Realization. IBM Journal of Research and Development, Vol. 4 , Pp. 28–35. [REVIEW]J. A. Robinson - 1996 - Journal of Symbolic Logic 31 (1):124-125.
  7.  28
    Memory and Cognitive Control in an Integrated Theory of Language Processing.L. Robert Slevc & Jared M. Novick - 2013 - Behavioral and Brain Sciences 36 (4):373-374.
    Pickering & Garrod's (P&G's) integrated model of production and comprehension includes no explicit role for nonlinguistic cognitive processes. Yet, how domain-general cognitive functions contribute to language processing has become clearer with well-specified theories and supporting data. We therefore believe that their account can benefit by incorporating functions like working memory and cognitive control into a unified model of language processing.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  1
    Data That Warms: Waste Heat, Infrastructural Convergence and the Computation Traffic Commodity.Julia Velkova - 2016 - Big Data and Society 3 (2).
    This article explores the ways in which data centre operators are currently reconfiguring the systems of energy and heat supply in European capitals, replacing conventional forms of heating with data-driven heat production, and becoming important energy suppliers. Taking as an empirical object the heat generated from server halls, the article traces the expanding phenomenon of ‘waste heat recycling’ and charts the ways in which data centre operators in Stockholm and Paris direct waste heat through metropolitan district heating (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Computational Aspects of Linear Logic.Patrick Lincoln - 1995 - MIT Press.
  10.  40
    The Logical Syntax of Number Words: Theory, Acquisition and Processing.Julien Musolino - 2009 - Cognition 111 (1):24-45.
    Recent work on the acquisition of number words has emphasized the importance of integrating linguistic and developmental perspectives [Musolino, J. (2004). The semantics and acquisition of number words: Integrating linguistic and developmental perspectives. Cognition93, 1-41; Papafragou, A., Musolino, J. (2003). Scalar implicatures: Scalar implicatures: Experiments at the semantics-pragmatics interface. Cognition, 86, 253-282; Hurewitz, F., Papafragou, A., Gleitman, L., Gelman, R. (2006). Asymmetries in the acquisition of numbers and quantifiers. Language Learning and Development, 2, 76-97; Huang, Y. T., Snedeker, J., Spelke, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Metamathematics, Machines, and Gödel's Proof.N. Shankar - 1994 - Cambridge University Press.
    The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems in mathematics, the advent of electronic computers and sophisticated software means in practice there are many quite effective systems for automated reasoning that can be used for checking mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated (...)
     
    Export citation  
     
    Bookmark   2 citations  
  12.  99
    ACT-R: A Higher-Level Account of Processing Capacity.John R. Anderson, Christian Lebiere, Marsha Lovett & Lynne Reder - 1998 - Behavioral and Brain Sciences 21 (6):831-832.
    We present an account of processing capacity in the ACT-R theory. At the symbolic level, the number of chunks in the current goal provides a measure of relational complexity. At the subsymbolic level, limits on spreading activation, measured by the attentional parameter W, provide a theory of processing capacity, which has been applied to performance, learning, and individual differences data.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  5
    Seismic Field Data Displaying Azimuthal Anisotropy, 1986–2020.Heloise Lynn - 2020 - Interpretation 8 (4):SP135-SP156.
    The azimuthal processing of 3D full-azimuth full-offset P-P reflection seismic data can enable better imaging, thus yielding improved estimates of structure, lithology, porosity, pore fluids, in situ stress, and aligned porosity that flows fluids. In the past 34 years, the oil and gas industry has significantly advanced in the use of seismic azimuthal anisotropy, in particular, to gain information concerning unequal horizontal stresses and/or vertically aligned fractures, and possibly more importantly, to improve the prestack imaging especially in complex (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  12
    Effects of Early Cues on the Processing of Chinese Relative Clauses: Evidence for Experience‐Based Theories.Fuyun Wu, Elsi Kaiser & Shravan Vasishth - 2018 - Cognitive Science 42 (S4):1101-1133.
    We used Chinese prenominal relative clauses to test the predictions of two competing accounts of sentence comprehension difficulty: the experience-based account of Levy () and the Dependency Locality Theory. Given that in Chinese RCs, a classifier and/or a passive marker BEI can be added to the sentence-initial position, we manipulated the presence/absence of classifiers and the presence/absence of BEI, such that BEI sentences were passivized subject-extracted RCs, and no-BEI sentences were standard object-extracted RCs. We conducted two self-paced reading experiments, (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  85
    Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
    This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   81 citations  
  16.  4
    GLIDE: A Game Theory and Data-Driven Mimicking Linkage Intrusion Detection for Edge Computing Networks.Qianmu Li, Jun Hou, Shunmei Meng & Huaqiu Long - 2020 - Complexity 2020:1-18.
    The real-time and high-continuity requirements of the edge computing network gain more and more attention because of its active defence problem, that is, a data-driven complex problem. Due to the dual constraints of the hybrid feature of edge computing networks and the uncertainty of new attack features, implementing active defence measures such as detection, evasion, trap, and control is essential for the security protection of edge computing networks with high real-time and continuity requirements. The basic idea of safe active (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  25
    Emotional Processing and Heart Rate in Incarcerated Male Adolescents with Callous Unemotional Traits: The Role of Anxiety.Bruggemann Jason, Goulter Natalie, Hall Jason, Lenroot Rhoshel & Kimonis Eva - 2014 - Frontiers in Human Neuroscience 8.
    Callous unemotional (CU) traits (i.e., a lack of empathy/remorse and poverty of emotion) that co-occur with childhood antisocial behaviour are believed to be the developmental precursor to psychopathy in adulthood. An increasing volume of evidence supports two distinct variants of CU traits/psychopathy, known as primary and secondary. Primary variants are thought to show core deficits in emotional reactivity (e.g., attenuated autonomic activity), whereas secondary variants present with high levels of anxiety and this may be reflected in increased emotional sensitivity to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Data Analysis Method of Intelligent Analysis Platform for Big Data of Film and Television.Youwen Ma & Yi Wan - 2021 - Complexity 2021:1-10.
    Based on cloud computing and statistics theory, this paper proposes a reasonable analysis method for big data of film and television. The method selects Hadoop open source cloud platform as the basis, combines the MapReduce distributed programming model and HDFS distributed file storage system and other key cloud computing technologies. In order to cope with different data processing needs of film and television industry, association analysis, cluster analysis, factor analysis, and K-mean + association analysis algorithm training (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  63
    Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
    Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  20.  26
    Agrammatic Sentence Processing: Severity, Complexity, and Priming.Herman H. J. Kolk & Robert J. Hartsuiker - 2000 - Behavioral and Brain Sciences 23 (1):39-40.
    Grodzinsky's theory of agrammatic sentence processing fails to account for crucial empirical facts. In contrast to his predictions, the data show that there are (1) degrees of severity and (2) problems with sentences that do not require movement, and that (3) under the right task circumstances, full-fledged syntactic trees are constructed.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  21. Faster Visual Information Processing in Video Gamers Is Associated With EEG Alpha Amplitude Modulation.Yannik Hilla, Jörg von Mankowski, Julia Föcker & Paul Sauseng - 2020 - Frontiers in Psychology 11.
    Video gaming, specifically action video gaming, seems to improve a range of cognitive functions. The basis for these improvements may be attentional control in conjunction with reward-related learning to amplify the execution of goal-relevant actions while suppressing goal-irrelevant actions. Given that EEG alpha power reflects inhibitory processing, a core component of attentional control, it might represent the electrophysiological substrate of cognitive improvement in video gaming. The aim of this study was to test whether non-video gamers, non-action video gamers and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  81
    The Theory of Event Coding (TEC): A Framework for Perception and Action Planning.Bernhard Hommel, Jochen Müsseler, Gisa Aschersleben & Wolfgang Prinz - 2001 - Behavioral and Brain Sciences 24 (5):849-878.
    Traditional approaches to human information processing tend to deal with perception and action planning in isolation, so that an adequate account of the perception-action interface is still missing. On the perceptual side, the dominant cognitive view largely underestimates, and thus fails to account for, the impact of action-related processes on both the processing of perceptual information and on perceptual learning. On the action side, most approaches conceive of action planning as a mere continuation of stimulus processing, thus (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   294 citations  
  23.  29
    Synergistic Information Processing Encrypts Strategic Reasoning in Poker.Seth Frey, Dominic K. Albino & Paul L. Williams - 2018 - Cognitive Science 42 (5):1457-1476.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24. Structural Proof Theory.Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.
  25.  60
    Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
    Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  19
    Basic Proof Theory.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.
  27.  26
    Proof Theory and Logical Complexity.J. Y. Girard - 1991 - Annals of Pure and Applied Logic 53 (4):197.
  28.  35
    Proof Theory of Modal Logic.H. Wansing (ed.) - 1996 - Kluwer Academic Publishers.
    Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  10
    Patient Data and Patient Rights: Swiss Healthcare Stakeholders’ Ethical Awareness Regarding Large Patient Data Sets – a Qualitative Study.Corine Mouton Dorey, Holger Baumann & Nikola Biller-Andorno - 2018 - BMC Medical Ethics 19 (1):20.
    There is a growing interest in aggregating more biomedical and patient data into large health data sets for research and public benefits. However, collecting and processing patient data raises new ethical issues regarding patient’s rights, social justice and trust in public institutions. The aim of this empirical study is to gain an in-depth understanding of the awareness of possible ethical risks and corresponding obligations among those who are involved in projects using patient data, i.e. healthcare (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  28
    Data as Oil, Infrastructure or Asset? Three Metaphors of Data as Economic Value.Jan Michael Nolin - 2019 - Journal of Information, Communication and Ethics in Society.
    Purpose Principled discussions on the economic value of data are frequently pursued through metaphors. This study aims to explore three influential metaphors for talking about the economic value of data: data are the new oil, data as infrastructure and data as an asset. Design/methodology/approach With the help of conceptual metaphor theory, various meanings surrounding the three metaphors are explored. Meanings clarified or hidden through various metaphors are identified. Specific emphasis is placed on the economic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  41
    G The Automation of Sound Reasoning and Successful Proof Findin.Larry Wos & Branden Fitelson - unknown
    The consideration of careful reasoning can be traced to Aristotle and earlier authors. The possibility of rigorous rules for drawing conclusions can certainly be traced to the Middle Ages when types o f syllogism were studied. Shortly after the introduction of computers, the audacious scientist naturally envisioned the automation of sound reasoning—reasoning in which conclusions that are drawn follow l ogically and inevitably from the given hypotheses. Did the idea spring from the intent to emulate s Sherlock Holmes and Mr. (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  16
    Proof Theory of Reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.
    The paper contains proof-theoretic investigation on extensions of Kripke-Platek set theory, KP, which accommodate first-order reflection. Ordinal analyses for such theories are obtained by devising cut elimination procedures for infinitary calculi of ramified set theory with Пn reflection rules. This leads to consistency proofs for the theories KP+Пn reflection using a small amount of arithmetic and the well-foundedness of a certain ordinal system with respect to primitive decending sequences. Regarding future work, we intend to avail ourselves of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  33.  74
    Proof Theory of Finite-Valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  34. Natural Language Processing and Semantic Network Visualization for Philosophers.Mark Alfano & Andrew Higgins - forthcoming - In Eugen Fischer & Mark Curtis (eds.), Methodological Advances in Experimental Philosophy. Bloomsbury.
    Progress in philosophy is difficult to achieve because our methods are evidentially and rhetorically weak. In the last two decades, experimental philosophers have begun to employ the methods of the social sciences to address philosophical questions. However, the adequacy of these methods has been called into question by repeated failures of replication. Experimental philosophers need to incorporate more robust methods to achieve a multi-modal perspective. In this chapter, we describe and showcase cutting-edge methods for data-mining and visualization. Big (...) is a useful investigatory tool for moral psychology, and it fits well with the Ramsification method the first author advances in a series of recent papers. The guiding insight of these papers is that we can infer the meaning and structure of concepts from patterns of assertions and inferential associations in natural language. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  95
    An Integrated Theory of Language Production and Comprehension.Martin J. Pickering & Simon Garrod - 2013 - Behavioral and Brain Sciences 36 (4):329-347.
    Currently, production and comprehension are regarded as quite distinct in accounts of language processing. In rejecting this dichotomy, we instead assert that producing and understanding are interwoven, and that this interweaving is what enables people to predict themselves and each other. We start by noting that production and comprehension are forms of action and action perception. We then consider the evidence for interweaving in action, action perception, and joint action, and explain such evidence in terms of prediction. Specifically, we (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   106 citations  
  36.  40
    General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):1-5.
    This special issue on general proof theory collects papers resulting from the conference on general proof theory held in November 2015 in Tübingen.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  25
    Proof Theory for Admissible Rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.
    Admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In this paper, a Gentzen-style framework is introduced for analytic proof systems that derive admissible rules of non-classical logics. While Gentzen systems for derivability treat sequents as basic objects, for admissibility, the basic objects are sequent rules. Proof systems are defined here for admissible rules of classes of modal logics, including K4, S4, and GL, and also Intuitionistic Logic IPC. (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  38. Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
    The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  39.  11
    Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - 2020 - Studia Logica 108 (4):779-802.
    Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  40.  62
    Algebraic Proof Theory for Substructural Logics: Cut-Elimination and Completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.
  41.  1
    Proof Theory and Intuitionistic Systems.Bruno Scarpellini - 1971 - New York: Springer Verlag.
  42.  25
    Proof Theory and Ordinal Analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.
    In the first part we show why ordinals and ordinal notations are naturally connected with proof theoretical research. We introduce the program of ordinal analysis. The second part gives examples of applications of ordinal analysis.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  43.  35
    Handbook of Proof Theory.Samuel R. Buss (ed.) - 1998 - Elsevier.
    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  44.  22
    Proof Theory for Positive Logic with Weak Negation.Marta Bílková & Almudena Colacito - 2020 - Studia Logica 108 (4):649-686.
    Proof-theoretic methods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  20
    A Critical Examination of the Analysis of Dichotomous Data.William H. Batchelder & Louis Narens - 1977 - Philosophy of Science 44 (1):113-135.
    This paper takes a critical look at theory-free, statistical methodologies for processing and interpreting data taken from respondents answering a set of dichotomous (yes-no) questions. The basic issue concerns to what extent theoretical conclusions based on such analyses are invariant under a class of "informationally equivalent" question transformations. First the notion of Boolean equivalence of two question sets is discussed. Then Lazarsfeld's latent structure analysis is considered in detail. It is discovered that the best fitting latent model (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  12
    Proof Theory for Theories of Ordinals—I: Recursively Mahlo Ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
    This paper deals with a proof theory for a theory T22 of recursively Mahlo ordinals in the form of Π2-reflecting on Π2-reflecting ordinals using a subsystem Od of the system O of ordinal diagrams in Arai 353). This paper is the first published one in which a proof-theoretic analysis à la Gentzen–Takeuti of recursively large ordinals is expounded.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  47.  91
    Proof Theory and Set Theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
    The foundations of mathematics are divided into proof theory and set theory. Proof theory tries to justify the world of infinite mind from the standpoint of finite mind. Set theory tries to know more and more of the world of the infinite mind. The development of two subjects are discussed including a new proof of the accessibility of ordinal diagrams. Finally the world of large cardinals appears when we go slightly beyond girard's categorical (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  48. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Proof Theory and Meaning.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   19 citations  
  50.  13
    Opposition Theory and Computational Semiotics.Dan Assaf, Yochai Cohen, Marcel Danesi & Yair Neuman - 2015 - Sign Systems Studies 43 (2/3):159-172.
    Opposition theory suggests that binary oppositions underlie basic cognitive and linguistic processes. However, opposition theory has never been implemented in a computational cognitive-semiotics model. In this paper, we present a simple model of metaphor identification that relies on opposition theory. An algorithm instantiating the model has been tested on a data set of 100 phrases comprising adjective-noun pairs in which approximately a half represent metaphorical language-use and the rest literal language-use. The algorithm achieved 89% accuracy in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 998