Results for 'Luca Surian'

(not author) ( search as author name )
999 found
Order:
  1.  6
    Age‐Related Differences in Moral Judgment: The Role of Probability Judgments.Francesco Margoni, Janet Geipel, Constantinos Hadjichristidis, Richard Bakiaj & Luca Surian - 2023 - Cognitive Science 47 (9):e13345.
    Research suggests that moral evaluations change during adulthood. Older adults (75+) tend to judge accidentally harmful acts more severely than younger adults do, and this age‐related difference is in part due to the greater negligence older adults attribute to the accidental harmdoers. Across two studies (N = 254), we find support for this claim and report the novel discovery that older adults’ increased attribution of negligence, in turn, is associated with a higher perceived likelihood that the accident would occur. We (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  18
    Do Infants Attribute Moral Traits? Fourteen-Month-Olds' Expectations of Fairness Are Affected by Agents' Antisocial Actions.Luca Surian, Mika Ueno, Shoji Itakura & Marek Meristo - 2018 - Frontiers in Psychology 9.
  3.  17
    Toddlers Selectively Help Fair Agents.Luca Surian & Laura Franchin - 2017 - Frontiers in Psychology 8.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  22
    Explaining the U-Shaped Development of Intent-Based Moral Judgments.Francesco Margoni & Luca Surian - 2016 - Frontiers in Psychology 7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5. Do infants detect indirect reciprocity?Marek Meristo & Luca Surian - 2013 - Cognition 129 (1):102-113.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  6.  18
    Question framing effects and the processing of the moral–conventional distinction.Francesco Margoni & Luca Surian - 2021 - Philosophical Psychology 34 (1):76-101.
    Prominent theories in moral psychology maintain that a core aspect of moral competence is the ability to distinguish moral norms, which derive from universal principles of justice and fairness, from conventional norms, which are contingent on a specific group consensus. The present study investigated the psychological bases of the moral-conventional distinction by manipulating the framing of the test question, the authority’s license, and the historical context. Participants evaluated moral and conventional transgressions by answering an ‘okay for you’ test question (i.e., (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Beliefs and moral Valence affect intentionality attributions: The case of side effects.Sandra Pellizzoni, Vittorio Girotto & Luca Surian - 2010 - Review of Philosophy and Psychology 1 (2):201-209.
    Do moral appraisals shape judgments of intentionality? A traditional view is that individuals first evaluate whether an action has been carried out intentionally. Then they use this evaluation as input for their moral judgments. Recent studies, however, have shown that individuals’ moral appraisals can also influence their intentionality attributions. They attribute intentionality to the negative side effect of a given action, but not to the positive side effect of the same action. In three experiments, we show that this asymmetry is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  8.  47
    Bilingualism and conversational understanding in young children.Michael Siegal, Laura Iozzi & Luca Surian - 2009 - Cognition 110 (1):115-122.
  9.  29
    Foreign language affects the contribution of intentions and outcomes to moral judgment.Janet Geipel, Constantinos Hadjichristidis & Luca Surian - 2016 - Cognition 154 (C):34-39.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  23
    A neurocognitive mechanism for folk biology?Remo Job & Luca Surian - 1998 - Behavioral and Brain Sciences 21 (4):577-578.
    Atran's putative module for folk biology is evaluated with respect to evidence from patients showing category-specific impairments for living kinds. Existing neuropsychological evidence provides no support for the primacy of categorization at the generic species level. We outline reasons for this and emphasize that such claims should be tested using inductive reasoning tasks.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  15
    Lies, Mistakes, and Blessings: Defining and Characteristic Features in Conceptual Development.Michael Siegal, Carol Nemeroff, Luca Surian & Candida Peterson - 2001 - Journal of Cognition and Culture 1 (4):323-339.
    In this study, we examined the extent to which young children can be influenced by the perceived blessed status of an actor in their evaluations of behavior as a lie or mistake. Children aged 4 and 5 years attending Catholic schools in an urban center in Northern Italy were provided with a situation in which two girls in church were blessed with holy water or shook the priest's hand. The girls were then placed in a setting in which each told (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Modularity in language and theory of mind: What is the evidence?Michael Siegal & Luca Surian - 2005 - In Peter Carruthers, Stephen Laurence & Stephen P. Stich (eds.), The Innate Mind: Structure and Contents. New York, US: Oxford University Press USA.
  13.  20
    Modularity in Language and Theory of Mind.Michael Siegal & Luca Surian - 2005 - In Peter Carruthers, Stephen Laurence & Stephen P. Stich (eds.), The Innate Mind: Structure and Contents. New York, US: Oxford University Press USA. pp. 2--133.
  14.  22
    Response bias patterns in young children.Michael Siegal & Luca Surian - 2004 - Trends in Cognitive Sciences 8 (12):534-538.
  15.  7
    The violation-of-expectation paradigm: A conceptual overview.Francesco Margoni, Luca Surian & Renée Baillargeon - 2024 - Psychological Review 131 (3):716-748.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  58
    Morals, Beliefs, and Counterfactuals.Vittorio Girotto, Luca Surian & Michael Siegal - 2010 - Brain and Behavioral Sciences 33 (4):337-338.
    We have found that moral considerations interact with belief ascription in determining intentionality judgment. We attribute this finding to a differential availability of plausible counterfactual alternatives that undo the negative side-effect of an action. We conclude that Knobe's thesis does not account for processes by which counterfactuals are generated and how these processes affect moral evaluations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  22
    Morals, beliefs, and counterfactuals.Vittorio Girotto, Luca Surian & Michael Siegal - 2010 - Behavioral and Brain Sciences 33 (4):337-338.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  22
    Many moral buttons or just one? Evidence from emotional facial expressions.Laura Franchin, Janet Geipel, Constantinos Hadjichristidis & Luca Surian - 2019 - Cognition and Emotion 33 (5):943-958.
    ABSTRACTWe investigated whether moral violations involving harm selectively elicit anger, whereas purity violations selectively elicit disgust, as predicted by the Moral Foundations Theory. We analysed participants’ spontaneous facial expressions as they listened to scenarios depicting moral violations of harm and purity. As predicted by MFT, anger reactions were elicited more frequently by harmful than by impure actions. However, violations of purity elicited more smiling reactions and expressions of anger than of disgust. This effect was found both in a classic set (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  17
    The implicit perception of harm following moral violations in autism.Gabriele Osler, Laura Franchin, Giulia Guglielmetti, Stefano Calzolari, Rocco Micciolo & Luca Surian - 2024 - Thinking and Reasoning 30 (2):379-393.
    Previous studies showed that when reading a scenario depicting a harmless moral violation in the domain of purity, people nevertheless implicitly infer that harm was involved. In this study, we assessed whether this “implicit completion” process found in the perception of immoral actions is also present in people with autism spectrum disorder. In two experiments, we found an implicit activation of harm representations in response to all kinds of moral violations in neurotypical adults as well as in adults with autism. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Constitutivism and the Inescapability of Agency.Luca Ferrero - 2009 - Oxford Studies in Metaethics 4:303-333.
    Constitutivism argues that the source of the categorical force of the norms of rationality and morality lies in the constitutive features of agency. A systematic failure to be guided by these norms would amount to a loss or lack of agency. Since we cannot but be agents, we cannot but be unconditionally guided by these norms. The constitutivist strategy has been challenged by David Enoch. He argues that our participation in agency is optional and thus cannot be a source of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   72 citations  
  21. Decisions, Diachronic Autonomy, and the Division of Deliberative Labor.Luca Ferrero - 2010 - Philosophers' Imprint 10:1-23.
    It is often argued that future-directed decisions are effective at shaping our future conduct because they give rise, at the time of action, to a decisive reason to act as originally decided. In this paper, I argue that standard accounts of decision-based reasons are unsatisfactory. For they focus either on tie-breaking scenarios or cases of self-directed distal manipulation. I argue that future-directed decisions are better understood as tools for the non-manipulative, intrapersonal division of deliberative labor over time. A future-directed decision (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  22. Can I Only Intend My Own Actions?Luca Ferrero - 2013 - In David Shoemaker (ed.), Oxford studies in agency and responsibility. Oxford: Oxford University Press. pp. (1) 70-94.
    In this paper, I argue against the popular philosophical thesis---aka the ‘own action condition’---that an agent can only intend one’s own actions. I argue that the own action condition does not hold for any executive attitude, intentions included. The proper object of intentions is propositional rather than agential (‘I intend that so-and-so be the case’ rather than ‘I intend to do such-and-such’). I show that, although there are some essential de se components in intending, they do not restrict the content (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  23. Diachronic Structural Rationality.Luca Ferrero - 2014 - Inquiry: An Interdisciplinary Journal of Philosophy 57 (3):311-336.
    In this paper I investigate whether there are genuine and irreducible pressures of diachronic rationality grounded on the structure of the subject rather than on substantive considerations, such as pragmatic ones. I argue that structural pressures of diachronic rationality have a limited scope. The most important pressure only tells against arbitrary interference with the mechanisms for the retention of attitudes over time. I then argue that in the practical case, a substantial account in terms of the agent's temporal identity appears (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  24. Diachronic Agency.Luca Ferrero - 2022 - In The Routledge Handbook of Philosophy of Agency. New York, NY: Routledge. pp. 336-347.
    This chapter discusses the structure of our temporally extended agency. We do not have the power to act directly at a distance, so any of our temporally extended projects must be sustained over its temporal unfolding by momentary actions. We need both the capacity to organize these momentary steps in light of a synoptic overview of the extended activity as a whole and to sustain our motivation to continue to pursue the extended activity. Hence, the distinctive mode in which we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Phenomenal Conservatism.Luca Moretti - 2015 - Analysis 75 (2):296-309.
    I review recent work on Phenomenal Conservatism, the position introduced by Michael Huemer according to which if it seems that P to a subject S, in the absence of defeaters S has thereby some degree of justification for believing P.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  26. An Introduction to the Philosophy of Agency.Luca Ferrero - 2022 - In The Routledge Handbook of Philosophy of Agency. New York, NY: Routledge. pp. 1-18.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. When warrant transmits and when it doesn’t: towards a general framework.Luca Moretti & Tommaso Piazza - 2013 - Synthese 190 (13):2481-2503.
    In this paper we focus on transmission and failure of transmission of warrant. We identify three individually necessary and jointly sufficient conditions for transmission of warrant, and we show that their satisfaction grounds a number of interesting epistemic phenomena that have not been sufficiently appreciated in the literature. We then scrutinise Wright’s analysis of transmission failure and improve on extant readings of it. Nonetheless, we present a Bayesian counterexample that shows that Wright’s analysis is partially incoherent with our analysis of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  28. Epistemic Entitlement, Epistemic Risk and Leaching.Luca Moretti & Crispin Wright - 2023 - Philosophy and Phenomenological Research 106 (3):566-580.
    One type of argument to sceptical paradox proceeds by making a case that a certain kind of metaphysically “heavyweight or “cornerstone” proposition is beyond all possible evidence and hence may not be known or justifiably believed. Crispin Wright has argued that we can concede that our acceptance of these propositions is evidentially risky and still remain rationally entitled to those of our ordinary knowledge claims that are seemingly threatened by that concession. A problem for Wright’s proposal is the so-called Leaching (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Entitlement, epistemic risk and scepticism.Luca Moretti - 2021 - Episteme 18 (4):576-586.
    Crispin Wright maintains that the architecture of perceptual justification is such that we can acquire justification for our perceptual beliefs only if we have antecedent justification for ruling out any sceptical alternative. Wright contends that this principle doesn’t elicit scepticism, for we are non-evidentially entitled to accept the negation of any sceptical alternative. Sebastiano Moruzzi has challenged Wright’s contention by arguing that since our non-evidential entitlements don’t remove the epistemic risk of our perceptual beliefs, they don’t actually enable us to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Games and the fluidity of layered agency.Luca Ferrero - 2021 - Journal of the Philosophy of Sport 48 (3):344-355.
    What can the philosophy of agency learn from Nguyen’s book on games? The most important lesson concerns, to use Nguyen’s terms, the ‘layered’ structure of our agency and the ‘fluidity’ requ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Wright, Okasha and Chandler on transmission failure.Luca Moretti - 2012 - Synthese 184 (3):217-234.
    Crispin Wright has given an explanation of how a first time warrant can fall short of transmitting across a known entailment. Formal epistemologists have struggled to turn Wright’s informal explanation into cogent Bayesian reasoning. In this paper, I analyse two Bayesian models of Wright’s account respectively proposed by Samir Okasha and Jake Chandler. I argue that both formalizations are unsatisfactory for different reasons, and I lay down a third Bayesian model that appears to me to capture the valid kernel of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  32. Explainable Artificial Intelligence (XAI) 2.0: A Manifesto of Open Challenges and Interdisciplinary Research Directions.Luca Longo, Mario Brcic, Federico Cabitza, Jaesik Choi, Roberto Confalonieri, Javier Del Ser, Riccardo Guidotti, Yoichi Hayashi, Francisco Herrera, Andreas Holzinger, Richard Jiang, Hassan Khosravi, Freddy Lecue, Gianclaudio Malgieri, Andrés Páez, Wojciech Samek, Johannes Schneider, Timo Speith & Simone Stumpf - 2024 - Information Fusion 106 (June 2024).
    As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Ludwig on Conditional Intentions.Luca Ferrero - 2015 - Methode 4 (6):61-74.
    In this paper, I discuss Ludwig's systematic and illuminating account of conditional intentions, with particular reference to my own view (presented in "Conditional Intentions", Noûs, 2009). In contrast to Ludwig, I argue that we should prefer a formal characterization of conditional intentions rather than a more substantial one in terms of reasons for action (although the conditions that qualify an intention bear on the reasonableness and justifiability of the intention). I then defend a partially different taxonomy of the conditions that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Ways in which coherence is confirmation conducive.Luca Moretti - 2007 - Synthese 157 (3):309 - 319.
    Recent works in epistemology show that the claim that coherence is truth conducive – in the sense that, given suitable ceteris paribus conditions, more coherent sets of statements are always more probable – is dubious and possibly false. From this, it does not follows that coherence is a useless notion in epistemology and philosophy of science. Dietrich and Moretti (Philosophy of science 72(3): 403–424, 2005) have proposed a formal of account of how coherence is confirmation conducive—that is, of how the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  35. Defending psychopathy: an argument from values and moral responsibility.Luca Malatesti & John McMillan - 2014 - Theoretical Medicine and Bioethics 35 (1):7-16.
    How psychopaths and their capacity for moral action are viewed is not only philosophically interesting but is also important and relevant for policy. The philosophical discussion of psychopathy has focussed upon the psychological faculties that are prerequisites for moral responsibility and empirical findings regarding psychopathy that are relevant to philosophical accounts of moral understanding and motivation. However, there are legitimate worries about whether psychopathy is a robust scientific construct, and there are risks attached to reifying psychopathy or other psychiatric constructs. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  36.  23
    Covert oculo-manual coupling induced by visually guided saccades.Luca Falciati, Tiziana Gianesini & Claudio Maioli - 2013 - Frontiers in Human Neuroscience 7.
  37. Hearing meanings: the revenge of context.Luca Gasparri & Michael Murez - 2019 - Synthese 198 (6):5229-5252.
    According to the perceptual view of language comprehension, listeners typically recover high-level linguistic properties such as utterance meaning without inferential work. The perceptual view is subject to the Objection from Context: since utterance meaning is massively context-sensitive, and context-sensitivity requires cognitive inference, the perceptual view is false. In recent work, Berit Brogaard provides a challenging reply to this objection. She argues that in language comprehension context-sensitivity is typically exercised not through inferences, but rather through top-down perceptual modulations or perceptual learning. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  38. Evidence of expert's evidence is evidence.Luca Moretti - 2016 - Episteme 13 (2):208-218.
    John Hardwig has championed the thesis (NE) that evidence that an expert EXP has evidence for a proposition P, constituted by EXP’s testimony that P, is not evidence for P itself, where evidence for P is generally characterized as anything that counts towards establishing the truth of P. In this paper, I first show that (NE) yields tensions within Hardwig’s overall view of epistemic reliance on experts and makes it imply unpalatable consequences. Then, I use Shogenji-Roche’s theorem of transitivity of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39. A pluralistic theory of wordhood.Luca Gasparri - 2020 - Mind and Language 36 (4):592-609.
    What are words and how should we individuate them? There are two main answers on the philosophical market. For some, words are bundles of structural-functional features defining a unique performance profile. For others, words are non-eternal continuants individuated by their causal-historical ancestry. These conceptions offer competing views of the nature of words, and it seems natural to assume that at most one of them can capture the essence of wordhood. This paper makes a case for pluralism about wordhood: the view (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  40. Global Scepticism, Underdetermination and Metaphysical Possibility.Luca Moretti - 2014 - Erkenntnis 79 (2):381-403.
    I focus on a key argument for global external world scepticism resting on the underdetermination thesis: the argument according to which we cannot know any proposition about our physical environment because sense evidence for it equally justifies some sceptical alternative (e.g. the Cartesian demon conjecture). I contend that the underdetermination argument can go through only if the controversial thesis that conceivability is per se a source of evidence for metaphysical possibility is true. I also suggest a reason to doubt that (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41. Is There Change on the B-theory of Time?Luca Banfi - 2021 - European Journal of Analytic Philosophy 17 (1):(B1)5-28.
    The purpose of this paper is to explore the connection between change and the B-theory of time, sometimes also called the Scientific view of time, according to which reality is a four-dimensional spacetime manifold, where past, present and future things equally exist, and the present time and non-present times are metaphysically the same. I argue in favour of a novel response to the much-vexed question of whether there is change on the B-theory or not. In fact, B-theorists are often said (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Constitutivism and the Schmagency Challenge.Luca Ferrero - 2009 - In Russ Shafer-Landau (ed.), Oxford Studies in Metaethics: Volume Four. Oxford University Press.
  43. Presentism and Times as Propositions.Luca Banfi & Daniel Deasy - 2021 - Philosophical Studies 179 (3):725-743.
    Some Presentists—according to whom everything is present—identify instants of time with propositions of a certain kind. However, the view that times are propositions seems to be at odds with Presentism: if there are times then there are past times, and therefore things that are past; but how could there be things that are past if everything is present? In this paper, we describe the Presentist view that times are propositions ; we set out the argument that Presentism is incompatible with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Constitutivism, Moral.Luca Ferrero - 2022 - In Hugh LaFollette (ed.), International Encyclopedia of Ethics. Wiley.
    Moral constitutivism purports to explain moral normativity by appeal to the nature of either agency or rational powers. Ambitious constitutivism aspires to ground the categorical authority of morality and to derive the content of the basic moral norms while avoiding the problems of moral realism. As a general strategy, moral constitutivism faces three serious challenges. First, the shmagency challenge. The worry is that the authority of the norms derived from the nature of agency is only conditional on having a reason (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  43
    About cut elimination for logics of common knowledge.Luca Alberucci & Gerhard Jäger - 2005 - Annals of Pure and Applied Logic 133 (1):73-99.
    The notions of common knowledge or common belief play an important role in several areas of computer science , in philosophy, game theory, artificial intelligence, psychology and many other fields which deal with the interaction within a group of “agents”, agreement or coordinated actions. In the following we will present several deductive systems for common knowledge above epistemic logics –such as K, T, S4 and S5 –with a fixed number of agents. We focus on structural and proof-theoretic properties of these (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  46.  69
    The Monstrous Conclusion.Luca Stroppa - 2024 - Synthese 203 (6):1-24.
    This paper introduces the Monstrous Conclusion, according to which, for any population, there is a better population consisting of just one individual (the Monster). The Monstrous Conclusion is deeply counterintuitive. I defend a version of Prioritarianism as a particularly promising population axiology that does not imply the Monstrous Conclusion. According to this version of Prioritarianism, which I call Asymptotic Prioritarianism, there is diminishing marginal moral importance of individual welfare that can get close to, but never quite reach, some upper limit. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. La Teoria dell'Identita Personale di Parfit e l'Utilitarismo.Luca Ferrero - 1993 - Annali Del Dipartimento di Filosofia 9:161-196.
  48.  8
    The Implementation and Evaluation of a Media Literacy Intervention About PAES Use in Sport Science Students.Luca Mallia, Andrea Chirico, Arnaldo Zelli, Federica Galli, Tommaso Palombi, Laura Bortoli, Cristiana Conti, Pierluigi Diotaiuti, Claudio Robazza, Federico Schena, Francesca Vitali, Thomas Zandonai & Fabio Lucidi - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Action.Luca Ferrero - 2009 - In John Shand (ed.), Central Issues of Philosophy. Wiley-Blackwell. pp. 137-151.
  50.  28
    Labelled non-classical logics.Luca Viganò - 2000 - Boston: Kluwer Academic Publishers.
    The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
1 — 50 / 999