Results for 'C��lia Rasga'

1000+ found
Order:
  1.  8
    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.  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.
  3.  53
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  2
    Conservative Translations Revisited.J. Ramos, J. Rasga & C. Sernadas - forthcoming - Journal of Philosophical Logic:1-25.
    We provide sufficient conditions for the existence of a conservative translation from a consequence system to another one. We analyze the problem in many settings, namely when the consequence systems are generated by a deductive calculus or by a logic system including both proof-theoretic and model-theoretic components. We also discuss reflection of several metaproperties with the objective of showing that conservative translations provide an alternative to proving such properties from scratch. We discuss soundness and completeness, disjunction property and metatheorem of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  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  
  6.  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   1 citation  
  7. 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  
  8.  69
    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  
  9.  24
    Current Themes in Theoretical Biology : A Dutch Perspective.Thomas A. C. Reydon & Lia Hemerik (eds.) - 2005 - Springer.
    This book originated as a Festschrift to mark the publication of Volume 50 of the journal `Acta Biotheoretica' in 2002 and the journal's 70th anniversary in ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  18
    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  
  11.  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   2 citations  
  12.  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.
  13.  3
    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)  
     
    Export citation  
     
    Bookmark  
  14.  27
    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  
  15.  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  
  16.  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  
  17.  27
    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  
     
    Export citation  
     
    Bookmark   10 citations  
  18.  5
    Language Philosophies and the Language Sciences a Historical Perspective in Honor of Lia Formigari.Lia Formigari, Daniele Gambarara, Stefano Gensini & Antonino Pennisi - 1996
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. E. E. C. Jones, Elements of Logic as a Science of Propositions. [REVIEW]C. S. Myers - 1890 - Mind 15:559.
    No categories
     
    Export citation  
     
    Bookmark  
  20. HOOKWAY, C. : "Minds, Machines and Evolution".C. A. Hooker - 1986 - Australasian Journal of Philosophy 64:377.
  21. WILLIAMS, C. J. F. "What is Truth"? [REVIEW]C. Mcginn - 1977 - Mind 86:630.
     
    Export citation  
     
    Bookmark  
  22. SHEBBEARE, C. J. -The Problem of the Future Life. [REVIEW]C. Lewy - 1940 - Mind 49:487.
     
    Export citation  
     
    Bookmark  
  23. Hookway, C., "Peirce". [REVIEW]C. Misak - 1986 - Mind 95:138.
     
    Export citation  
     
    Bookmark  
  24. Clementi, C., Pervigilium Veneris: The Vigil of Venus.C. J. Martin - 1936 - Classical Weekly 30:261-262.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  56
    C. J. F. Martin. An Introduction to Medieval Philosophy. (Edinburgh: Edinburgh University Press, 1996.) Pp. 148. £11.95.C. R. - 1997 - Religious Studies 33 (1):131-134.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  18
    Review: C. C. Chang, Yiannis N. Moschovakis, The Suslin-Kleene Theorem for $V_kappa$ with Cofinality $(Kappa) = Omega$. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):245-245.
  27. A C.S. Rafinesque Anthology.C. S. Rafinesque & Charles Boewe - 2006 - Journal of the History of Biology 39 (1):210-212.
     
    Export citation  
     
    Bookmark  
  28. Stuart C. Shapiro, Common LISP: An Interactive Approach.C. Welty - 1997 - Minds and Machines 7:142-144.
  29. WADDINGTON, C. H. - "The Ethical Animal". [REVIEW]C. H. Whiteley - 1962 - Mind 71:136.
  30. William C. Wimsatt.C. William - 1976 - In G. Gordon, Grover Maxwell & I. Savodnik (eds.), Consciousness and the Brain: A Scientific and Philosophical Inquiry. Plenum. pp. 205.
     
    Export citation  
     
    Bookmark  
  31. READ, C. S. -Military Psychiatry in Peace and War. [REVIEW]F. C. B. F. C. B. - 1922 - Mind 31:109.
     
    Export citation  
     
    Bookmark  
  32. TURBAYNE, C. M. - "The Myth of Metaphor". [REVIEW]C. K. Grant - 1965 - Mind 74:140.
    No categories
     
    Export citation  
     
    Bookmark  
  33. Lipps, C. F., Grundriss der Psychophysik. [REVIEW]C. Gutberlet - 1922 - Philosophisches Jahrbuch 35:80-82.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Güttler, C., Psychologie und Philosophie. [REVIEW]C. Gutberlet - 1897 - Philosophisches Jahrbuch 10:76-78.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Sickenberger, C., Ueber die sog. Quantität des Urtheils. [REVIEW]C. Gutberlet - 1896 - Philosophisches Jahrbuch 9:336.
    No categories
     
    Export citation  
     
    Bookmark  
  36. Stumpf, C., Der Entwicklungsgedanke in der gegenwärtigen Philosophie. [REVIEW]C. Gutberlet - 1900 - Philosophisches Jahrbuch 13:300.
     
    Export citation  
     
    Bookmark  
  37. Schneider, C., Die Grundgesetze der Deszendenztheorie. [REVIEW]C. Gutberlet - 1911 - Philosophisches Jahrbuch 24:118-120.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Nadejde, C., Ueber quantitative Bestimmung der psychischen Arbeit. [REVIEW]C. Gutberlet - 1912 - Philosophisches Jahrbuch 25:192-194.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Opheim, C., The Aristaeus Episode of Vergil's Fourth Georgic.C. J. Hahn - 1936 - Classical Weekly 30:258.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  9
    Theodore C. Denise, 1919-2005.C. L. Hardin - 2006 - Proceedings and Addresses of the American Philosophical Association 79 (5):119 -.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Jermann, C., Philosophie und Politik. [REVIEW]C. Steel - 1988 - Tijdschrift Voor Filosofie 50:542.
    No categories
     
    Export citation  
     
    Bookmark  
  42.  36
    Titi Liui A.U.C. Libri. [REVIEW]C. F. Walters - 1914 - The Classical Review 28 (5):179-180.
  43. MORGAN, C. LLOYD. - Instinct and Experience. [REVIEW]C. S. Myers - 1913 - Mind 22:269.
     
    Export citation  
     
    Bookmark  
  44. C. Stumpf, Beiträge Zur Akustik Und Musikwissenschaft.C. S. Myers - 1902 - Mind 11:393.
  45.  2
    Review: Gr. C. Moisil, Le Algebre di Lukasiwicz. [REVIEW]C. Sicoe - 1972 - Journal of Symbolic Logic 37 (1):187-187.
  46. DUCASSE, C. J. - Nature, Mind and Death. [REVIEW]C. W. K. Mundle - 1953 - Mind 62:382.
     
    Export citation  
     
    Bookmark  
  47.  43
    Creating, Reinventing, and Assessing Cultural Performances in The Sakha Republic.Lia Zola - 2009 - World Futures 65 (8):613-619.
    This article aims at offering a broad perspective on the evolution and changes of the national Sakha kumys , a beverage made up of raw mare's milk that is quite popular in the Middle Asia area, above all among Turkic-speaking nomadic cattle breeders such as Kazaks, Bashkirs, Tatars, Tuvans, Altaians, and Sakha. I argue that, in spite of its use as an everyday commodity of the Sakha's diet until the beginning of the twentieth century, today it appears to be the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  18
    De Lias Eds Vredesgedicht. [REVIEW]J. Tate - 1947 - The Classical Review 61 (3-4):126-126.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  9
    C. D. Broad: Key Unpublished Writings.Joel Walmsley, C. D. Broad & Simon Blackburn - 2022 - New York, NY: Routledge.
    Although Broad published many books in his lifetime, this volume is unique in presenting some of his most interesting unpublished writings. Divided into five clear sections, the following figures and topics are covered: Autobiography, Hegel and the nature of philosophy, Francis Bacon, Hume's philosophy of the self and belief, F. H. Bradley, The historical development of scientific thought from Pythagoras to Newton, Causation, Change and continuity, Quantitative methods, Poltergeists, Paranormal phenomena. -/- Each section is introduced and placed in context by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. C.S. Lewis: A Companion and Guide.Walter Hooper & David C. Downing - 1998 - Utopian Studies 9 (2):276-278.
1 — 50 / 1000