Results for 'Fernando Mendon��a'

1000+ found
Order:
  1.  15
    The Theater of Fernando Arrabal: A Garden of Earthly Delights.Judith G. Miller & Thomas J. Donahue - 1980 - Substance 9 (3):92.
  2.  20
    Sensorimotor Strategies for Recognizing Geometrical Shapes: A Comparative Study with Different Sensory Substitution Devices.Fernando Bermejo, Ezequiel A. Di Paolo, Mercedes X. HüG. & Claudia Arias - 2015 - Frontiers in Psychology 6.
  3.  94
    Whose Impartiality? An Experimental Study of Veiled Stakeholders, Involved Spectators and Detached Observers: Fernando Aguiar Et Al.Fernando Aguiar, Alice Becker & Luis Miller - 2013 - Economics and Philosophy 29 (2):155-174.
    We present an experiment designed to investigate three different mechanisms to achieve impartiality in distributive justice. We consider a first-person procedure, inspired by the Rawlsian veil of ignorance, and two third-party procedures, an involved spectator and a detached observer. First-person veiled stakeholders and involved spectators are affected by an initially unfair distribution that, in the stakeholders’ case, is to be redressed. We find substantial differences in the redressing task. Detached observers propose significantly fairer redistributions than veiled stakeholders or involved spectators. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4. A Philosophy of International Law.Fernando R. Tesón - 1998 - Westview Press.
    Why should sovereign states obey international law? What compels them to owe allegiance to a higher set of rules when each country is its own law of the land? What is the basis of their obligations to each other? Conventional wisdom suggests that countries are too different from one another culturally to follow laws out of mere loyalty to each other or a set of shared moral values. Surely, the prevailing view holds, countries act simply out of self-interest, and they (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  5.  81
    Understanding Computers and Cognition: A New Foundation for Design.Terry Winograd & Fernando Flores - 1987 - Addison-Wesley.
    Understanding Computers and Cognition presents an important and controversial new approach to understanding what computers do and how their functioning is related to human language, thought, and action. While it is a book about computers, Understanding Computers and Cognition goes beyond the specific issues of what computers can or can't do. It is a broad-ranging discussion exploring the background of understanding in which the discourse about computers and technology takes place. Understanding Computers and Cognition is written for a wide audience, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   143 citations  
  6. A Semantic Approach for Knowledge Capture of microRNA-Target Gene Interactions.Jingshan Huang, Fernando Gutierrez, Dejing Dou, Judith A. Blake, Karen Eilbeck, Darren A. Natale, Barry Smith, Yu Lin, Xiaowei Wang & Zixing Liu - 2015 - In IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM 2015),. pp. 975-982.
    Research has indicated that microRNAs (miRNAs), a special class of non-coding RNAs (ncRNAs), can perform important roles in different biological and pathological processes. miRNAs’ functions are realized by regulating their respective target genes (targets). It is thus critical to identify and analyze miRNA-target interactions for a better understanding and delineation of miRNAs’ functions. However, conventional knowledge discovery and acquisition methods have many limitations. Fortunately, semantic technologies that are based on domain ontologies can render great assistance in this regard. In our (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  38
    A Cost Simulation for Mammography Examinations Taking Into Account Equipment Failures and Resource Utilization Characteristics.Fernando C. Coelli, Renan M. V. R. Almeida & Wagner C. A. Pereira - 2010 - Journal of Evaluation in Clinical Practice 16 (6):1198-1202.
  8. A Capacitarian Account of Culpable Ignorance.Fernando Rudy-Hiller - 2017 - Pacific Philosophical Quarterly 98 (S1):398-426.
    Ignorance usually excuses from responsibility, unless the person is culpable for the ignorance itself. Since a lot of wrongdoing occurs in ignorance, the question of what makes ignorance culpable is central for a theory of moral responsibility. In this article I examine a prominent answer, which I call the ‘volitionalist tracing account,’ and criticize it on the grounds that it relies on an overly restrictive conception of responsibility‐relevant control. I then propose an alternative, which I call the ‘capacitarian conception of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  34
    The Liberal Constitution and Foreign Affairs: Fernando R. Tesón.Fernando R. Tesón - 2011 - Social Philosophy and Policy 28 (1):115-149.
    Scholars have debated the meaning of the foreign-relations clauses in the U.S. Constitution. This essay attempts to outline the foreign-relations clauses that an ideal constitution should have. A liberal constitution must enable the government to implement a morally defensible foreign policy. The first priority is the defense of liberty. The constitution must allow the government to effectively defend persons, territory, and liberal institutions themselves. The liberal government should also contribute to the advancement of global freedom, subject to a number of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  10.  38
    Naivety as a form of social classification in art: a sociological analysis.Fernando A. Valenzuela - 2013 - Cinta de Moebio 48:136-146.
    The notion of naivety is a form of classification and explanation of the social world. By applying Erving Goffman’s expression games model, it is observed that the notion of naivety corresponds to a situation in which an observer assumes that the observed subject does not accommodate his behavior to the presence of the observer, in the assumption that the latter might take advantage from what he learns from it. This article explores this model’s explanatory power in reference to the diverse (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  9
    Are the Fathers Alright? A Systematic and Critical Review of Studies on Gay and Bisexual Fatherhood.Francis A. Carneiro, Fiona Tasker, Fernando Salinas-Quiroz, Isabel Leal & Pedro A. Costa - 2017 - Frontiers in Psychology 8.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  4
    Rediscovering Richard Held: Activity and Passivity in Perceptual Learning.Fernando Bermejo, Mercedes X. Hüg & Ezequiel A. Di Paolo - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  48
    Abduction in Economics: A Conceptual Framework and its Model.Fernando Tohmé & Ricardo Crespo - 2013 - Synthese 190 (18):4215-4237.
    We discuss in this paper the scope of abduction in Economics. The literature on this type of inference shows that it can be interpreted in different ways, according to the role and nature of its outcome. We present a formal model that allows to capture these various meanings in different economic contexts.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  4
    Anotações sobre a vida cultural na época do Antigo Regime.Fernando A. Novais - 1979 - Discurso 10:61-70.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. " Debate en torno a la posmodernidad", de Modesto Berciano Villalibre.Fernando A. Bahr - 1999 - Teorema: International Journal of Philosophy 18 (2):123-125.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  97
    OmniSearch: A Semantic Search System Based on the Ontology for MIcroRNA Target Gene Interaction Data.Huang Jingshan, Gutierrez Fernando, J. Strachan Harrison, Dou Dejing, Huang Weili, A. Blake Judith, Barry Smith, Eilbeck Karen, A. Natale Darren & Lin Yu - 2016 - Journal of Biomedical Semantics 7 (1):1.
    In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  7
    Introducción a la ética experimental.Fernando Aguiar, Antonio Gaitán & Hugo Viciana - 2020 - Editorial Cátedra.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  18. Understanding Computers and Cognition: A New Foundation for Design.Terry Winograd & Fernando Flores - 1989 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 20 (1):156-161.
  19. A Finite-State Approach to Event Semantics.Tim Fernando - unknown
    Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite automata then amount to movie cameras/projectors, or more formally, to finite Kripke structures with par- tial valuations. The usual regular constructs (concatena- tion, choice, etc) are supplemented with superposition of strings/automata/languages, realized model-theoretically as conjunction.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  20. A Feasible Theory for Analysis.Fernando Ferreira - 1994 - Journal of Symbolic Logic 59 (3):1001-1011.
    We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  21.  86
    A Robust Enough Virtue Epistemology.Fernando Broncano-Berrocal - 2017 - Synthese 194 (6).
    What is the nature of knowledge? A popular answer to that long-standing question comes from robust virtue epistemology, whose key idea is that knowing is just a matter of succeeding cognitively—i.e., coming to believe a proposition truly—due to an exercise of cognitive ability. Versions of robust virtue epistemology further developing and systematizing this idea offer different accounts of the relation that must hold between an agent’s cognitive success and the exercise of her cognitive abilities as well as of the very (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  22.  3
    Medical Ethics: Knowledge, Attitude and Practice Among Doctors in Three Teaching Hospitals in Sri Lanka.A. W. I. P. Ranasinghe, Buddhika Fernando, Athula Sumathipala & Wasantha Gunathunga - 2020 - BMC Medical Ethics 21 (1):1-10.
    Background Medical ethics deals with the ethical obligations of doctors to their patients, colleagues and society. The annual reports of Sri Lanka Medical Council indicate that the number of complaints against doctors has increased over the years. We aimed to assess the level of knowledge, attitude and practice regarding medical ethics among doctors in three teaching hospitals in Sri Lanka. Methods A hospital-based cross-sectional study was conducted among doctors using a pre-tested self-administered, anonymous questionnaire. Chi Squared test, and ANOVA test (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23. The Big Concepts Paper: A Defence of Hybridism.Agustín Vicente & Fernando Martínez Manrique - 2016 - British Journal for the Philosophy of Science 67 (1):59-88.
    The renewed interest in concepts and their role in psychological theorizing is partially motivated by Machery’s claim that concepts are so heterogeneous that they have no explanatory role. Against this, pluralism argues that there is multiplicity of different concepts for any given category, while hybridism argues that a concept is constituted by a rich common representation. This article aims to advance the understanding of the hybrid view of concepts. First, we examine the main arguments against hybrid concepts and conclude that, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  24.  62
    Global Justice and Trade: A Puzzling Omission.Fernando R. Teson & Jonathan Klick - manuscript
    Economists generally agree that free trade leads to economic growth. This proposition is supported both by theoretical models and empirical data. Further, while the empirical evidence is more limited on this question, the general consensus among economists holds that trade restrictions are likely to hurt the poor. Even if the latter consensus turns out to be wrong, if free trade leads to superior growth, governments would have more resources to redistribute to the poor. It is surprising then that philosophers and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  15
    A Model of Quantum Measurement in Josephson Junctions.Roger A. Hegstrom & Fernando Sols - 1995 - Foundations of Physics 25 (5):681-700.
    A model for the quantum measurement of the electronic current in a Josephson junction is presented and analyzed. The model is similar to a Stern-Gerlach apparatus, relying on the deflection of a spin-polarized particle beam by the magnetic field created by the Josephson current. The aim is (1) to explore, with the help of a simple model, some general ideas about the nature of the information which can be obtained by measurements upon a quantum system and (2) to find new (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  32
    Illusions of Causality: How They Bias Our Everyday Thinking and How They Could Be Reduced.Helena Matute, Fernando Blanco, Ion Yarritu, Marcos Díaz-Lago, Miguel A. Vadillo & Itxaso Barberia - 2015 - Frontiers in Psychology 6.
  27.  5
    Superrational Types.Fernando A. Tohmé & Ignacio D. Viglizzo - 2019 - Logic Journal of the IGPL 27 (6):847-864.
    We present a formal analysis of Douglas Hofstadter’s concept of superrationality. We start by defining superrationally justifiable actions, and study them in symmetric games. We then model the beliefs of the players, in a way that leads them to different choices than the usual assumption of rationality by restricting the range of conceivable choices. These beliefs are captured in the formal notion of type drawn from epistemic game theory. The theory of coalgebras is used to frame type spaces and to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Psychology in the 18th Century: A View From Encyclopaedias.Fernando Vidal - 1993 - History of the Human Sciences 6 (1):89-119.
  29.  20
    Olfaction in Eating Disorders and Abnormal Eating Behavior: A Systematic Review.Mohammed A. Islam, Ana B. Fagundo, Jon Arcelus, Zaida Agüera, Susana Jiménez-Murcia, José M. Fernández-Real, Francisco J. Tinahones, Rafael de la Torre, Cristina Botella, Gema Frühbeck, Felipe F. Casanueva, José M. Menchón & Fernando Fernandez-Aranda - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  46
    Hoops and Barns: A New Dilemma for Sosa.Kelp Christoph, Boult Cameron, Broncano-Berrocal Fernando, Dimmock Paul, Ghijsen Harmen & Simion Mona - 2017 - Synthese (12):1-16.
    This paper critically assesses Sosa’s normative framework for performances as well as its application to epistemology. We first develop a problem for one of Sosa’s central theses in the general theory of performance normativity according to which performances attain fully desirable status if and only if they are fully apt. More specifically, we argue that given Sosa’s account of full aptness according to which a performance is fully apt only if safe from failure, this thesis can’t be true. We then (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  7
    Outcomes of Open and Endoscopic Carpal Tunnel Release: A Meta-Analysis.Som Kohanzadeh, Fernando A. Herrera & Marek Dobke - 2012 - In Zdravko Radman (ed.), The Hand. MIT Press. pp. 7--3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. A Virtual Laboratory for Teaching Robotics.Francisco A. Candelas, Santiago T. Puente, Fernando Torres, Francisco G. Ortiz, Pablo Gil & Jorge Pomares - 2003 - Complexity 1 (10):11.
  33.  11
    A Quantitative Account of the Behavioral Characteristics of Habituation: The Sometimes Opponent Processes Model of Stimulus Processing.Yerco E. Uribe-Bahamonde, Sebastián A. Becerra, Fernando P. Ponce & Edgar H. Vogel - 2019 - Frontiers in Psychology 10.
    Habituation is defined as a decline in responding to a repeated stimulus. After more than eighty years of research, there is an enduring consensus among researchers on the existence of 9-10 behavioral regularities or parameters of habituation. There is no similar agreement, however, on the best approach to explain these facts. In this paper, we demonstrate that the Sometimes Opponent Processes (SOP) model of stimulus processing accurately describes all of these regularities. This model was proposed by Allan Wagner as a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  42
    A Taxonomy of Types of Epistemic Dependence: Introduction to the Synthese Special Issue on Epistemic Dependence.Fernando Broncano-Berrocal & Jesús Vega-Encabo - 2020 - Synthese 197 (7):2745-2763.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  22
    Abduction: A Categorical Characterization.Fernando Tohmé, Gianluca Caterina & Rocco Gangle - 2015 - Journal of Applied Logic 13 (1):78-90.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  10
    A Herbrandized Functional Interpretation of Classical First-Order Logic.Fernando Ferreira & Gilda Ferreira - 2017 - Archive for Mathematical Logic 56 (5-6):523-539.
    We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Julho-Agòsto 1966 Ano V—N. 5—Vol. 8 Sumário Eduardo Prado de Mendon-Ça—a Vida Universitária Eo.Gilberto de Mello Kujawski, Bre Artes Visuais & Giorgio Del Vecchio—A. - 1967 - Convivium: revista de filosofía 10:2.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  5
    Clinical Neuropsychology as a Specialist Profession in European Health Care: Developing a Benchmark for Training Standards and Competencies Using the Europsy Model?Laura Hokkanen, Fernando Barbosa, Amélie Ponchel, Marios Constantinou, Mary H. Kosmidis, Nataliya Varako, Erich Kasten, Sara Mondini, Sandra Lettner, Gus Baker, Bengt A. Persson & Erik Hessen - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  50
    Ambiguous Discourse in a Compositional Context. An Operational Perspective.Tim Fernando - 2001 - Journal of Logic, Language and Information 10 (1):63-86.
    The processing of sequences of (English) sentences is analyzedcompositionally through transitions that merge sentences, rather thandecomposing them. Transitions that are in a precise senseinertial are related to disjunctive and non-deterministic approaches toambiguity. Modal interpretations are investigated, inducing variousequivalences on sequences.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  40. Fernando of Cordova a Biographical and Intellectual Profile.John Monfasani - 1992 - American Philosophical Society.
    Part charlatan, part wunderkind, and part learned scholastic, Fernando of Cordova burst upon the European scene in 1444-1446 when he traveled to different parts of Europe. He astounded audiences by his command of the subject matter in all univ. subjects, his mastery of oriental languages, his skill in painting, music, and instrument making, and his expertise in knightly warfare. After disappearing in 1446, he reappeared in 1466 as a Roman curialist active in several controversies. He died in 1486. (...)'s philosophical, theological, and scientific writings cover a wide range of topics important to his age, and his biography has a special value because of what he did and whom he impressed in his travels in the cities, courts, and universities of Europe. (shrink)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  2
    A Primeira Filósofa.Fernando Santoro - 2019 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 28:e02802.
    É possível considerar o poema Títônio de Safo como um texto filosófico pré-socrático? Certas características nos fazem considerar estes versos em sua filosofia: 1) Retrata uma situação de aprendizagem amorosa, amor ao saber; 2) A presença de uma sentença de caráter universal sobre a humanidade: “Não envelhecer, para o homem, é um caso impossível.”; 3) Uma crítica ao senso comum e um aprofundamento de sabedoria; em particular a consideração da humanidade pela corrupção do devir mais do que pela mortalidade; 4) (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. On Understanding Computers and Cognition: A New Foundation for Design.Terry Winograd & Fernando Flores - 1987 - Artificial Intelligence 31 (2):250-261.
  43.  71
    A Substitutional Framework for Arithmetical Validity.Fernando Ferreira - 1998 - Grazer Philosophische Studien 56 (1):133-149.
  44. A Diferença Italiana Segundo Roberto Esposito.Fernando Gigante Ferraz - 2017 - Griot : Revista de Filosofia 15 (1):146-156.
    Esse texto é um resultado parcial e provisório de uma pesquisa de Pós-doutorado em andamento na Scuola Normale Superiore de Pisa/Italia sobre a supervisão do filósofo Roberto Esposito. Observa-se que nessas primeiras décadas do século XXI o pensamento filosófico Italiano, por algumas das razões que tentaremos expor abaixo, tem sido objeto de um grande interesse mundial, tornando-se objeto de inúmeros seminários, livros e artigos. O texto tenta avaliar se existiria algo como uma “filosofia Italiana” para além da pertença nacional daqueles (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  45. Reichenbach's E, R and S in a Finite-State Setting.Tim Fernando - manuscript
    Reichenbach's event, reference and speech times are interpreted semantically by stringing and superposing sets of temporal formulae, structured within regular languages. Notions of continuation branches and of inertia, bound (in a precise sense) by reference time, are developed and applied to the progressive and the perfect.
     
    Export citation  
     
    Bookmark   2 citations  
  46.  70
    Defeasible Reasoning + Partial Models: A Formal Framework for the Methodology of Research Programs. [REVIEW]Fernando Tohmé, Claudio Delrieux & Otávio Bueno - 2011 - Foundations of Science 16 (1):47-65.
    In this paper we show that any reasoning process in which conclusions can be both fallible and corrigible can be formalized in terms of two approaches: (i) syntactically, with the use of defeasible reasoning, according to which reasoning consists in the construction and assessment of arguments for and against a given claim, and (ii) semantically, with the use of partial structures, which allow for the representation of less than conclusive information. We are particularly interested in the formalization of scientific reasoning, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  19
    Enabling Monsters: A Reply to Professor Miller.Fernando R. Tesón - 2011 - Ethics and International Affairs 25 (2):165-182.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  43
    Towards a Philosophy of Real Mathematics.Fernando Zalamea - 2006 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 21 (1):107-108.
    No son muchos los textos en filosofía de las matemáticas que intentan dirigirse a la práctica matemática avanzada y, menos aún, aquellos que intentan acercarse a las matemáticas contemporáneas en acción. La lista de tales esfuerzos es bastante reducida—Pólya, Lakatos, Kline, Wilder, Kitcher acercándose a la matemática clásica; De Lorenzo, MacLane, Tymoczko haciéndolo a la matemática moderna; Badiou, Maddy, Patras a la matemática contemporánea—por lo que el trabajo de Corfield, ya sólo por situarse en esa línea minoritaria, merece una cierta (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  2
    Definite Clause Grammars for Language Analysis—A Survey of the Formalism and a Comparison with Augmented Transition Networks.Fernando C. N. Pereira & David H. D. Warren - 1980 - Artificial Intelligence 13 (3):231-278.
  50.  34
    A Gentzen System for Conditional Logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.
    Conditional logic is the deductive system , where is the set of propositional connectives {, ,} and is the structural finitary consequence relation on the absolutely free algebra that preserves degrees of truth over the structure of truth values C, . HereC is the non-commutative regular extension of the 2-element Boolean algebra to 3 truth values {t, u, f}, andfut. In this paper we give a Gentzen type axiomatization for conditional logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000