Results for 'Non-Classical Logic'

950 found
Order:
  1.  16
    Party contributions from non-classical logics.Contributions From Non-Classical Logics - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 457.
  2.  35
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  3. A fundamental non-classical logic.Wesley Holliday - 2023 - Logics 1 (1):36-79.
    We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules for the logical constants. From this starting point, if one adds the rule that Fitch called Reiteration, one obtains a proof system for intuitionistic logic in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. A Non-classical Logical Approach to Social Software.Can Başkent - 2017 - In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  5. Non-Classical Logics, Model Theory and Computability.[author unknown] - 1980 - Critica 12 (34):154-158.
     
    Export citation  
     
    Bookmark  
  6. Non-Classical Logics.Kazem Sadegh-Zadeh - 2011 - In Handbook of Analytic Philosophy of Medicine. Dordrecht, Heidelberg, New York, London: Springer.
     
    Export citation  
     
    Bookmark  
  7. Introduction - Non-classical logic.R. Routley - 1983 - Logique Et Analyse 26 (2):121.
     
    Export citation  
     
    Bookmark  
  8.  48
    Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
  9.  14
    V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics.Alex Citkin & Ioannis M. Vandoulakis (eds.) - 2022 - Springer, Outstanding Contributions To Logic (volume 24).
    This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic. The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov’s results and their applications in algebraic logic, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  79
    Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
    Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  11.  10
    Classical vs non-classical logics: the universality of classical logic.Dov M. Gabbay - 1993 - Saarbrücken, Germany: Max-Planck-Institut für Informatik.
    "This report investigates the question of the universality of classical logic. The approach is to show that an almost arbitrary logical system can be translated reasonably intuitively and almost automatically into classical logic. The path leading to this result goes through the analysis of what is reasonable logic, how to find semantics for it, how to build a labelled deductive system (LDS) for it, how to translate a LDS into classical logic and how (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  13. Meta-Classical Non-Classical Logics.Eduardo Barrio, Camillo Fiore & Federico Pailos - forthcoming - Review of Symbolic Logic:1-26.
    Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  67
    Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
    We discuss the interpolation property on some important families of non classical logics, such as intuitionistic, modal, fuzzy, and linear logics. A special paragraph is devoted to a generalization of the interpolation property, uniform interpolation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  7
    Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
  16.  45
    Translating Non-classical Logics into Classical Logic by Using Hidden Variables.Juan C. Agudelo-Agudelo - 2017 - Logica Universalis 11 (2):205-224.
    Dyadic semantics is a sort of non-truth-functional bivalued semantics introduced in Caleiro et al. Logica Universalis, Birkhäuser, Basel, pp 169–189, 2005). Here we introduce an algorithmic procedure for constructing conservative translations of logics characterised by dyadic semantics into classical propositional logic. The procedure uses fresh propositional variables, which we call hidden variables, to represent the indeterminism of dyadic semantics. An alternative algorithmic procedure for constructing conservative translations of any finite-valued logic into classical logic is also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Judgement aggregation in non-classical logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.
    This work contributes to the theory of judgement aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgement aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgement aggregation in non-classical logics is that they offer a number of modelling choices to represent agents’ reasoning in aggregation problems. By studying (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  42
    Skolem Functions in Non-Classical Logics.Tore Fjetland Øgaard - 2017 - Australasian Journal of Logic 14 (1):181-225.
    This paper shows how to conservatively extend theories formulated in non-classical logics such as the Logic of Paradox, the Strong Kleene Logic and relevant logics with Skolem functions. Translations to and from the language extended by Skolem functions into the original one are presented and shown to preserve derivability. It is also shown that one may not always substitute s=f(t) and A(t, s) even though A determines the extension of a function and f is a Skolem function (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19. The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1977 - In Wilfrid Hodges (ed.), Logic. New York: Penguin Books. pp. 1-32.
    Until not too many years ago, all logics except classical logic (and, perhaps, intuitionistic logic too) were considered to be things esoteric. Today this state of a airs seems to have completely been changed. There is a growing interest in many types of nonclassical logics: modal and temporal logics, substructural logics, paraconsistent logics, non-monotonic logics { the list is long. The diversity of systems that have been proposed and studied is so great that a need is felt (...)
     
    Export citation  
     
    Bookmark   59 citations  
  20. An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
    This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   205 citations  
  21.  56
    On AGM for Non-Classical Logics.Renata Wassermann - 2011 - Journal of Philosophical Logic 40 (2):271 - 294.
    The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations are constrained by rationality postulates. In the original proposal, the logic underlying the reasoning was supposed to be supraclassical, among other properties. In this paper, we present some of the existing work in adapting the AGM theory for non-classical logics and discuss their interconnections (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22. A non-classical logical foundation for naturalised realism.Emma Ruttkamp-Bloem, Giovanni Casini & Thomas Meyer - 2015 - In Pavel Arazim & Michal Dancak (eds.), Logica Yearbook 2014. College Publications. pp. 249-266.
    In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of science based (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  65
    Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism.Gerhard Schurz - 2021 - Journal of Philosophical Logic 51 (1):27-55.
    In order to prove the validity of logical rules, one has to assume these rules in the metalogic. However, rule-circular ‘justifications’ are demonstrably without epistemic value. Is a non-circular justification of a logical system possible? This question attains particular importance in view of lasting controversies about classical versus non-classical logics. In this paper the question is answered positively, based on meaning-preserving translations between logical systems. It is demonstrated that major systems of non-classical logic, including multi-valued, paraconsistent, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  72
    Belief revision in non-classical logics.Dov Gabbay, Odinaldo Rodrigues & Alessandra Russo - 2008 - Review of Symbolic Logic 1 (3):267-304.
    In this article, we propose a belief revision approach for families of (non-classical) logics whose semantics are first-order axiomatisable. Given any such (non-classical) logic , the approach enables the definition of belief revision operators for , in terms of a belief revision operation satisfying the postulates for revision theory proposed by Alchourrrdenfors and Makinson (AGM revision, Alchourrukasiewicz's many-valued logic. In addition, we present a general methodology to translate algebraic logics into classical logic. For the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  23
    Investigating finite models of non-classical logics with relation algebra and RELVIEW.Rudolf Berghammer & Renate A. Schmidt - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 31--49.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  98
    Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.
    This is the first introductory textbook on non-classical propositional logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   128 citations  
  27.  85
    Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.
    We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  28. An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.
     
    Export citation  
     
    Bookmark   200 citations  
  29.  42
    Some non-classical logics seen from a variety of perspectives.Nuel Belnap - 2003 - Journal of Sun Yatsen University 43:167-179.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  30
    Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic.Marilynn Johnson - 2015 - Australasian Journal of Logic 12 (2):97-120.
    In An Introduction to Non-Classical Logic: From If to Is Graham Priest presents branching rules in Free Logic, Variable Domain Modal Logic, and Intuitionist Logic. I propose a simpler, non-branching rule to replace Priest's rule for universal instantiation in Free Logic, a second, slightly modified version of this rule to replace Priest's rule for universal instantiation in Variable Domain Modal Logic, and third and fourth rules, further modifying the second rule, to replace Priest's (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  36
    Definability and Interpolation in Non-Classical Logics.Larisa Maksimova - 2006 - Studia Logica 82 (2):271-291.
    Algebraic approach to study of classical and non-classical logical calculi was developed and systematically presented by Helena Rasiowa in [48], [47]. It is very fruitful in investigation of non-classical logics because it makes possible to study large families of logics in an uniform way. In such research one can replace logics with suitable classes of algebras and apply powerful machinery of universal algebra. In this paper we present an overview of results on interpolation and definability in modal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  32.  32
    Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin (eds.), Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Berlin/Heidelberg: Springer Verlag, 2016), 278 pp. [REVIEW]Kristina Šekrst - 2016 - Prolegomena 15 (2):220-223.
    Review of Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin, Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium, 278 pp.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  31
    Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium.Syraya Chin-Mu Yang, Duen-Min Deng & Hanti Lin (eds.) - 2015 - Heidelberg, Germany: Springer.
    This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: structural modeling of certain philosophical issues in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  60
    An Alleged Tension between non-Classical Logics and Applied Classical Mathematics.Sebastian Horvat & Iulian D. Toader - 2024 - The Philosophical Quarterly 1:1-19.
    Timothy Williamson has maintained that the applicability of classical mathematics in science raises a problem for the endorsement, in non-mathematical domains, of a wide range of non-classical logics. We show that this is false.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35. A non-classical logic for physics.Robin Giles - 1974 - Studia Logica 33 (4):397 - 415.
  36.  34
    Constructive canonicity in non-classical logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.
    Sufficient syntactic conditions for canonicity in intermediate and intuitionistic modal logics are given. We present a new technique which does not require semantic first-order reduction and which is constructive in the sense that it works in an intuitionistic metatheory through a model without points which is classically isomorphic to the usual canonical model.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  37. An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
  38. An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
     
    Export citation  
     
    Bookmark   257 citations  
  39. Non-classical Logic, Structural Modelling and Meaning: The Proceedings of the Second Taiwan Philosophical Logic Colloquium TPLC-2014.D. M. Deng, Hanti Lin & Syraya C. M. Yang (eds.) - 2016 - Springer Verlag.
  40.  27
    Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic.Christoph Benzmüller - 2011 - Annals of Mathematics and Artificial Intelligence) 62 (1-2):103-128.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  20
    Semantical investigations on non-classical logics with recovery operators: negation.David Fuenmayor - forthcoming - Logic Journal of the IGPL.
    We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to ‘recover’ the properties of classical logic in a controlled manner. These structures are known as topological Boolean algebras, which are Boolean algebras extended with additional operations subject to specific conditions of a topological nature. In this study, we focus on the paradigmatic case of negation. We demonstrate how these algebras are well-suited (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  25
    Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
  43.  56
    Non-classical logics and the independence results of set theory.Melvin Fitting - 1972 - Theoria 38 (3):133-142.
  44.  24
    The impossibility of certain higher-order non-classical logics with extensionality.J. Michael Dunn - 1988 - In D. F. Austin (ed.), Philosophical Analysis. Kluwer Academic Publishers. pp. 261--279.
  45.  31
    Automatic checking properties of non-classical logics.Pavel Schreiner - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):507-516.
    The paper gives a survey of results related to a problem of automatic recognizing important properties of non-classical logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  32
    Jc Beall’s current and potential impact on the continental philosophy of non-classical logics.Corry Shores - 2023 - Asian Journal of Philosophy 2 (1):1-12.
    The continental philosophy of non-classical logics is a relatively new field that seeks to determine whether any aspects of certain continental philosophers’ thinking can be characterized in terms of non-classical logics. Some of the main figures that have been examined so far are Martin Heidegger, Jacques Derrida, Gilles Deleuze, and François Laruelle. Although many of these studies are grounded in the writings of Graham Priest, who wrote some of the seminal texts in the field, Jc Beall’s work also (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  34
    Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics.Petr Cintula & Carles Noguera - 2021 - Springer Verlag.
    This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform (...)
    No categories
  48.  45
    Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
    ABSTRACT In this paper it is shown that a broad class of propositional logics can be interpreted in an equational logic based on fork algebras. This interpetability enables us to develop a fork-algebraic formalization of these logics and, as a consequence, to simulate non-classical means of reasoning with equational theories algebras.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Maksimova, Relevance and the Study of Lattices of Non-classical Logics.Sergei Odintsov - 2018 - In Larisa Maksimova on Implication, Interpolation, and Definability. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  50. Classical Logic or Non-Reflexive Logic?: A Case of Semantic Underdetermination.Jonas Becker Arenhart & Décio Krause - 2012 - Revista Portuguesa de Filosofia 68 (1-2):73-86.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 950