Search results for 'Fernando Pereira' (try it on Scholar)

1000+ found
Order:
  1.  1
    Thomas Li-Ping Tang, Toto Sutarso, Mahfooz A. Ansari, Vivien K. G. Lim, Thompson S. H. Teo, Fernando Arias-Galicia, Ilya E. Garber, Randy Ki-Kwan Chiu, Brigitte Charles-Pauvers, Roberto Luna-Arocas, Peter Vlerick, Adebowale Akande, Michael W. Allen, Abdulgawi Salim Al-Zubaidi, Mark G. Borg, Bor-Shiuan Cheng, Rosario Correia, Linzhi Du, Consuelo Garcia de la Torre, Abdul Hamid Safwat Ibrahim, Chin-Kang Jen, Ali Mahdi Kazem, Kilsun Kim, Jian Liang, Eva Malovics, Alice S. Moreira, Richard T. Mpoyi, Anthony Ugochukwu Obiajulu Nnedum, Johnsto E. Osagie, AAhad M. Osman-Gani, Mehmet Ferhat Özbek, Francisco José Costa Pereira, Ruja Pholsward, Horia D. Pitariu, Marko Polic, Elisaveta Gjorgji Sardžoska, Petar Skobic, Allen F. Stembridge, Theresa Li-Na Tang, Caroline Urbain, Martina Trontelj, Luigina Canova, Anna Maria Manganelli, Jingqiu Chen, Ningyu Tang, Bolanle E. Adetoun & Modupe F. Adewuyi (forthcoming). Monetary Intelligence and Behavioral Economics: The Enron Effect—Love of Money, Corporate Ethical Values, Corruption Perceptions Index , and Dishonesty Across 31 Geopolitical Entities. Journal of Business Ethics.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Thomas Li-Ping Tang, Toto Sutarso, Mahfooz A. Ansari, Vivien Kim Geok Lim, Thompson Sian Hin Teo, Fernando Arias-Galicia, Ilya E. Garber, Randy Ki-Kwan Chiu, Brigitte Charles-Pauvers, Roberto Luna-Arocas, Peter Vlerick, Adebowale Akande, Michael W. Allen, Abdulgawi Salim Al-Zubaidi, Mark G. Borg, Luigina Canova, Bor-Shiuan Cheng, Rosario Correia, Linzhi Du, Consuelo Garcia de la Torre, Abdul Hamid Safwat Ibrahim, Chin-Kang Jen, Ali Mahdi Kazem, Kilsun Kim, Jian Liang, Eva Malovics, Anna Maria Manganelli, Alice S. Moreira, Richard T. Mpoyi, Anthony Ugochukwu Obiajulu Nnedum, Johnsto E. Osagie, AAhad M. Osman-Gani, Mehmet Ferhat Özbek, Francisco José Costa Pereira, Ruja Pholsward, Horia D. Pitariu, Marko Polic, Elisaveta Gjorgji Sardžoska, Petar Skobic, Allen F. Stembridge, Theresa Li-Na Tang, Caroline Urbain, Martina Trontelj, Jingqiu Chen & Ningyu Tang (forthcoming). Monetary Intelligence and Behavioral Economics Across 32 Cultures: Good Apples Enjoy Good Quality of Life in Good Barrels. Journal of Business Ethics.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  24
    Mary Dalrymple, Stuart M. Shieber & Fernando C. N. Pereira (1991). Ellipsis and Higher-Order Unification. Linguistics and Philosophy 14 (4):399 - 452.
    We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  4.  9
    Mary Dalrymple, John Lamping, Fernando Pereira & Vijay Saraswat (1997). Quantifiers, Anaphora, and Intensionality. Journal of Logic, Language and Information 6 (3):219-273.
    The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semanticinterpretations can be formalized in linear logic in a way thatcorrectly explains the observed interactions between quantifier scopeambiguity, bound anaphora and intensionality.Our linear-logic formalization of the compositional properties ofquantifying expressions in natural language obviates the need forspecial mechanisms, such as Cooper storage, in representing thescoping possibilities of quantifying expressions. Instead, thesemantic contribution of a quantifier is recorded as a linear-logicformula whose use in a proof will establish the (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  3
    Rodrigo B. Ferreira, Fernando C. Coelli, Wagner C. A. Pereira & Renan M. V. R. Almeida (2008). Optimizing Patient Flow in a Large Hospital Surgical Centre by Means of Discrete‐Event Computer Simulation Models. Journal of Evaluation in Clinical Practice 14 (6):1031-1037.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  24
    Stuart M. Shieber, Fernando C. N. Pereira & Mary Dalrymple (1996). Interactions of Scope and Ellipsis. Linguistics and Philosophy 19 (5):527 - 552.
    Systematic semantic ambiguities result from the interaction of the two operations that are involved in resolving ellipsis in the presence of scoping elements such as quantifiers and intensional operators: scope determination for the scoping elements and resolution of the elided relation. A variety of problematic examples previously noted - by Sag, Hirschbüihler, Gawron and Peters, Harper, and others - all have to do with such interactions. In previous work, we showed how ellipsis resolution can be stated and solved in equational (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  7.  5
    Antonio Carlos Sequeira Fernandes, Ricardo Pereira, Ismar de Souza Carvalho, Débora de Almeida Azevedo, Fernando Dias de Avila-Pires, Gerda Maísa Jensen, Maria Elice Brzezinski Prestes, Lilian Al-Chueyr Pereira Martins, Lourdes Della Justina & Ana Maria de Andrade Caldeira (2010). Filosofia e História da Biologia. Filosofia 5 (1).
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  8.  1
    Fernando C. Coelli, Renan M. V. R. Almeida & Wagner C. A. Pereira (2010). A Cost Simulation for Mammography Examinations Taking Into Account Equipment Failures and Resource Utilization Characteristics. Journal of Evaluation in Clinical Practice 16 (6):1198-1202.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9. Rodrigo B. Ferreira, Fernando C. Coelli, Wagner C. A. Pereira & Renan M. V. R. Almeida (2008). Optimizing Patient Flow in a Large Hospital Surgical Centre by Means of Discrete‐Event Computer Simulation Models. Journal of Evaluation in Clinical Practice 14 (6):1031-1037.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10. Fernando Pereira (2004). Arte e utopia. E-Topia 2.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  11. Paula Cristina Moreira da Silva Pereira & Fernando Manuel Brandão Alves (2011). The Eulogy of Urbanity. Cultura:217-236.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    JosÉ Pereira (1986). Bādarāyana: Creator of Systematic Theology: JOSÉ PEREIRA. Religious Studies 22 (2):193-204.
    It is sometimes asserted that Philo of Alexandria is the creator of systematic theology – not because he created systematics , that is, a body of doctrine classified and integrated by a set of principles defined in philosophical terms, but because he created theology , that is, a mode of philosophizing which derives its main categories from a supernatural revelation. Such a mode was pursued by Philo's Christian disciples, among whom was Origen , one of the first of his faith (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  73
    P. A. S. Veloso, L. C. Pereira & E. H. Haeusler (2012). On What There Must Be: Existence in Logic and Some Related Riddles. Disputatio 4 (34).
    Veloso-Pereira-Haeusler_On-what-there-must-be.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  4
    Berit Soli-Holt, April Vannini & Jeremy Fernando (2012). Introducing Drift, a Special Issue of Continent. Continent 2 (3):182-185.
    Two continents. Three countries. Mountains, archipelago, a little red dot & more to come. BERIT SOLI-HOLT (Editor): When I think of introductory material, I think of that Derrida documentary when he is asked about what he would like to know about other philosophers. He simply states: their love life. APRIL VANNINI (Editor): And as far as introductions go, I think Derrida brought forth a fruitful discussion on philosophy and thinking with this statement. First, he allows philosophy to open up the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  5
    Jeremy Fernando (2013). Sitting in the Dock of the Bay, Watching …. Continent 3 (2):8-12.
    This piece, included in the drift special issue of continent. , was created as one step in a thread of inquiry. While each of the contributions to drift stand on their own, the project was an attempt to follow a line of theoretical inquiry as it passed through time and the postal service(s) from October 2012 until May 2013. This issue hosts two threads: between space & place and between intention & attention . The editors recommend that to experience the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  5
    Rafi M. M. I. Chowdhury & Mario Fernando (2013). The Role of Spiritual Well-Being and Materialism in Determining Consumers' Ethical Beliefs: An Empirical Study with Australian Consumers. [REVIEW] Journal of Business Ethics 113 (1):61-79.
    A survey was conducted to investigate the relationship of Australian consumers’ lived (experienced) spiritual well-being and materialism with the various dimensions of consumer ethics. Spiritual well-being is composed of four domains—personal, communal, transcendental and environmental well-being. All four domains were examined in relation to the various dimensions of consumers’ ethical beliefs (active/illegal dimension, passive dimension, active/legal dimension, ‘no harm, no foul’ dimension and ‘doing good’/recycling dimension). The results indicated that lived communal well-being was negatively related to perceptions of the active/illegal (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  17. Tim Fernando, Finite-State Representations of Time.
    Finite-state methods are applied to the Russell-Wiener notion of time (based on events) and developed into an account of interval relations and temporal propositions. Strings are formed and collected in regular languages and regular relations that are argued to embody temporal relations in their various underspecified guises. The regular relations include retractions that reduce computations by projecting strings down to an appropriate level of granularity, and non-deterministic relations defining notions of partiality within and across such levels.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  18.  17
    Mario Fernando & Rafi M. M. I. Chowdhury (2010). The Relationship Between Spiritual Well-Being and Ethical Orientations in Decision Making: An Empirical Study with Business Executives in Australia. [REVIEW] Journal of Business Ethics 95 (2):211 - 225.
    The relationship between spiritual wellbeing and ethical orientations in decision making is examined through a survey of executives in organizations listed on the Australian Stock Exchange. The four domains of spiritual well-being, personal, communal, environmental and transcendental (Fisher, Spiritual health: its nature and place in the school curriculum, PhD thesis, University of Melbourne, 1998; Gomez and Fisher, Pers Individ Differ 35:1975–1991, 2003) are examined in relation to idealism and relativism (Forsyth, J Pers Soc Psychol 39(1): 175–184, 1980). Results reveal that (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  19. Tim Fernando, A Finite-State Approach to Event Semantics.
    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  
     
    My bibliography  
  20.  5
    Mario Fernando (2000). 10.5840/Jbee2011819. Journal of Business Ethics Education 1 (1):119-138.
    The paper explains the application of a Social Innovation Based Transformative Learning pedagogical approach in an undergraduate, final year business ethics course taught at an Australian university. Using social innovation as an enabling process to extend students’ cognitive, behavioural and managerial competencies in an integrated manner, the paper describes how the SIBTL approach helps ethics teachers to promote students’ ethical action.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  21.  2
    Gustavo Pereira (2012). Virtudes cívicas procedimentales, democracia participativa y educación ciudadana. Areté. Revista de Filosofía 16 (2):243-281.
    La modernidad impone condiciones para la reflexión acerca de la democracia participativa. En tal sentido, un irrebasable conjunto de derechos básicos funciona como marco para la participación ciudadana y opera como parámetro para la presentación de las virtudes cívicas. En función de esto último, en este trabajo se expondrá una teoría de la virtud de corte procedimental, presentando cuatro virtudes que aseguran la condición de ciudadanía en su mayor expresión. Estas virtudes son conceptualmente diferenciadas de los valores cívicos como forma (...)
    No categories
    Translate
      Direct download (10 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  22.  29
    Mario Fernando, Shyamali Dharmage & Shamika Almeida (2008). Ethical Ideologies of Senior Australian Managers: An Empirical Study. [REVIEW] Journal of Business Ethics 82 (1):145 - 155.
    Forsyth’s (1980) Ethics Position Questionnaire and Hunt et al.’s (1989) Corporate Ethical Value Questionnaire are used to examine the ethical ideologies of senior managers from organizations listed in the Australian Stock Exchange. The results indicate how corporate ethical values, religion, gender, and age are related to the idealism and relativism of senior Australian managers. After discussing the results, limitations of the study are offered. Finally, managerial implications are provided and recommendations for future research are given.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  23.  62
    Tim Fernando, Conservative Generalized Quantifiers and Presupposition.
    Conservativity in generalized quantifiers is linked to presupposition filtering, under a propositions-as-types analysis extended with dependent quantifiers. That analysis is underpinned by modeltheoretically interpretable proofs which inhabit propositions they prove, thereby providing objects for quantification and hooks for anaphora.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  24.  10
    Alicia M. Evans, David A. Pereira & Judith M. Parker (2008). Occupational Distress in Nursing: A Psychoanalytic Reading of the Literature. Nursing Philosophy 9 (3):195-204.
    Abstract Occupational stress in nursing has attracted considerable attention as a focus for research and as a consequence multiple objects of nurses' stress, or 'stressors', have been identified. This paper puts into question the dominant conceptual and methodological approach to occupational stress in nursing research by both foregrounding the notion of anxiety and juxtaposing it with the notion of 'stress'. It is argued that the notion of 'stress' and the domination of the questionnaire have produced a narrow reading (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  25. Tim Fernando (2011). Constructing Situations and Time. Journal of Philosophical Logic 40 (3):371 - 396.
    Situations serving as partial worlds as well as events in natural language semantics are constructed from a type-theoretic interpretation of firstorder formulae and (after a type reduction) temporal formulae. Limitations of the Russell-Wiener-Kamp derivation of time from events are discussed and overcome to give a more widely applicable account of temporal granularity. Finite situations are formulated as strings of observations, conceptualized to persist inertially (in the absence of forces).
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  26. Tim Fernando, Temporal Propositions as Vague Predicates.
    The idea that temporal propositions are vague predicates is examined with attention to the nature of the objects over which the predicates range. These objects should not, it is argued, be identified once and for all with points or intervals in the real line (or any fixed linear order). Context has an important role to play not only in sidestepping the Sorites paradox (Gaifman 2002) but also in shaping temporal moments/extent (Landman 1991). The Russell-Wiener construction of time from events (Kamp (...)
     
    Export citation  
     
    My bibliography   1 citation  
  27.  4
    Rafi M. M. I. Chowdhury & Mario Fernando (2013). The Relationships of Empathy, Moral Identity and Cynicism with Consumers' Ethical Beliefs: The Mediating Role of Moral Disengagement. [REVIEW] Journal of Business Ethics 124 (4):1-18.
    This study examines the relationships of empathy, moral identity and cynicism with the following dimensions of consumer ethics: the passive dimension (passively benefiting at the expense of the seller), the active/legal dimension (benefiting from questionable but legal actions), the ‘no harm, no foul’ dimension (actions that do not harm anyone directly but are considered unethical by some) and the ‘doing-good’/recycling dimension (pro-social actions). A survey of six hundred Australian consumers revealed that both empathy and moral identity were related to negative (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  60
    Tim Fernando, Temporal Propositions as Regular Languages.
    Temporal propositions are mapped to sets of strings that witness (in a precise sense) the propositions over discrete linear Kripke frames. The strings are collected into regular languages to ensure the decidability of entailments given by inclusions between languages. (Various notions of bounded entailment are shown to be expressible as language inclusions.) The languages unwind computations implicit in the logical (and temporal) connectives via a system of finite-state constraints adapted from finite-state morphology. Applications to Hybrid Logic and non-monotonic inertial reasoning (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  29. Tim Fernando, Representing Events and Discourse: Comments on Hamm, Kamp and Van Lambalgen.
    In [HKL00] (henceforth HKL), Hamm, Kamp and van Lambalgen declare ‘‘there is no opposition between formal and cognitive semantics,’’ notwithstanding the realist/mentalist divide. That divide separates two sides Jackendo¤ has (in [Jac96], following Chomsky) labeled E(xternalized)-semantics, relating language to a reality independent of speakers, and I(nternalized)-semantics, revolving around mental representations and thought. Although formal semanticists have (following David Lewis) traditionally leaned towards E-semantics, it is reasonable to apply formal methods also to I-semantics. This point is made clear in HKL via (...)
     
    Export citation  
     
    My bibliography   1 citation  
  30. Tim Fernando, Finite-State Temporal Projection.
    Finite-state methods are applied to determine the consequences of events, represented as strings of sets of fluents. Developed to flesh out events used in natural language semantics, the approach supports reasoning about action in AI, including the frame problem and inertia. Representational and inferential aspects of the approach are explored, centering on conciseness of language, context update and constraint application with bias.
     
    Export citation  
     
    My bibliography   1 citation  
  31. Tim Fernando, Compositionality Inductively, Co-Inductively and Contextually.
    with the meaning function [[·]] appearing on both sides. (1) is commonly construed as a prescription for computing the meaning of a based on the parts of a and their mode of combination. As equality is symmetric, however, we can also read (1) from right to left, as a constraint on the meaning [[b]] of a term b that brings in the wider context where b may occur, in accordance with what Dag Westerst˚ahl has recently described as “one version of (...)
     
    Export citation  
     
    My bibliography  
  32. Tim Fernando, Inertia in Temporal Modification.
    Inertia is enshrined in Newton’s first law of motion, a body at rest or in uniform motion remains in that state unless a force is applied to it. Now, consider (1). (1) Pat stopped the car before it hit the tree. Can we conclude from (1) that the car struck the tree? Not without further information such as that supplied in (2). (2) But the bus behind kept going. A post-condition for Pat stopping the car is that the car be (...)
    Translate
     
     
    Export citation  
     
    My bibliography  
  33.  12
    Luís Pereira (2008). The PCF Conjecture and Large Cardinals. Journal of Symbolic Logic 73 (2):674 - 688.
    We prove that a combinatorial consequence of the negation of the PCF conjecture for intervals, involving free subsets relative to set mappings, is not implied by even the strongest known large cardinal axiom.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  34.  91
    Tim Fernando, Strings Over Intervals.
    Intervals and the events that occur in them are encoded as strings, elaborating on a conception of events as “intervals cum description.” Notions of satisfaction in interval temporal logics are formulated in terms of strings, and the possibility of computing these via finite-state machines/transducers is investigated. This opens up temporal semantics to finite-state methods, with entailments that are decidable insofar as these can be reduced to inclusions between regular languages.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  35. Tim Fernando, Comic Relief for Anankastic Conditionals.
    Anankastic conditionals are analyzed in terms of events conceived as sequences of snapshots – roughly, comics. Quantification is applied not to worlds (sets of which are customarily identified with propositions) but to strings that record observations of actions. The account generalizes to other types of conditionals, sidestepping certain well-known problems that beset possible worlds treatments, such as logical omniscience and irrelevance. A refinement for anankastic conditionals is considered, incorporating action relations.
     
    Export citation  
     
    My bibliography   1 citation  
  36.  62
    Gregory Wheeler & Luís Moniz Pereira (2008). Methodological Naturalism and Epistemic Internalism. Synthese 163 (3):315 - 328.
    Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more compatible with externalist theories of justification than with internalist theories. But practically all discussions about naturalized epistemology are framed exclusively in terms of cognitive psychology, which is only one of the cognitive sciences. The question addressed in this essay is whether a commitment to naturalism really does favor externalism over internalism, and we offer reasons for (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  47
    Tim Fernando (2009). Situations as Indices and as Denotations. Linguistics and Philosophy 32 (2):185-206.
    A distinction is drawn between situations as indices required for semantically evaluating sentences and situations as denotations resulting from such evaluation. For atomic sentences, possible worlds may serve as indices, and events as denotations. The distinction is extended beyond atomic sentences according to formulae-as-types and applied to implicit quantifier domain restrictions, intensionality and conditionals.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  83
    Tim Fernando, Information and Computation.
    Situations serving as worlds as well as events in linguistic semantics are formulated as strings recording observations over discrete time. This formulation is applied to a linear temporal logic, in line with L. Schubert’s distinction between described and characterized situations. The distinction is developed topologically and computationally, and linked to the opposition between truth-conditional and proof-conditional semantics. For a finitary handle on quantification, strings are associated with situations not only on the basis of observation but also through derivation and constraint (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  39.  37
    R. Aldrovandi, P. B. Barros & J. G. Pereira (2003). The Equivalence Principle Revisited. Foundations of Physics 33 (4):545-575.
    A precise fomulation of the strong Equivalence Principle is essential to the understanding of the relationship between gravitation and quantum mechanics. The relevant aspects are reviewed in a context including General Relativity but allowing for the presence of torsion. For the sake of brevity, a concise statement is proposed for the Principle: An ideal observer immersed in a gravitational field can choose a reference frame in which gravitation goes unnoticed. This statement is given a clear mathematical meaning (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  40.  43
    Tim Fernando (1997). Ambiguity Under Changing Contexts. Linguistics and Philosophy 20 (6):575-606.
    Notions of disambiguation supporting a compositional interpretation ofvambiguous expressions and reflecting intuitions about how sentences combinevin discourse are investigated. Expressions are analyzed both inductively byvbreaking them apart, and co-inductively by embedding them within larger contexts.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  41.  67
    Tim Fernando, Finite-State Representations Embodying Temporal Relations.
    Finite-state methods are applied to the Russell-Wiener-Kamp notion of time (based on events) and developed into an account of interval relations and semi-intervals. Strings are formed and collected in regular languages and regular relations that are argued to embody temporal relations in their various underspecified guises. The regular relations include retractions that reduce computations by projecting strings down to an appropriate level of granularity, and notions of containment for partiality within and across such levels.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  42.  3
    L. C. Pereira, E. H. Haeusler, V. G. Costa & W. Sanz (2010). A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Studia Logica 96 (1):95-108.
    The introduction and elimination rules for material implication in natural deduction are not complete with respect to the implicational fragment of classical logic. A natural way to complete the system is through the addition of a new natural deduction rule corresponding to Peirce's formula → A) → A). E. Zimmermann [6] has shown how to extend Prawitz' normalization strategy to Peirce's rule: applications of Peirce's rule can be restricted to atomic conclusions. The aim of the present paper is to (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  55
    Tim Fernando (1994). Bisimulations and Predicate Logic. Journal of Symbolic Logic 59 (3):924-944.
    are considered with a view toward analyzing operational semantics from the perspective of predicate logic. The notion of a bisimulation is employed in two distinct ways: (i) as an extensional notion of equivalence on programs (or processes) generalizing input/output equivalence (at a cost exceeding II' ,over certain transition predicates computable in log space). and (ii) as a tool for analyzing the dependence of transitions on data (which can be shown to be elementary or nonelementary. depending on the formulation of the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  33
    R. Aldrovandi, A. L. Barbosa, M. Calçada & J. G. Pereira (2003). Kinematics of a Spacetime with an Infinite Cosmological Constant. Foundations of Physics 33 (4):613-624.
    A solution of the sourceless Einstein's equation with an infinite value for the cosmological constant Λ is discussed by using Inönü–Wigner contractions of the de Sitter groups and spaces. When Λ→∞, spacetime becomes a four-dimensional cone, dual to Minkowski space by a spacetime inversion. This inversion relates the four-cone vertex to the infinity of Minkowski space, and the four-cone infinity to the Minkowski light-cone. The non-relativistic limit c→∞ is further considered, the kinematical group in this case being a modified Galilei (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  45. Tim Fernando, Situations From Events to Proofs.
    String representations of events are applied to Robin Cooper’s proposal that propositions in natural language semantics are types of situations. Links with the higher types of prooftheoretic semantics are forged, deepening type-theoretic interpretations of Discourse Representation Structures to encompass event structures.
     
    Export citation  
     
    My bibliography  
  46. Tim Fernando, Entailments in Finite-State Temporality.
    The “surge in use of finite-state methods” ([10]) in computational linguistics has largely, if not completely, left semantics untouched. The present paper is directed towards correcting this situation. Techniques explained in [1] are applied to a fragment of temporal semantics through an approach we call finite-state temporality. This proceeds from the intuition of an event as “a series of snapshots” ([15]; see also [12]), equating snapshots with symbols that collectively form our alphabet. A sequence of snapshots then becomes a string (...)
     
    Export citation  
     
    My bibliography  
  47.  60
    T. Fernando, Regular Relations for Temporal Propositions.
    Relations computed by finite-state transducers are applied to interpret temporal propositions in terms of strings representing finite contexts or situations. Carnap–Montague intensions mapping indices to extensions are reformulated as relations between strings that can serve as indices and extensions alike. Strings are related according to information content, temporal span and granularity, the bounds on which reflect the partiality of natural language statements. That partiality shapes not only strings-as-extensions (indicating what statements are about) but also strings-as-indices (underlying truth conditions).
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  48.  80
    Tim Fernando (2005). Schedules in a Temporal Interpretation of Modals. Journal of Semantics 22 (2):211-229.
    Eventualities and worlds are analysed uniformly as schedules of certain descriptions of eventuality-types (reversing the reduction of eventuality-types to eventualities). The temporal interpretation of modals in Condoravdi 2002 is reformulated to bring out what it is about eventualities and worlds that is essential to the account. What is essential, it is claimed, can be recovered from schedules that may or may not include worlds.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  49.  12
    Carlos Viegas Damásio & Luís Moniz Pereira (2002). Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72 (1):113 - 138.
    In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  50.  19
    José Pereira (1972). Fallible? Thought: A Journal of Philosophy 47 (3):362-414.
    Basically the anti-infallibility position of the eighteenth and twentieth centuries is fivefold: that infallibility, especially papal, is unfounded, unverified, undesirable, unnecessary, and impossible.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000