22 found

Year:

  1.  12
    The Explosion Calculus.Michael Arndt - 2020 - Studia Logica 108 (3):509-547.
    A calculus for classical propositional sequents is introduced that consists of a restricted version of the cut rule and local variants of the logical rules. Employed in the style of proof search, this calculus explodes a given sequent into its elementary structural sequents—the topmost sequents in a derivation thus constructed—which do not contain any logical constants. Some of the properties exhibited by the collection of elementary structural sequents in relation to the sequent they are derived from, uniqueness and unique representation (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  21
    Inner-Model Reflection Principles.Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, Joel David Hamkins, Jonas Reitz & Ralf Schindler - 2020 - Studia Logica 108 (3):573-595.
    We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  12
    A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism.José Espírito Santo & Gilda Ferreira - 2020 - Studia Logica 108 (3):477-507.
    We study an alternative embedding of IPC into atomic system F whose translation of proofs is based, not on instantiation overflow, but instead on the admissibility of the elimination rules for disjunction and absurdity. As compared to the embedding based on instantiation overflow, the alternative embedding works equally well at the levels of provability and preservation of proof identity, but it produces shorter derivations and shorter simulations of reduction sequences. Lambda-terms are employed in the technical development so that the algorithmic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    Interpolation in Extensions of First-Order Logic.Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli - 2020 - Studia Logica 108 (3):619-648.
    We prove a generalization of Maehara’s lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig’s interpolation property. As a corollary, we obtain a direct proof of interpolation for first-order logic with identity, as well as interpolation for several mathematical theories, including the theory of equivalence relations, partial and linear orders, and various intuitionistic order theories such as apartness and positive partial and linear orders.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.Norihiro Kamide & Yoni Zohar - 2020 - Studia Logica 108 (3):549-571.
    In this study, we prove the completeness and cut-elimination theorems for a first-order extension F4CC of Arieli, Avron, and Zamansky’s ideal paraconsistent four-valued logic known as 4CC. These theorems are proved using Schütte’s method, which can simultaneously prove completeness and cut-elimination.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  14
    Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.
    In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose provability logic is exactly the normal modal logic \. Secondly, we introduce a new normal modal logic \ which is a proper extension of \, and prove that there exists a Rosser provability predicate whose provability logic includes \.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  15
    Simplified Kripke-Style Semantics for Some Normal Modal Logics.Andrzej Pietruszczak, Mateusz Klonowski & Yaroslav Petrukhin - 2020 - Studia Logica 108 (3):451-476.
    Pietruszczak :163–171, 2009. https://doi.org/10.12775/LLP.2009.013) proved that the normal logics \, \ ), \ are determined by suitable classes of simplified Kripke frames of the form \, where \. In this paper, we extend this result. Firstly, we show that a modal logic is determined by a class composed of simplified frames if and only if it is a normal extension of \. Furthermore, a modal logic is a normal extension of \ ; \; \) if and only if it is (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  8
    A General Framework for Probabilistic Measures of Coherence.Michael Schippers & Jakob Koscholke - 2020 - Studia Logica 108 (3):395-424.
    Coherence is a property of propositions hanging together or dovetailing with each other. About two decades ago, formal epistemologists started to engage in the project of explicating the seemingly elusive concept of coherence by means of probability theory. Since then, a plethora of coherence measures have been discussed in the literature. In this paper, we propose a general framework for coherence measures that encompasses the different frameworks of deviation measures, overlap measures and mutual support measures of coherence. Above that we (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  20
    Bayesian Confirmation or Ordinary Confirmation?Yongfeng Yuan - 2020 - Studia Logica 108 (3):425-449.
    This article reveals one general scheme for creating counter examples to Bayesian confirmation theory. The reason of the problems is that: in daily life the degree of confirmation is affected not only by probability but also by some non-probabilistic factors, e.g., structural similarity, quantity of evidence, and marginal utility, while Bayesian confirmation theory considers only probabilities to measure the degree of confirmation. This article resolves these problems after some detail analyses, and proposes a new confirmation measure based on these factors.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  10
    Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.
    In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that represents classical proofs in a more natural way than standard Gentzen-style natural deduction, admits of a simple normalization procedure such that normal proofs enjoy the Weak Subformula Property, provides the means to prove a Non-contamination Property of normal proofs that is not satisfied by normal proofs in the Gentzen tradition and is useful for applications, especially in formal argumentation, naturally leads to (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  5
    Simple Axiomatizations for Pretabular Classical Relevance Logics.Asadollah Fallahi - 2020 - Studia Logica 108 (2):359-393.
    KR is Anderson and Belnap’s relevance logic R with the addition of the axiom of EFQ: \ \rightarrow q\). Since KR is relevantistic as to implication but classical as to negation, it has been dubbed, among many others, a ‘classical relevance logic.’ For KR, there have been known so far just two pretabular normal extensions. For these pretabular logics, no simple axiomatizations have yet been presented. In this paper, we offer some and show that they do the job. We also (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  25
    When is a Schema Not a Schema? On a Remark by Suszko.Lloyd Humberstone & Allen Hazen - 2020 - Studia Logica 108 (2):199-220.
    A 1971 paper by Roman Suszko, ‘Identity Connective and Modality’, claimed that a certain identity-free schema expressed the condition that there are at most two objects in the domain. Section 1 here gives that schema and enough of the background to this claim to explain Suszko’s own interest in it and related conditions—via non-Fregean logic, in which the objects in question are situations and the aim is to refrain from imposing this condition. Section 3 shows that the claim is false, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  9
    Extended Contact Algebras and Internal Connectedness.Tatyana Ivanova - 2020 - Studia Logica 108 (2):239-254.
    The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional relation C, called contact. Standard models of contact algebras are topological and are the contact algebras of regular closed sets in a given topological space. In such a contact algebra we add the predicate of internal connectedness with the following meaning—a regular closed set is internally connected if and only if its interior is (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  14.  17
    Countably Many Weakenings of Belnap–Dunn Logic.Minghui Ma & Yuanlei Lin - 2020 - Studia Logica 108 (2):163-198.
    Every Berman’s variety \ which is the subvariety of Ockham algebras defined by the equation \ and \) determines a finitary substitution invariant consequence relation \. A sequent system \ is introduced as an axiomatization of the consequence relation \. The system \ is characterized by a single finite frame \ under the frame semantics given for the formal language. By the duality between frames and algebras, \ can be viewed as a \-valued logic as it is characterized by a (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15.  5
    Epimorphisms, Definability and Cardinalities.T. Moraschini, J. G. Raftery & J. J. Wannenburg - 2020 - Studia Logica 108 (2):255-275.
    We characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures. This allows us to strengthen a result of Bacsich, as follows: in any prevariety having at most \ non-logical symbols and an axiomatization requiring at most \ variables, if the epimorphisms into structures with at most \ elements are surjective, then so are all of the epimorphisms. Using these facts, we formulate and prove manageable ‘bridge theorems’, matching the surjectivity of all epimorphisms in (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  7
    Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - 2020 - Studia Logica 108 (2):221-237.
    We apply the theory of partial algebras, following the approach developed by Van Alten, to the study of the computational complexity of universal theories of monotonic and normal modal algebras. We show how the theory of partial algebras can be deployed to obtain co-NP and EXPTIME upper bounds for the universal theories of, respectively, monotonic and normal modal algebras. We also obtain the corresponding lower bounds, which means that the universal theory of monotonic modal algebras is co-NP-complete and the universal (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  12
    Infinite Forcing and the Generic Multiverse.Giorgio Venturi - 2020 - Studia Logica 108 (2):277-290.
    In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  23
    Truthmakers and Normative Conflicts.Albert Anglberger & Johannes Korbmacher - 2020 - Studia Logica 108 (1):49-83.
    By building on work by Kit Fine, we develop a sound and complete truthmaker semantics for Lou Goble’s conflict tolerant deontic logic BDL.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  15
    Deontology of Compound Actions.Janusz Czelakowski - 2020 - Studia Logica 108 (1):5-47.
    This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this paper emulate to some extent the content of [3] but are more involved. Although the present work should be regarded as a sequel of [3] it is self-contained and may be read independently. The issue of permission and obligation of actions is presented in the form of (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  19
    From Oughts to Goals: A Logic for Enkrasia.Dominik Klein & Alessandra Marra - 2020 - Studia Logica 108 (1):85-128.
    This paper focuses on the Enkratic principle of rationality, according to which rationality requires that if an agent sincerely and with conviction believes she ought to X, then X-ing is a goal in her plan. We analyze the logical structure of Enkrasia and its implications for deontic logic. To do so, we elaborate on the distinction between basic and derived oughts, and provide a multi-modal neighborhood logic with three characteristic operators: a non-normal operator for basic oughts, a non-normal operator for (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  17
    From Permissions to Obligations and Beyond: An Editorial.P. Kulicki & O. Roy - 2020 - Studia Logica 108 (1):1-3.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  11
    Understanding Hohfeld and Formalizing Legal Rights: The Hohfeldian Conceptions and Their Conditional Consequences.Réka Markovich - 2020 - Studia Logica 108 (1):129-158.
    Hohfeld’s analysis on the different types of rights and duties is highly influential in analytical legal theory, and it is considered as a fundamental theory in AI&Law and normative multi-agent systems. Yet a century later, the formalization of this theory remains, in various ways, unresolved. In this paper I provide a formal analysis of how the working of a system containing Hohfeldian rights and duties can be delineated. This formalization starts from using the same tools as the classical ones by (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues