Related

Contents
7389 found
Order:
1 — 50 / 7389
Material to categorize
  1. 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  
  2. 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   4 citations  
  3. 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  
  4. 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  
     
    Export citation  
     
    Bookmark  
  5. Beall & Cotnoir on Omnipotence.T. Parent - manuscript
    Can God create an unliftable stone? Beall & Cotnoir have offered a new answer, suggesting that 'God can create an unliftable stone' is a truth-value gap--neither true nor false. I argue that their solution is susceptible to a revenge paradox, concerning whether God has the power to render the sentence non-gappy. More exactly, the revenge paradox concerns whether God has the power to realize the attribute "having the power to create an unliftable stone or not." Assuming a being with all (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. 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  
  7. 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  
  8. "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  
  9. 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  
  10. 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  
  11. 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   1 citation  
  12. 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  
  13. 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  
  14. 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  
  15. 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  
  16. 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  
  17. Nāgārjuna’s Tetralemma in Yamauchi Tokuryū’s Philosophy.Romaric Jannel - 2022 - The Eastern Buddhist. Third Series 2.
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. 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  
  23. 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  
  24. 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  
  25. 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  
  26. 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  
  27. Improved Definition of NonStandard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth version).Florentin Smarandache - 2022 - Neutrosophic Sets and Systems 51 (1):1-20.
    In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise they (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. 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  
  29. 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  
  30. 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   1 citation  
  31. 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  
  32. 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  
  33. 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  
  34. 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  
  35. 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  
  36. Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - 2022 - Journal of Philosophical Logic 1: 1 - 26.
    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  
  37. 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  
  38. Ramsey's Lost Counterfactual.Caterina Sisti - forthcoming - History and Philosophy of Logic:1-16.
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  39. 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  
  40. Embedding causal team languages into predicate logic.Fausto Barbero & Pietro Galliani - 2022 - Annals of Pure and Applied Logic 173 (10):103159.
  41. 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  
  42. On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.
  43. 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.
  44. Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.
    The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. A Logic for Aristotle's Modal Syllogistic.Clarence Lewis Protin - 2022 - History and Philosophy of Logic.
    We propose a new modal logic endowed with a simple deductive system to interpret Aristotle's theory of the modal syllogism. While being inspired by standard propositional modal logic, it is also a logic of terms that admits a (sound) extensional semantics involving possible states-of-affairs in a given world. Applied to the analysis of Aristotle's modal syllogistic as found in the Prior Analytics A8-22, it sheds light on various fine-grained distinctions which when made allow us to clarify some ambiguities and obtain (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Automating Reasoning with Standpoint Logic via Nested Sequents.Tim Lyon & Lucía Gómez Álvarez - 2022 - In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. pp. 257-266.
    Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2021 - In Pietro Baroni, Christoph Benzmüller & Yὶ N. Wang (eds.), Lecture Notes in Computer Science. 93413 Cham, Germany: pp. 495-503.
    We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  48. Computational complexity of hybrid interval temporal logics.Przemysław Andrzej Wałęga - 2023 - Annals of Pure and Applied Logic 174 (1):103165.
  49. A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1-2):323-333.
    An extension of the propositional probability logic \ given in Ognjanović et al. that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1):323-333.
    An extension of the propositional probability logic \ given in Ognjanović et al. that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 7389