Contents
7436 found
Order:
1 — 50 / 7436
Material to categorize
  1. Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai Wehmeier (eds.) - 2024 - Springer.
    This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Towards the Inevitability of Non-Classical Probability.Giacomo Molinari - 2023 - Review of Symbolic Logic 16 (4):1053-1079.
    This paper generalises an argument for probabilism due to Lindley [9]. I extend the argument to a number of non-classical logical settings whose truth-values, seen here as ideal aims for belief, are in the set $\{0,1\}$, and where logical consequence $\models $ is given the “no-drop” characterization. First I will show that, in each of these settings, an agent’s credence can only avoid accuracy-domination if its canonical transform is a (possibly non-classical) probability function. In other words, if an agent values (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou.Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.) - 2023 - College Publications.
    This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. An Axiomatic Approach to the Quantified Argument Calculus.Matteo Pascucci - 2023 - Erkenntnis 88 (8):3605-3630.
    The present article employs a model-theoretic semantics to interpret a fragment of the language of the Quantified Argument Calculus (Quarc), a recently introduced logical system whose main aim is capturing the structure of natural language sentences in a closer way than does the language of classical logic. The main contribution is an axiomatization for the set of formulas that are valid in all standard interpretations within the employed semantics.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp. [REVIEW]Bruno Bentzen - 2023 - Bulletin of Symbolic Logic 29 (3):456-457.
  6. Ramsey's Lost Counterfactual.Caterina Sisti - 2022 - History and Philosophy of Logic 44 (3):311-326.
    In contemporary works on conditionals, the Ramsey test is a procedure for the evaluation of conditional sentences. There are several versions of the test, all inspired by a footnote by the British philosopher and mathematician Frank Ramsey, in his General Propositions and Causality. However, no study on Ramsey's own account of conditionals has been put forth so far. Furthermore, the footnote seems to cover indicative conditionals only, and this has led to the belief that no account of counterfactuals can be (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  7. The liberation argument for inconsistent mathematics.Franci Mangraviti - 2023 - Australasian Journal of Logic 29 (2):278-315.
    Val Plumwood charged classical logic not only with the invalidity of some of its laws, but also with the support of systemic oppression through naturalization of the logical structure of dualisms. In this paper I show that the latter charge - unlike the former - can be carried over to classical mathematics, and I propose a new conception of inconsistent mathematics - queer incomaths - as a liberatory activity meant to undermine said naturalization.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Non-transitive counterparts of every Tarskian logic.Damian Szmuc - forthcoming - Analysis.
    The aim of this article is to show that, just like in recent years Cobreros, Égré, Ripley and van Rooij provided a non-transitive counterpart of classical logic (meaning by this that all classically acceptable inferences are valid, but Cut and other metainferences are not) the same can be done for every Tarskian logic, with full generality. In order to establish this fact, we take a semantic approach, by showing that appropriate structures can be devised to characterize a non-transitive counterpart of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - 2022 - Journal of Philosophical Logic 52 (3):767-796.
    A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Probabilistic Entailment on First Order Languages and Reasoning with Inconsistencies.R. A. D. Soroush Rafiee - 2023 - Review of Symbolic Logic 16 (2):351-368.
    We investigate an approach for drawing logical inference from inconsistent premisses. The main idea in this approach is that the inconsistencies in the premisses should be interpreted as uncertainty of the information. We propose a mechanism, based on Kinght’s [14] study of inconsistency, for revising an inconsistent set of premisses to a minimally uncertain, probabilistically consistent one. We will then generalise the probabilistic entailment relation introduced in [15] for propositional languages to the first order case to draw logical inference from (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Logic for Exact Entailment.Kit Fine & Mark Jago - 2019 - Review of Symbolic Logic 12 (3):536-556.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  12. Completeness of the Quantified Argument Calculus on the Truth-Valuational Approach.Hanoch Ben-Yami & Edi Pavlović - 2022 - In Boran Berčić, Aleksandra Golubović & Majda Trobok (eds.), Human Rationality: Festschrift for Nenad Smokrović. Rijeka: Faculty of Humanities and Social Sciences, University of Rijeka. pp. 53–77.
    The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the original presentation, which (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. The Realism-Antirealism Debate in the Age of Alternative Logics.Mathieu Marion, Shahid Rahman & Laurent Keiff (eds.) - 2012
  14. God and the Problem of Logic.Andrew Dennis Bassford - 2023 - Cambridge University Press.
    Classical theists hold that God is omnipotent. But now suppose a critical atheologian were to ask: Can God create a stone so heavy that even he cannot lift it? This is the dilemma of the stone paradox. God either can or cannot create such a stone. Suppose that God can create it. Then there's something he cannot do – namely, lift the stone. Suppose that God cannot create the stone. Then, again, there's something he cannot do – namely, create it. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Against God of the Truth-Value Gaps.T. Parent - forthcoming - Analysis.
    Can God create an unliftable stone? Beall & Cotnoir propose that ‘God can create an unliftable stone’ is a truth-value gap (neither true nor false). However, this yields a revenge paradox on whether God can eschew gaps. Can God avoid gappy ascriptions of power? Either way, God’s power seems to have limits. In response, it may be said that ascribing God the power to avoid gaps is itself gappy—it concerns a power that God neither has nor lacks. Yet this ends (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. Conditionals, Support and Connexivity.Hans Rott - manuscript
    In natural language, conditionals are frequently used for giving explanations. Thus the antecedent of a conditional is typically understood as being connected to, being relevant for, or providing evidential support for the conditional's consequent. This aspect has not been adequately mirrored by the logics that are usually offered for the reasoning with conditionals: neither in the logic of the material conditional or the strict conditional, nor in the plethora of logics for suppositional conditionals that have been produced over the past (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. Three-Dimensional Affine Spatial Logics.Adam Trybus - 2022 - Logica Universalis 16 (4):603-620.
    We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in the case of the real plane. Our long-term goal is to analyse certain family of affine logics with inclusion and convexity as primitives interpreted over real spaces of increasing dimensionality. In this article we show that logics of different dimensionalities must have different theories, thus justifying further work on different dimensions. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. "The Bounds of Transcendental Logic" by D. Schulting, Cham, Switzerland, Palgrave Macmillan, 2022. [REVIEW]Srećko Kovač - 2022 - History and Philosophy of Logic 44 (1):107-110.
    In the book, the decisive, foundational role of transcendental apperception for logic and transcendental philosophy in Kant is corroborated. The book contains many implicit connections with modern logic that could help a logician with a philosophical interest to gain a deeper insight into the origins and foundations of concepts such as object, truth, analyticity, identity, contradiction, judgment, existence, reference, quantification and others, as well as into the foundations and possible general features of logic. In distinction to the book, this review (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19. Arbitrary Public Announcement Logic with Memory.Alexandru Baltag, Aybüke Özgün & Ana Lucia Vargas Sandoval - 2022 - Journal of Philosophical Logic 52 (1):53-110.
    We introduce Arbitrary Public Announcement Logic with Memory (APALM), obtained by adding to the models a ‘memory’ of the initial states, representing the information before any communication took place (“the prior”), and adding to the syntax operators that can access this memory. We show that APALM is recursively axiomatizable (in contrast to the original Arbitrary Public Announcement Logic, for which the corresponding question is still open). We present a complete recursive axiomatization, that includes a natural finitary rule, and study this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Probability and Symmetric Logic.Michał Gil Sanchez, Zalán Gyenis & Leszek Wroński - 2022 - Journal of Philosophical Logic 52 (1):183-198.
    In this paper we study the interaction between symmetric logic and probability. In particular, we axiomatize the convex hull of the set of evaluations of symmetric logic, yielding the notion of probability in symmetric logic. This answers an open problem of Williams ( 2016 ) and Paris ( 2001 ).
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - 2022 - Journal of Philosophical Logic 52 (1):313-343.
    Some think that logic concerns the “laws of truth”; others that logic concerns the “laws of thought.” This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Proof Theory of First Order Abduction: Sequent Calculus and Structural Rules.Seyed Ahmad Mirsanei - 2021 - Eighth Annual Conference of Iranian Association for Logic (Ial).
    The logical formalism of abductive reasoning is still an open discussion and various theories have been presented about it. Abduction is a type of non-monotonic and defeasible reasonings, and the logic containing such a reasoning is one of the types of non-nonmonotonic and defeasible logics, such as inductive logic. Abduction is a kind of natural reasoning and it is a solution to the problems having this form "the phenomenon of φ cannot be explained by the theory of Θ" and we (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. Tableau-resolution based description abduction logics: An A-Box Abduction Problem Solver in Artificial Intelligence.Seyed Ahmad Mirsanei - 2023 - In The 9th International TMU Student Philosophy Conference. Tehran: Tarbiat Modares University - Department of Philosophy. pp. 133-137.
    By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, and report shortly (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  24. Non-standard completeness of first-order MTL's extension using single-chain method.S. Ahmad Mirsanei - unknown
    One of the main problems in t-norm fuzzy logic's meta-theorems is that despite the strong completeness of BL’s extensions such as Łukasiewicz (Ł), Gödel (G) and Product (Π) logics (i.e., Multi-valued, Gödel and Product standard algebras on [0,1] interval) in the propositional approach, in the first-order approach, given their standard chains and corresponding algebras, they aren't complete and strongly complete. One solution to this problem is that the first-order approaches of different fuzzy logics are complete and even strongly complete with (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  25. A Teamwork communication model based on spiritual intelligence by fuzzy logic.S. Ahmad Mirsanei, Mohammad Kadkhoda & Jahani Hooriyeh - 2013 - Proceedings of the IEEE 2013:1-6.
    Spiritual Intelligence (S-Intelligence) introduced to achieve higher levels of knowledge and applying hidden knowledge. This intelligence is various in different people. When people work together in a team or set, these diverse influence on their performance. Facilitate the application of spiritual capacities by using abilities of S- intelligence is important to increase productivity teamwork. For this purpose, we provided a model of communication for individuals with different S-intelligence in performing team tasks. First, with the basics S-intelligence analysis and interviews with (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  26. Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic.Yale Weiss - 2022 - Notre Dame Journal of Formal Logic 63 (4):551-579.
    Since McCall (1966), the heterodox principle of propositional logic that it is impossible for a proposition to be entailed by its own negation—in symbols, ¬(¬φ→φ)—has gone by the name of Aristotle’s thesis, since Aristotle apparently endorses it in Prior Analytics 2.4, 57b3–14. Scholars have contested whether Aristotle did endorse his eponymous thesis, whether he could do so consistently, and for what purpose he endorsed it if he did. In this article, I reconstruct Aristotle’s argument from this passage and show that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Nāgārjuna’s Tetralemma in Yamauchi Tokuryū’s Philosophy.Romaric Jannel - 2022 - The Eastern Buddhist. Third Series 2.
  28. Grado de dependencia e independencia de los (sub) componentes de Conjuntos Borrosos y Neutrosóficos.Florentin Smarandache - 2019 - Neutrosophic Computing and Machine Learning 5 (1):1-6.
    La introducción del grado de dependencia (y en consecuencia el grado de independencia) entre los componentes del conjunto difuso, y también entre los componentes del conjunto neutrosófico, se introduce por primera vez en la quinta edición del libro de Neutrosofía en el año 2006, basado en los elementos descritos en dicha edición del libro, se comienza a conocer conceptos de conjuntos neutrosóficos de los componentes borrosos así como los grados de dependencia e independencia, Por tal motivo el objetivo del presente (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. Degree of Dependence and Independence of the (Sub)Components of Fuzzy Set and Neutrosophic Set.Florentin Smarandache - 2016 - Neutrosophic Sets and Systems 11 (1):95-97.
    We have introduced for the first time the degree of dependence (and consequently the degree of independence) between the components of the fuzzy set, and also between the components of the neutrosophic set in our 2006 book’s fifth edition [1]. Now we extend it for the first time to the refined neutrosophic set considering the degree of dependence or independence of subcomponets.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. Nidus Idearum. Scilogs, I: De neutrosophia.Florentin Smarandache - 2016 - Brussels, Belgium: Pons.
    In this first books of scilogs collected from my nest of ideas, one may find new and old questions and solutions, some of them already put at work, others dead or waiting, referring to neutrosophy – email messages to research colleagues, or replies, notes about authors, articles or books, so on.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Nidus Idearum. Scilogs, II: de rerum consectatione.Florentin Smarandache - 2016 - Brussels, Belgium: Pons.
    In this second book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, some of them already put at work, others dead or waiting, referring to many topics (see Topics) in different fields of research – email messages to research colleagues, or replies, notes about authors, articles, or books, so on – in an eager pursuit (consectatio) for meanings, reasons, and purports of (scientific) things (res).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Nidus Idearum. Scilogs, III: Viva la Neutrosophia!Florentin Smarandache - 2017 - Brussels, Belgium: Pons.
    In this third book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, referring to topics on NEUTROSOPHY – email messages to research colleagues, or replies, notes about authors, articles, or books, so on. Feel free to budge in or just use the scilogs as open source for your own ideas!
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Nidus Idearum. Scilogs, IV: vinculum vinculorum.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.
    In this fourth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, referring mostly to topics on NEUTROSOPHY – email messages to research colleagues, or replies, notes about authors, articles, or books, so on. Feel free to budge in or just use the scilogs as open source for your own ideas!
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  34. Nidus Idearum. Scilogs, V: joining the dots.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.
    In this fifth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, mostly referring to topics on NEUTROSOPHY – email messages to research colleagues, or replies, notes about authors, articles, or books, so on. Feel free to budge in or just use the scilogs as open source for your own ideas!
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Nidus Idearum. Scilogs, VI: annotations on neutrosophy.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.
    In this sixth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, referring to topics on NEUTROSOPHY – email messages to research colleagues, or replies, notes about authors, articles, or books, and so on. Feel free to budge in or just use the scilogs as open source for your own ideas!
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Nidus Idearum. Scilogs, VII: superluminal physics.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.
    In this seventh book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, referring to different scientific topics – email messages to research colleagues, or replies, notes about authors, articles, or books, so on. -/- Exchanging ideas with Akeem Adesina A. Agboola, Muhammad Akram, Octavian Blaga, Said Broumi, Kajal Chatterjee, Vic Christianto, Octavian Cira, Mihaela Colhon, B. Davvaz, Luu Quoc Dat, R. Dhavaseelan, Jean Dezert, Hoda Esmail, Reza Farhadian, Ervin Goldfain, Muhammad Gulistan, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Definición Mejorada de Lógica Neutrosófica No Estándar e Introducción a los Hiperreales Neutrosóficos (Quinta versión). Improved Definition of Non-Standard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth Version).Florentin Smarandache - 2022 - Neutrosophic Computing and Machine Learning 23 (1):1-20.
    In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they would (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  38. Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification.Marija Boričić - 2019 - Bulletin of Symbolic Logic 25 (4):446-447.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. What Follows from the Impossible: Everything or Nothing? (An Interpretation of the ‘Avranches Text’ and the Ars Meliduna).Wolfgang Lenzen - 2021 - History and Philosophy of Logic 43 (4):309-331.
    One of the main controversies of the Logic Schools of the 12th century centered on the question: What follows from the impossible? In this paper arguments for two diametrically opposed positions are examined. The author of the ‘Avranches Text’ who probably belonged to the school of the Parvipontani defended the view that from an impossible proposition everything follows (‘Ex impossibili quodlibet’). In particular he developed a proof to show that by means of so-called ‘disjunctive syllogism’ any arbitrary proposition B can (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. From Inconsistency to Incompatibility.Marcelo E. Coniglio & Guilherme V. Toledo - forthcoming - Logic and Logical Philosophy:1-36.
    The aim of this article is to generalize logics of formal inconsistency (LFIs) to systems dealing with the concept of incompatibility, expressed by means of a binary connective. The basic idea is that having two incompatible formulas to hold trivializes a deduction, and as a special case, a formula becomes consistent (in the sense of LFIs) when it is incompatible with its own negation. We show how this notion extends that of consistency in a non-trivial way, presenting conservative translations for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Poly-Connexivity: Connexive Conjunction and Disjunction.Nissim Francez - 2022 - Notre Dame Journal of Formal Logic 63 (3):343-355.
    This paper motivates the logic PCON, an extension of connexivity to conjunction and disjunction, called poly-connexivity. The motivation arises from differences in intonational stress patterns due to focus, where PCON turns out to be a logic of intentionally stressed connectives in focus.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams.Fausto Barbero & Fan Yang - 2022 - Notre Dame Journal of Formal Logic 63 (3):301-341.
    We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Measuring Inconsistency in Some Logics with Tense Operators.John Grant - 2022 - Notre Dame Journal of Formal Logic 63 (3):415-440.
    This paper starts the systematic study of inconsistency measures for propositional logics enriched with operators involving time. We use Prior’s operators for tense logic: H, G, P, and F; however, we apply different semantics to them. We define two logics. The first one, ATPL, allows formulas with the application of any of the four operators any number of times to propositional logic formulas. The semantics is given in terms of TPL structures. We then show how to measure the inconsistency of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.Aldo Figallo-Orellano, Miguel Peréz-Gaspar & Juan Manuel Ramírez-Contreras - 2022 - Studia Logica 110 (5):1291-1325.
    The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in papers [20] and [21]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by a k-periodic automorphism -algebras). We denote by \ the automorphism where k is a positive integer. For \, the class coincides with the one studied in [20] where the automorphism works as a new unary operator which can be considered as a negation. In (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Intuitionistic Propositional Logic with Galois Negations.Minghui Ma & Guiying Li - 2023 - Studia Logica 111 (1):21-56.
    Intuitionistic propositional logic with Galois negations ( \(\mathsf {IGN}\) ) is introduced. Heyting algebras with Galois negations are obtained from Heyting algebras by adding the Galois pair \((\lnot,{\sim })\) and dual Galois pair \((\dot{\lnot },\dot{\sim })\) of negations. Discrete duality between GN-frames and algebras as well as the relational semantics for \(\mathsf {IGN}\) are developed. A Hilbert-style axiomatic system \(\mathsf {HN}\) is given for \(\mathsf {IGN}\), and Galois negation logics are defined as extensions of \(\mathsf {IGN}\). We give the bi-tense (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Enumerating teams in first-order team logics.Anselm Haak, Arne Meier, Fabian Müller & Heribert Vollmer - 2022 - Annals of Pure and Applied Logic 173 (10):103163.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Embedding causal team languages into predicate logic.Fausto Barbero & Pietro Galliani - 2022 - Annals of Pure and Applied Logic 173 (10):103159.
  48. Iterated team semantics for a hierarchy of informational types.Vít Punčochář - 2022 - Annals of Pure and Applied Logic 173 (10):103156.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.
  50. Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence.Rafael Albert & Erich Grädel - 2022 - Annals of Pure and Applied Logic 173 (10):103088.
1 — 50 / 7436