Results for 'C��lia Rasga'

1000+ found
Order:
  1.  7
    Preservation of Craig Interpolation by the Product of Matrix Logics.C. Sernadas, J. Rasga & A. Sernadas - 2013 - Journal of Applied Logic 11 (3):328-349.
  2.  52
    Importing Logics: Soundness and Completeness Preservation. [REVIEW]J. Rasga, A. Sernadas & C. Sernadas - 2013 - Studia Logica 101 (1):117-155.
    Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing as proposed in J. Rasga et al. (100(3):541–581, 2012) Studia Logica.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  16
    Fibring as Biporting Subsumes Asymmetric Combinations.J. Rasga, A. Sernadas & C. Sernadas - 2014 - Studia Logica 102 (5):1041-1074.
    The transference of preservation results between importing and unconstrained fibring is investigated. For that purpose, a new formulation of fibring, called biporting, is introduced, and importing is shown to be subsumed by biporting. In consequence, particular cases of importing, like temporalization, modalization and globalization are subsumed by fibring. Capitalizing on these results, the preservation of the finite model property by fibring is transferred to importing and then carried over to globalization.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. A Graph-Theoretic Account of Logics.A. Sernadas, C. Sernadas, J. Rasga & Marcelo E. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1281-1320.
    A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  59
    On Graph-Theoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
    A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  21
    On Combined Connectives.A. Sernadas, C. Sernadas & J. Rasga - 2011 - Logica Universalis 5 (2):205-224.
    Combined connectives arise in combined logics. In fibrings, such combined connectives are known as shared connectives and inherit the logical properties of each component. A new way of combining connectives (and other language constructors of propositional nature) is proposed by inheriting only the common logical properties of the components. A sound and complete calculus is provided for reasoning about the latter. The calculus is shown to be a conservative extension of the original calculus. Examples are provided contributing to a better (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  4
    Effects of Visual Scene Complexity on Neural Signatures of Spatial Attention.Lia M. Bonacci, Scott Bressler, Jasmine A. C. Kwasa, Abigail L. Noyce & Barbara G. Shinn-Cunningham - 2020 - Frontiers in Human Neuroscience 14.
  8.  12
    Decision and Optimization Problems in the Unreliable-Circuit Logic.J. Rasga, C. Sernadas, P. Mateus & A. Sernadas - 2017 - Logic Journal of the IGPL 25 (3):283-308.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  17
    Probabilistic Logic of Quantum Observations.A. Sernadas, J. Rasga, C. Sernadas, L. Alcácer & A. B. Henriques - 2019 - Logic Journal of the IGPL 27 (3):328-370.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  20
    Egg Distributions and the Information a Solitary Parasitoid has and Uses for its Oviposition Decisions.Lia Hemerik, Nelly van der Hoeven & Jacques J. M. van Alphen - 2002 - Acta Biotheoretica 50 (3):167-188.
    Approximately three decades ago the question was first answered whether parasitoids are able to assess the number or origin of eggs in a host for a solitary parasitoid, Leptopilina heterotoma, by fitting theoretically derived distributions to empirical ones. We extend the set of different theoretically postulated distributions of eggs among hosts by combining searching modes and abilities in assessing host quality. In the models, parasitoids search either randomly (Poisson) (1) or by vibrotaxis (Negative Binomial) (2). Parasitoids are: (a) assumed to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  2
    Portraits in Sechs Furstenstaaten Rajasthans Vom 17. Bis Zum 20. Jahrhundert.Milo C. Beach & Juliane Anna Lia Molitor - 1987 - Journal of the American Oriental Society 107 (3):522.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  24
    A Priori True and False Conditionals.Ana Cristina Quelhas, Célia Rasga & Philip N. Johnson-Laird - 2017 - Cognitive Science 41 (S5):1003-1030.
    The theory of mental models postulates that meaning and knowledge can modulate the interpretation of conditionals. The theory's computer implementation implied that certain conditionals should be true or false without the need for evidence. Three experiments corroborated this prediction. In Experiment 1, nearly 500 participants evaluated 24 conditionals as true or false, and they justified their judgments by completing sentences of the form, It is impossible that A and ___ appropriately. In Experiment 2, participants evaluated 16 conditionals and provided their (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  22
    Can Apparent Resting State Connectivity Arise From Systemic Fluctuations?Yunjie Tong, Lia M. Hocke, Xiaoying Fan, Amy C. Janes & Blaise deB Frederick - 2015 - Frontiers in Human Neuroscience 9.
  14.  16
    The First Epistle to the Corinthians, with Notes, &C. By the Rev. J. J. Lias. (Cambridge Greek Testament for Schools.).R. A. - 1887 - The Classical Review 1 (08):235-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  26
    The Contribution of History and Philosophy to the Problem of Hybrid Views About Genes in Genetics Teaching.Charbel N. El-Hani, Ana Maria R. de Alameida, Gilberto C. Bomfim, Leyla M. Joaquim, João Carlos M. Magalhães, Lia M. N. Meyer, Maiana A. Pitombo & Vanessa C. dos Santos - 2014 - In Michael R. Matthews (ed.), International Handbook of Research in History, Philosophy and Science Teaching. Springer. pp. 469-520.
    Currently there are persistent doubts about the meaning and contributions of the gene concept, mostly related to its interpretation as a stretch of DNA encoding a single functional product, i.e., the classical molecular gene concept. There is, however, much conceptual variation around genes, leading to important difficulties in genetics teaching. We investigated whether and how conceptual variation related to the gene concept and gene function models is present in school science and what potential problems it may bring to genetics teaching (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  8
    Reimagining Fugitive Democracy and Transformative Sanctuary with Black Frontline Communities in the Underground Railroad.Lia Haro & Romand Coles - 2019 - Political Theory 47 (5):646-673.
    This article engages new histories of the black frontline communities of the Underground Railroad to rethink both fugitive democracy and the transformative possibilities of sanctuary as its constitutive twin. We analyze the ways that communities of free blacks and fugitives in the border zones between the Antebellum US North and South crafted themselves as magnetic spaces of creative refuge that suggest we reconceive sanctuary as the generative twin of fugitivity. This insight enables us to theorize new ethical and political dimensions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. WADDINGTON, C. H. - "The Ethical Animal". [REVIEW]C. H. Whiteley - 1962 - Mind 71:136.
  18.  5
    Philosophy of Education in a New Key: Constraints and Possibilities in Present Times with Regard to Dignity.Klas Roth, Lia Mollvik, Rama Alshoufani, Rebecca Adami, Katy Dineen, Fariba Majlesi, Michael A. Peters & Marek Tesar - forthcoming - Educational Philosophy and Theory:1-32.
    Human beings as imperfect rational beings face continuous challenges, one of them has to do with the lack of recognizing and respecting our inner dignity in present times. In this collective paper, we address the overall theme—Philosophy of Education in a New Key from various perspectives related to dignity. We address in particular some of the constraints and possibilities with regard to this issue in various settings such as education and society at large. Klas Roth discusses, for example, that it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  7
    International Governance of Climate Engineering.Lia N. Ernst & Edward A. Parson - 2013 - Theoretical Inquiries in Law 14 (1):307-338.
    Continued failure to limit emissions of carbon dioxide and other greenhouse gases that are causing global climate change has brought increased attention to climate engineering technologies, which actively modify the global environment to counteract heating and climate disruptions caused by elevated greenhouse gases. Some proposed forms of CE, particularly spraying reflective particles in the upper atmosphere to reduce incoming sunlight, can cool the average temperature of the Earth rapidly and cheaply, thereby substantially reducing climate-related risks. Yet CE interventions provide only (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  40
    The Collected Works of C. G. JUNG.C. G. H. G. Jung - 1953-54 - In Selected Letters of C.G. Jung, 1909-1961. Princeton University Press. pp. 201-210.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  21. C.S. Lewis: A Companion and Guide.Walter Hooper & David C. Downing - 1998 - Utopian Studies 9 (2):276-278.
  22.  24
    After the Truth Commission: Gender and Citizenship in Timor-Leste.Lia Kent - 2016 - Human Rights Review 17 (1):51-70.
    This article explores the relationship between truth commissions and gendered citizenship through a case study of Timor-Leste. It examines how, 10 years after the Commission for Reception, Truth and Reconciliation has completed its work, women’s citizenship remains constrained by, and negotiated within, deeply gendered narratives of nation-building that are informed by historical experiences of the resistance struggle. The power of these narratives—which foreground heroism rather than victimisation—underscores the need to situate truth commissions as part of an ongoing politics of memory. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  6
    Is Time-Based Prospective Remembering Mediated by Self-Initiated Rehearsals? Role of Incidental Cues, Ongoing Activity, Age, and Motivation.Lia Kvavilashvili & Laura Fisher - 2007 - Journal of Experimental Psychology: General 136 (1):112-132.
  24.  14
    The Protestant Ethic and the Spirit of Capitalism. By C. D. Burns. [REVIEW]C. D. Burns - 1930 - Ethics 41:119.
    Direct download  
     
    Export citation  
     
    Bookmark   69 citations  
  25.  59
    On the Adaptations of Organisms and the Fitness of Types.Lia Ettinger, Eva Jablonka & Peter McLaughlin - 1990 - Philosophy of Science 57 (3):499-513.
    We claim that much of the confusion associated with the "tautology problem" about survival of the fittest is due to the mistake of attributing fitness to individuals instead of to types. We argue further that the problem itself cannot be solved merely by taking fitness as the aggregate cause of reproductive success. We suggest that a satisfying explanation must center not on logical analysis of the concept of general adaptedness but on the empirical analysis of single adapted traits and their (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  23
    Arthur C. Danto, Beyond The Brillo Box: The Visual Arts in A Post-Historical Perspective, Mark Tansey: Visions and Revisions.David Carrier & Arthur C. Danto - 1993 - Journal of Aesthetics and Art Criticism 51 (3):513.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  27.  18
    Importing Logics.João Rasga, Amílcar Sernadas & Cristina Sernadas - 2012 - Studia Logica 100 (3):545-581.
    The novel notion of importing logics is introduced, subsuming as special cases several kinds of asymmetric combination mechanisms, like temporalization [8, 9], modalization [7] and exogenous enrichment [13, 5, 12, 4, 1]. The graph-theoretic approach proposed in [15] is used, but formulas are identified with irreducible paths in the signature multi-graph instead of equivalence classes of such paths, facilitating proofs involving inductions on formulas. Importing is proved to be strongly conservative. Conservative results follow as corollaries for temporalization, modalization and exogenous (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  24
    Sufficient Conditions for Cut Elimination with Complexity Analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.
    Sufficient conditions for first-order-based sequent calculi to admit cut elimination by a Schütte–Tait style cut elimination proof are established. The worst case complexity of the cut elimination is analysed. The obtained upper bound is parameterized by a quantity related to the calculus. The conditions are general enough to be satisfied by a wide class of sequent calculi encompassing, among others, some sequent calculi presentations for the first order and the propositional versions of classical and intuitionistic logic, classical and intuitionistic modal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  12
    Metaphysics and Morality: Essays in Honour of J. J. C. Smart.J. J. C. Smart, Philip Pettit, Richard Sylvan & Jean Norman (eds.) - 1987 - Blackwell.
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  30.  28
    [Letter From F. C. Copleston].F. C. Copleston - 1944 - Philosophy 19 (73):190-191.
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  31.  30
    SMART, J. J. C.: "Philosophy and Scientific Realism".M. C. Bradley - 1964 - Australasian Journal of Philosophy 42:262.
  32.  41
    MacIntyre on Personal Identity.Lia Mela - 2011 - Public Reason 3 (1).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  36
    A. C. Grayling, "The Refutation of Scepticism".Ralph C. S. Walker - 1986 - Philosophical Quarterly 36 (145):564.
  34.  60
    A Programme for Christology: C. J. F. WILLIAMS.C. J. F. Williams - 1968 - Religious Studies 3 (2):513-524.
    Christology seems to fall fairly clearly into two divisions. The first is concerned with the truth of the two propositions: ‘Christ is God’ and ‘Christ is a man’. The second is concerned with the mutual compatibility of these propositions. The first part of Christology tends to confine itself to what is sometimes called ‘positive theology’: that is to say, it is largely given over to examining the Jons revelationis —let us not prejudge currently burning issues by asking what this is—to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  64
    The Morality of Terrorism: C. A. J. Coady.C. A. J. Coady - 1985 - Philosophy 60 (231):47-69.
    There is a strong tendency in the scholarly and sub-scholarly literature on terrorism to treat it as something like an ideology. There is an equally strong tendency to treat it as always immoral. Both tendencies go hand in hand with a considerable degree of unclarity about the meaning of the term ‘terrorism’. I shall try to dispel this unclarity and I shall argue that the first tendency is the product of confusion and that once this is understood, we can see, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36.  57
    II—Bas C. Van Fraassen: Structuralism About Science: Some Common Problems.Bas C. van Fraassen - 2007 - Aristotelian Society Supplementary Volume 81 (1):45-61.
  37.  86
    Positive Retributivism: C. L. TEN.C. L. Ten - 1990 - Social Philosophy and Policy 7 (2):194-208.
    One dark and rainy night, Yuso sexually assaults and tortures Zelan. In escaping from the scene of his crime, he falls heavily and becomes an impotent paraplegic. Instead of treating his fate as divine retribution for his wicked acts, Yuso sees it as sheer bad luck. He shows no remorse for what he has done, and vainly hopes that he will recover his powers, which he now treats as involuntarily hoarded resources to be used on less rainy days. In the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  21
    Interpolation Via Translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.
    A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are described. Namely a translation between the global/local consequence systems induced by fragments of linear logic, a Kolmogorov-Gentzen-Gödel style translation, and a new translation between (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. The Need for Ontology: Some Choices: C. B. Martin.C. B. Martin - 1993 - Philosophy 68 (266):505-522.
    The aim of this paper is to set out some of the ontologies amongst which some forms of anti-realism must select. This provides the appropriate setting for presenting an alternative realist ontology. The argument is that the choice between the varieties of anti-realism and realism is inevitably a choice between ontologies.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  40.  71
    Modulated Fibring and the Collapsing Problem.Cristina Sernadas, João Rasga & Walter A. Carnielli - 2002 - Journal of Symbolic Logic 67 (4):1541-1569.
    Fibring is recognized as one of the main mechanisms in combining logics, with great signicance in the theory and applications of mathematical logic. However, an open challenge to bring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that bring imposes unwanted interconnections between the given logics. Modulated bring allows a ner control of the combination, solving the collapsing problem both at the semantic and deductive levels. (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  41.  26
    A Debris Mechanism of Cyclic Strain Hardening for F.C.C. Metals.C. E. Feltner - 1965 - Philosophical Magazine 12 (120):1229-1248.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  20
    Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
    Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. ], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  15
    D. C. Luckham, D. M. R. Park, and M. S. Paterson. On Formalised Computer Programs. Journal of Computer and System Sciences, Vol. 4 , Pp. 220–249. [REVIEW]D. C. Cooper - 1974 - Journal of Symbolic Logic 39 (2):347.
  44.  25
    Charles C. Pinter. Set Theory. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1971, Viii + 216 Pp. [REVIEW]Paul C. Eklof - 1976 - Journal of Symbolic Logic 41 (2):548-549.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  61
    Good Lives: Prolegomena*: LAWRENCE C. BECKER.Lawrence C. Becker - 1992 - Social Philosophy and Policy 9 (2):15-37.
    A philosophical essay under this title faces severe rhetorical challenges. New accounts of the good life regularly and rapidly turn out to be variations of old ones, subject to a predictable range of decisive objections. Attempts to meet those objections with improved accounts regularly and rapidly lead to a familiar impasse — that while a life of contemplation, or epicurean contentment, or stoic indifference, or religious ecstasy, or creative rebellion, or self-actualization, or many another thing might count as a good (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  46.  36
    I. C. Jarvie, Review Of Culture: The Anthropologist's Account By Adam Kuper. [REVIEW]I. C. Jarvie - 2000 - Philosophy of Science 67 (3):540-546.
  47. The Moral Justification of Benefit/Cost Analysis: Donald C. Hubin.Donald C. Hubin - 1994 - Economics and Philosophy 10 (2):169-194.
    Benefit/cost analysis is a technique for evaluating programs, procedures, and actions; it is not a moral theory. There is significant controversy over the moral justification of benefit/cost analysis. When a procedure for evaluating social policy is challenged on moral grounds, defenders frequently seek a justification by construing the procedure as the practical embodiment of a correct moral theory. This has the apparent advantage of avoiding difficult empirical questions concerning such matters as the consequences of using the procedure. So, for example, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  48.  35
    C. A. J. COADY, "Testimony: A Philosophical Study".J. L. Gorman & C. A. J. Coady - 1994 - History and Theory 33 (2):230.
  49. Power, Politics and People: The Collected Essays of C. Wright Mills.C. Wright Mills & Irving Louis Horowitz - 1964 - Science and Society 28 (4):478-480.
     
    Export citation  
     
    Bookmark   8 citations  
  50.  37
    A Semantical Analysis of the Calculi C N.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.
1 — 50 / 1000