Results for 'Valentin Babinëtìsev'

994 found
Order:
  1. Moskva i Ierusalim: russkie mysliteli XIX-nachala XX vv. o "evreĭskom voprose".Valentin Babinëtìsev - 1996 - Belgorod: Izd-vo "Vezelit︠s︡a".
  2. Nikolai A. Vasiliev, His Life and Imaginary Logic Legacy.Valentin Bazhanov - 2017 - In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  3
    L'écologique de l'histoire.Valentin Husson - 2020 - Zurich: Diaphanes.
  4.  17
    Philosophy and history of psychology: selected works of Elizabeth Valentine.Elizabeth R. Valentine - 2014 - London: Psychology Press, Taylor & Francis Group.
    In the World Library of Psychologists series, international experts themselves present career-long collections of what they judge to be their finest pieces – extracts from books, key articles, salient research findings, and their major practical theoretical contributions. Elizabeth Valentine has an international reputation as an eminent scholar and pioneer in the field of philosophy and history of psychology. This selection brings together some of her best work over the last thirty years. A specially written introduction gives an overview of her (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. On the event relativity of modal auxiliaries.Valentine Hacquard - 2010 - Natural Language Semantics 18 (1):79-114.
    Crosslinguistically, the same modal words can be used to express a wide range of interpretations. This crosslinguistic trend supports a Kratzerian analysis, where each modal has a core lexical entry and where the difference between an epistemic and a root interpretation is contextually determined. A long-standing problem for such a unified account is the equally robust crosslinguistic correlation between a modal’s interpretation and its syntactic behavior: epistemics scope high (in particular higher than tense and aspect) and roots low, a fact (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  6.  18
    “Racialized Disablement” as a Key Heuristic for Addressing Racism in Bioethics.Desiree Valentine - 2022 - American Journal of Bioethics 22 (3):24-26.
    Russell’s “Meeting the Moment: Bioethics in the Time of Black Lives Matter” expertly identifies how race and racism are matters of bioethical concern that ought to be addressed via an indivi...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  9
    Oscar Romero (1917–1980): A model of pastoral leadership for church leaders in Africa.Valentine U. Iheanacho - 2020 - HTS Theological Studies 76 (2):1-8.
    Until 1977, Monsignor Romero was a traditional Catholic bishop trained in traditional Roman theology with a penchant for order and non-involvement in 'politics'. He was also a product of the 1968 Medellin Conference which fashioned a pastoral model for the Latin American church: 'A fundamental option for the poor' on the thrust of the Second Vatican Council. This article seeks to present Oscar Romero within a historical context and proposes him as a servant-leader model for African church leaders, especially Catholic (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  63
    Moral Intensity, Issue Importance, and Ethical Reasoning in Operations Situations.Sean Valentine & David Hollingworth - 2012 - Journal of Business Ethics 108 (4):509 - 523.
    Previous work suggests that moral intensity and the perceived importance of an ethical issue can influence individual ethical decision making. However, prior research has not explored how the various dimensions of moral intensity might differentially affect PIE, or how moral intensity might function together with (or in the presence of) PIE to influence ethical decision making. In addition, prior work has also not adequately investigated how the operational context of an organization, which may embody conditions or practices that create barriers (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  9.  8
    Irresolvable norm conflicts in international law: the concept of a legal dilemma.Valentin Jeutner - 2017 - New York, NY: Oxford University Press.
    Conventionally, international legal scholarship concerned with norm conflicts focuses on identifying how international law can or should resolve them. This book adopts a different approach. It focuses on identifying those norm conflicts that law cannot and should not resolve. The book offers an unprecedented, controversial, yet sophisticated, argument in favour of construing such irresolvable conflicts as legal dilemmas. Legal dilemmas exist when a legal actor confronts a conflict between at least two legal norms that cannot be avoided or resolved. Addressing (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  3
    The Reasonable Person: A Legal Biography.Valentin Jeutner - 2024 - Cambridge University Press.
    Jeutner argues that the reasonable person is, at heart, an empathetic perspective-taking device, by tracing the standard of the reasonable person across time, legal fields and countries. Beginning with a review of imaginary legal figures in the legal systems of ancient Egypt, Greece, and Rome, the book explains why the common law's reasonable person emerged amidst the British industrialisation under the influence of Scottish Enlightenment thinking. Following the figure into colonial courts, onto battlefields and into self-driving cars, the book contends (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  87
    A Metaphysical Perspective on Herzen's Drawing Closer to Slavophilism.Valentin V. Lazarev - 2012 - Russian Studies in Philosophy 51 (3):71-82.
    The author examines the nature of Herzen's relationship with Slavophilism in its conflict with Westernism and discusses his incipient religiosity.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Seana Valentine Shiffrin.Seana Valentine Shiffrin - 1999 - Legal Theory 5 (2):117-148.
     
    Export citation  
     
    Bookmark   4 citations  
  13.  24
    INTRODUCTION: Introduction to the Special Issue “Frege's Philosophy of Mathematics and Language”.Valentin Sorin Costreie - 2013 - History and Philosophy of Logic 34 (3):195-195.
    This special issue is a result of The Bucharest Colloquium in Analytic Philosophy dedicated to Frege's philosophy of mathematics and language. It was held at the Research Center for Logic, H...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14. On the interaction of aspect and modal auxiliaries.Valentine Hacquard - 2009 - Linguistics and Philosophy 32 (3):279-315.
    This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with a circumstantial modal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  15. Modal definability in enriched languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
    The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  16. Ethics programs, perceived corporate social responsibility and job satisfaction.Sean Valentine & Gary Fleischman - 2008 - Journal of Business Ethics 77 (2):159 - 172.
    Companies offer ethics codes and training to increase employees’ ethical conduct. These programs can also enhance individual work attitudes because ethical organizations are typically valued. Socially responsible companies are likely viewed as ethical organizations and should therefore prompt similar employee job responses. Using survey information collected from 313 business professionals, this exploratory study proposed that perceived corporate social responsibility would mediate the positive relationships between ethics codes/training and job satisfaction. Results indicated that corporate social responsibility fully or partially mediated the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   78 citations  
  17.  5
    Teología y pastoral del sacramento de la penitencia en la obra de San Francisco de Sales.Valentín Viguera Franco - 2024 - Isidorianum 5 (10):165-197.
    La primera parte del artículo presenta un raro texto titulado "Avertissements aux Confesseurs", que se completa con otros dos fragmentos y las "Ordenances synodales" para los confesores. Se muestra como ejemplo de los efectos prácticos del Concilio de Trento en la diócesis de Ginebra, como había hecho San Carlos Borromeo en Milán. La segunda parte del artículo se refiere a los penitentes, y aunque se basa principalmente en "Introducción a la vida devota" y "Conversaciones espirituales", también tiene en cuenta algunos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  93
    Ethics codes and sales professionals' perceptions of their organizations' ethical values.Sean Valentine & Tim Barnett - 2002 - Journal of Business Ethics 40 (3):191 - 200.
    Most large companies and many smaller ones have adopted ethics codes, but the evidence is mixed as to whether they have a positive impact on the behavior of employees. We suggest that one way that ethics codes could contribute to ethical behavior is by influencing the perceptions that employees have about the ethical values of organizations. We examine whether a group of sales professionals in organizations with ethics codes perceive that their organizational context is more supportive of ethical behavior than (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  19. Curriculum Management and Graduate Programmes’ Viability: The Mediation of Institutional Effectiveness Using PLS-SEM Approach.Valentine Joseph Owan, Emmanuel E. Emanghe, Chiaka P. Denwigwe, Eno Etudor-Eyo, Abosede A. Usoro, Victor O. Ebuara, Charles Effiong, Joseph O. Ogar & Bassey A. Bassey - 2022 - Journal of Curriculum and Teaching 11 (5):114-127.
    This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  4
    Espiritualidad y vida consagrada.Valentín Viguera Franco - 2024 - Isidorianum 4 (8):33-66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  52
    A dialogue on Metasystem transition.Valentin Turchin - 1995 - World Futures 45 (1):5-57.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  22. Modern Methods in Archeology: the Novgorod Excavations.Valentin L. Yanine & Wells F. Chamberlin - 1960 - Diogenes 8 (29):82-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  67
    Creative Education as a Method of “Production” a Man as Subject of Own History.Valentin Ageyev - 2008 - Proceedings of the Xxii World Congress of Philosophy 37:7-11.
    The cause of contemporary education is a subject-object relation of the society to man. There are two possible types of education constructed on the basis of this relation: cultural-oriented and social-oriented. None of this two types can solve the problem of a man as a subject of own history. Creative type of education based оn a subject-subject relation can solve this problem.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. ¿La reforma de la Ley 5/00 sobre la reinserción social?Valentín J. Aguilar - 2008 - Critica 58 (954):46-50.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  6
    Esteticheski fragmenti.Valentin Angelov - 2023 - Veliko Tŭrnovo: Universitetsko izdatelstvo "Sv. sv. Kiril i Metodiĭ".
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. История философии.Valentin Balanovskiy (ed.) - 1898
    No categories
     
    Export citation  
     
    Bookmark  
  27.  5
    Pilar Pérez-Fuentes Hernández (ed.), Entre do.Valentine Mercier - 2016 - Clio 44.
    L’ouvrage Entre deux rives : les femmes dans l’histoire de l’Espagne et de l’Amérique latine regroupe les contributions d’un colloque tenu en novembre 2010 à Bilbao. Organisée par l’Association espagnole de recherche en histoire des femmes (AEIHM), cette rencontre visait à tracer un bilan des investigations réalisées depuis les débuts de l’histoire des femmes et du genre. Il s’agissait ainsi de dresser un état des lieux de ce champ d’études, tout en pointant les débats spécifiques à l’espace...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  11
    Extracellular nucleic acids.Valentin V. Vlassov, Pavel P. Laktionov & Elena Y. Rykova - 2007 - Bioessays 29 (7):654-667.
    Extracellular nucleic acids are found in different biological fluids in the organism and in the environment: DNA is a ubiquitous component of the organic matter pool in the soil and in all marine and freshwater habitats. Data from recent studies strongly suggest that extracellular DNA and RNA play important biological roles in microbial communities and in higher organisms. DNA is an important component of bacterial biofilms and is involved in horizontal gene transfer. In recent years, the circulating extracellular nucleic acids (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Orientación Astronómica de algunos Monumentos Arqueológicos del Ecuador.Valentín Yurevich, Eduardo Almeida Reyes, Luis Espín & Gustavo Guayasamín - forthcoming - Manuscrito. Quito.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  11
    Ethisch richtig denken und handeln.Valentin Zsifkovits - 2005 - Wien: Lit.
  31. Two forms of responsibility: Reassessing Young on structural injustice.Valentin Beck - 2023 - Critical Review of International Social and Political Philosophy 26 (6):918-941.
    In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  32.  48
    Ethics Programs, Perceived Corporate Social Responsibility and Job Satisfaction.Sean Valentine & Gary Fleischman - 2008 - Journal of Business Ethics 77 (2):159-172.
    Companies offer ethics codes and training to increase employees' ethical conduct. These programs can also enhance individual work attitudes because ethical organizations are typically valued. Socially responsible companies are likely viewed as ethical organizations and should therefore prompt similar employee job responses. Using survey information collected from 313 business professionals, this exploratory study proposed that perceived corporate social responsibility would mediate the positive relationships between ethics codes/training and job satisfaction. Results indicated that corporate social responsibility fully or partially mediated the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   77 citations  
  33. Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  34. Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  35. Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  36.  52
    The Curious Case of Cramblett v. Midwest Sperm Bank: Centering a Political Ontology of Race and Disability for Liberatory Thought.Desiree Valentine - 2020 - Journal of Speculative Philosophy 34 (3):424-440.
    In October of 2014, news outlets began reporting on a case of a lesbian couple suing a sperm bank for receiving the wrong donor's sperm.1 As the lawsuit Cramblett v. Midwest Sperm Bank alleged, not only did the couple receive the wrong donor's sperm but they had specifically chosen a white donor with blonde hair and blue eyes and the sperm they received had been from a black donor.2 Both women were white. The couple gave birth to a black/mixed-race child (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  81
    The ethical decision making of men and women executives in international business situations.Sean R. Valentine & Terri L. Rittenburg - 2007 - Journal of Business Ethics 71 (2):125 - 134.
    While a number of studies have examined the impact of gender/sex on ethical decision-making, the findings of this body of research do not provide consistent answers. Furthermore, very few of these studies have incorporated cross-cultural samples. Consequently, this study of 222 American and Spanish business executives explored sex differences in ethical judgments and intentions to act ethically. While no significant differences between males and females were found with respect to ethical judgments, females exhibited higher intentions to act more ethically than (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  38.  22
    The Scholar and the “Wolfhound Era”: The Fate of Ivan E. Orlov's Ideas in Logic, Philosophy, and Science.Valentin A. Bazhanov - 2003 - Science in Context 16 (4).
  39.  8
    How are Pseudosciences Possible?Valentin A. Bazhanov - 2024 - Epistemology and Philosophy of Science 61 (2):6-22.
    The article has the goal to conceptualize the phenomenon of pseudoscience and its scope at the first quarter of the XXI century expires. The relevance, social and political importance of analyzing this phenomenon both at present and in historical retrospect in terms of studying the problem of demarcation of scientific and non-scientific knowledge emphasized. The existence of different types of scientific, quasi-scientific (deviant, proto-scientific) and non-scientific knowledge (pseudoscience, paranormal science, pseudoscience, shadow science) is pointed out. The expansion of pseudoscientific ideas (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  41.  62
    Spanish and american business professionals' ethical evaluations in global situations.Sean R. Valentine & Terri L. Rittenburg - 2004 - Journal of Business Ethics 51 (1):1-14.
    More ethics research needs to explore the global differences in ethical evaluations. This study explored the relationships among nationality, teleological evaluations, ethical judgments, and ethical intentions using a sample of 222 American and Spanish business professionals. The path analysis indicated that teleological evaluations were related to ethical judgments and that both ethical judgments and teleological evaluations were related to ethical intentions. Executive nationality was related to teleological evaluations and ethical intentions with American individuals having higher teleological assessments and intentions to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  42.  6
    Saville's Row with The Penguin Book of Spanish Civil War Verse.Valentine Cunningham - 1982 - In Martin Eve & David Musson (eds.), The Socialist Register. Merlin Press. pp. 19--19.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
    We draw parallels between several closely related logics that combine — in different proportions — elements of game theory, computation tree logics, and epistemic logics to reason about agents and their abilities. These are: the coalition game logics CL and ECL introduced by Pauly 2000, the alternating-time temporal logic ATL developed by Alur, Henzinger and Kupferman between 1997 and 2002, and the alternating-time temporal epistemic logic ATEL by van der Hoek and Wooldridge (2002). In particular, we establish some subsumption and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  44.  34
    Ethics codes and professionals' tolerance of societal diversity.Sean Valentine & Gary Fleischman - 2002 - Journal of Business Ethics 40 (4):301 - 312.
    Companies often develop codes prescribing an ethical organizational environment. However, the ability of ethics codes to increase individuals' tolerance of diversity is not fully considered in the ethics literature. This relationship was explored using a sample of 143 business and legal professionals. After accounting for the impact of several covariates, results indicated that professionals employed in organizations that had an ethics code were more tolerant of societal diversity than were professionals working in organizations that did not have an ethics code. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  45.  33
    Children's attitude problems: Bootstrapping verb meaning from syntax and pragmatics.Valentine Hacquard & Jeffrey Lidz - 2019 - Mind and Language 34 (1):73-96.
    How do children learn the meanings of propositional attitude verbs? We argue that children use information contained in both syntactic distribution and pragmatic function to zero in on the appropriate meanings. Specifically, we identify a potentially universal link between semantic subclasses of attitude verbs, their syntactic distribution and the kinds of indirect speech acts they can be used to perform. As a result, children can use the syntax as evidence about the meaning, which in turn constrains the kinds of pragmatic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  16
    Who has a meaningful life? A care ethics analysis of selective trait abortion.Riley Clare Valentine - 2024 - Medicine, Health Care and Philosophy 27 (2):205-216.
    Trait Selective Abortions (TSA) have come under critique as a medical practice that presents potential disabled infants as burdens and lacking the potential for meaningful lives. This paper, using the author’s background as a disabled person, contends that the philosophy underpinning TSAs reflects liberal society’s lack of a theory of needs. The author argues for a care ethics based approach informed by disability analyses to engage with TSAs.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  33
    « Everywhere » and « here ».Valentin Shehtman - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):369-379.
    ABSTRACT The paper studies propositional logics in a bimodal language, in which the first modality is interpreted as the local truth, and the second as the universal truth. The logic S4UC is introduced, which is finitely axiomatizable, has the f.m.p. and is determined by every connected separable metric space.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  48. A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49.  26
    Hybrid Deduction–Refutation Systems.Valentin Goranko - 2019 - Axioms 8 (4).
    Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining ‘hybrid derivation rules’ that involve both deduction and refutation. The goal of this paper is to develop a basic theory and ‘meta-proof’ theory of hybrid deduction–refutation systems. I then illustrate the concept on a hybrid derivation system of natural deduction for classical propositional logic, for which I (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  50. Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
    A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
1 — 50 / 994