34 found

Year:

Forthcoming articles
  1.  6
    Benjamin Eva (forthcoming). Modality and Contextuality in Topos Quantum Theory. Studia Logica:1-20.
    Topos quantum theory represents a whole new approach to the formalization of non-relativistic quantum theory. It is well known that TQT replaces the orthomodular quantum logic of the traditional Hilbert space formalism with a new intuitionistic logic that arises naturally from the topos theoretic structure of the theory. However, it is less well known that TQT also has a dual logical structure that is paraconsistent. In this paper, we investigate the relationship between these two logical structures and study the implications (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  3
    Roberto Cignoli & Antoni Torrens (forthcoming). Erratum To: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation $${2 = ^2}$$ 2 = 2. Studia Logica:1-2.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. A. M. Suardiaz A. Quantifier (forthcoming). M. Abad Varieties of Three-Valued. Studia Logica.
     
    Export citation  
     
    My bibliography  
  4. H. Arlo-Costa (forthcoming). 'First-Order Modal Logic', to Appear in V. Hendricks & SA Pedersen, Eds.,'40 Years of Possible Worlds', Special Issue Of. Studia Logica.
  5.  3
    Nikolay Bazhenov (forthcoming). Categoricity Spectra for Polymodal Algebras. Studia Logica:1-15.
    We investigate effective categoricity for polymodal algebras. We prove that the class of polymodal algebras is complete with respect to degree spectra of nontrivial structures, effective dimensions, expansion by constants, and degree spectra of relations. In particular, this implies that every categoricity spectrum is the categoricity spectrum of a polymodal algebra.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  1
    Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin (forthcoming). Cofinal Stable Logics. Studia Logica:1-31.
    We generalize the \}\)-canonical formulas to \}\)-canonical rules, and prove that each intuitionistic multi-conclusion consequence relation is axiomatizable by \}\)-canonical rules. This yields a convenient characterization of stable superintuitionistic logics. The \}\)-canonical formulas are analogues of the \}\)-canonical formulas, which are the algebraic counterpart of Zakharyaschev’s canonical formulas for superintuitionistic logics. Consequently, stable si-logics are analogues of subframe si-logics. We introduce cofinal stable intuitionistic multi-conclusion consequence relations and cofinal stable si-logics, thus answering the question of what the analogues of cofinal (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    Nils Bulling & Wiebe Hoek (forthcoming). Special Issue on Logical Aspects of Multi-Agent Systems. Studia Logica:1-3.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. D. Busneag & M. Ghita (forthcoming). Some Properties of Epimorphisms of Implicative Algebras. Studia Logica.
     
    Export citation  
     
    My bibliography  
  9.  4
    Diego Castaño & Juan Manuel Cornejo (forthcoming). Gentzen-Style Sequent Calculus for Semi-Intuitionistic Logic. Studia Logica:1-21.
    The variety \ of semi-Heyting algebras was introduced by H. P. Sankappanavar [13] as an abstraction of the variety of Heyting algebras. Semi-Heyting algebras are the algebraic models for a logic HsH, known as semi-intuitionistic logic, which is equivalent to the one defined by a Hilbert style calculus in Cornejo :9–25, 2011) [6]. In this article we introduce a Gentzen style sequent calculus GsH for the semi-intuitionistic logic whose associated logic GsH is the same as HsH. The advantage of this (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. A. V. Chagrov & M. V. Zakharyaschev (forthcoming). Modal Companions of Intermediate Logics: A Survey. Studia Logica.
     
    Export citation  
     
    My bibliography  
  11. Frank Wolter First Order Common (forthcoming). Knowledge Logics. Studia Logica.
     
    Export citation  
     
    My bibliography  
  12.  2
    Andreas Fjellstad (forthcoming). Non-Classical Elegance for Sequent Calculus Enthusiasts. Studia Logica:1-27.
    In this paper we develop what we can describe as a “dual two-sided” cut-free sequent calculus system for the non-classical logics of truth lp, k3, stt and a non-reflexive logic ts which is, arguably, more elegant than the three-sided sequent calculus developed by Ripley for the same logics. Its elegance stems from how it employs more or less the standard sequent calculus rules for the various connectives and truth, and the fact that it offers a rather neat connection between derivable (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. D. Gabbay & F. Pirri (forthcoming). Special Issue on Combining Logics, Volume 59 (1, 2) Of. Studia Logica.
     
    Export citation  
     
    My bibliography   1 citation  
  14.  3
    Roberto Giuntini, Antonio Ledda & Francesco Paoli (forthcoming). A New View of Effects in a Hilbert Space. Studia Logica:1-33.
    We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ*-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general Brouwer-Zadeh lattices. We investigate the structure theory of PBZ*-lattices and their reducts; in particular, we prove some embedding results for PBZ*-lattices and provide an initial description of the lattice of PBZ*-varieties.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  2
    Jeroen P. Goudsmit (forthcoming). Finite Frames Fail: How Infinity Works Its Way Into the Semantics of Admissibility. Studia Logica:1-14.
    Many intermediate logics, even extremely well-behaved ones such as IPC, lack the finite model property for admissible rules. We give conditions under which this failure holds. We show that frames which validate all admissible rules necessarily satisfy a certain closure condition, and we prove that this condition, in the finite case, ensures that the frame is of width 2. Finally, we indicate how this result is related to some classical results on finite, free Heyting algebras.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  20
    Dov Guido Boella, Leendert der Torre M. Gabbavany & Serena Villata (forthcoming). Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica.
    In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  17.  16
    Simon M. Huttegger & Brian Skyrms (forthcoming). Learning to Transfer Information. Studia Logica.
  18. Thomas Icard (forthcoming). Exclusion and Containment in Natural Language. Studia Logica.
     
    Export citation  
     
    My bibliography  
  19.  5
    Joost J. Joosten (forthcoming). Turing–Taylor Expansions for Arithmetic Theories. Studia Logica:1-19.
    Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories: iterate adding consistency of some weak base theory until you “hit” the target theory. Turing progressions based on n-consistency give rise to a \ proof-theoretic ordinal \ also denoted \. As such, to each theory U we can assign the sequence of corresponding \ ordinals \. We call this sequence a Turing-Taylor expansion or spectrum of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  2
    Bjørn Kjos-Hanssen (forthcoming). A Conflict Between Some Semantic Conditions of Carmo and Jones for Contrary-to-Duty Obligations. Studia Logica:1-6.
    We show that Carmo and Jones’ condition 5 conflicts with the other conditions on their models for contrary-to-duty obligations. We then propose a resolution to the conflict.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Jarmo Kontinen (forthcoming). Coherence and Complexity of Quantifier-Free Dependence Logic Formulas. Studia Logica.
     
    Export citation  
     
    My bibliography  
  22.  2
    Zofia Kostrzycka & Yutaka Miyazaki (forthcoming). Normal Modal Logics Determined by Aligned Clusters. Studia Logica:1-11.
    We consider the family of logics from NExt which are determined by linear frames with reflexive and symmetric relation of accessibility. The condition of linearity in such frames was first defined in the paper [9]. We prove that the cardinality of the logics under consideration is uncountably infinite.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. AgneS Kurucz & Arrow Logic (forthcoming). Infinite Counting. Studia Logica.
     
    Export citation  
     
    My bibliography   1 citation  
  24.  4
    J. Marti & R. Pinosio (forthcoming). A Game Semantics for System P. Studia Logica:1-26.
    In this paper we introduce a game semantics for System P, one of the most studied axiomatic systems for non-monotonic reasoning, conditional logic and belief revision. We prove soundness and completeness of the game semantics with respect to the rules of System P, and show that an inference is valid with respect to the game semantics if and only if it is valid with respect to the standard order semantics of System P. Combining these two results leads to a new (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  5
    Koji Nakazawa & Ken-Etsu Fujita (forthcoming). Compositional Z: Confluence Proofs for Permutative Conversion. Studia Logica:1-20.
    This paper gives new confluence proofs for several lambda calculi with permutation-like reduction, including lambda calculi corresponding to intuitionistic and classical natural deduction with disjunction and permutative conversions, and a lambda calculus with explicit substitutions. For lambda calculi with permutative conversion, naïve parallel reduction technique does not work, and traditional notion of residuals is required as Ando pointed out. This paper shows that the difficulties can be avoided by extending the technique proposed by Dehornoy and van Oostrom, called the Z (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  9
    Takuro Onishi (forthcoming). Understanding Negation Implicationally in the Relevant Logic R. Studia Logica:1-19.
    A star-free relational semantics for relevant logic is presented together with a sound and complete sequent proof theory. It is an extension of the dualist approach to negation regarded as modality, according to which de Morgan negation in relevant logic is better understood as the confusion of two negative modalities. The present work shows a way to define them in terms of implication and a new connective, co-implication, which is modeled by respective ternary relations. The defined negations are confused by (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. Arthur Paul Pedersen (forthcoming). An Extension Theorem and a Numerical Representation Theorem for Qualitative Comparative Expectations. Studia Logica.
     
    Export citation  
     
    My bibliography  
  28.  2
    Dana Piciu & A. Jeflea (forthcoming). Localization of MTL-Algebras. Studia Logica.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  2
    Adam Přenosil (forthcoming). Constructing Natural Extensions of Propositional Logics. Studia Logica:1-12.
    The proofs of some results of abstract algebraic logic, in particular of the transfer principle of Czelakowski, assume the existence of so-called natural extensions of a logic by a set of new variables. Various constructions of natural extensions, claimed to be equivalent, may be found in the literature. In particular, these include a syntactic construction due to Shoesmith and Smiley and a related construction due to Łoś and Suszko. However, it was recently observed by Cintula and Noguera that both of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. F. Sebastiani (forthcoming). A Fully Model-Theoretic Semantics for Model-Preference Default Systems', Istituto di Elaborazione dell'Informazione, Pisa. Studia Logica.
     
    Export citation  
     
    My bibliography  
  31. L. Tatjana & I. Boris (forthcoming). In Databases* T. Studia Logica.
     
    Export citation  
     
    My bibliography  
  32.  4
    Dustin Tucker (forthcoming). Montagovian Paradoxes and Hyperintensional Content. Studia Logica:1-19.
    A number of authors have taken a family of paradoxes, whose members trace back to theorems due either in whole or in part to Richard Montague, to pose a serious, possibly fatal challenge to theories of fine-grained, hyperintensional content. These paradoxes all assume that we can represent attitudes such as knowledge and belief with sentential predicates, and this assumption is at the heart of the purported challenge: the thought is that we must reject such predicates to avoid the paradoxes, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Y. Venema (forthcoming). Meeting Strength in Substructural Logics'. UU Logic Preprint. Studia Logica.
     
    Export citation  
     
    My bibliography  
  34.  6
    Li Zhang (forthcoming). Believability Relations for Select-Direct Sentential Revision. Studia Logica:1-27.
    A set of sentential revision operations can be generated in a select-direct way within a new framework for belief change named descriptor revision firstly introduced in Hansson [8]. In this paper, we adopt another constructive approach to these operations, based on a relation \ on sentences named believability relation. Intuitively, \ means that the subject is at least as prone to believe or accept \ as to believe or accept \. We demonstrate that so called H-believability relations and basic believability (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues