38 found

Year:

Forthcoming articles
  1.  19
    Guillermo Badia (forthcoming). Bi-Simulating in Bi-Intuitionistic Logic. Studia Logica:1-14.
    Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindstrom and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor elementary (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    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  
  3.  6
    Francesca Poggiolesi (forthcoming). Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics. Studia Logica:1-34.
    In this paper we present labelled sequent calculi and labelled natural deduction calculi for the counterfactual logics CK + {ID, MP}. As for the sequent calculi we prove, in a semantic manner, that the cut-rule is admissible. As for the natural deduction calculi we prove, in a purely syntactic way, the normalization theorem. Finally, we demonstrate that both calculi are sound and complete with respect to Nute semantics [12] and that the natural deduction calculi can be effectively transformed into the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. 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  
  5.  2
    Aldo Figallo Orellano (forthcoming). A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute. Studia Logica:1-26.
    In this paper we investigate the class of MV-algebras equipped with two quantifiers which commute as a natural generalization of diagonal-free two-dimensional cylindric algebras. In the 40s, Tarski first introduced cylindric algebras in order to provide an algebraic apparatus for the study of classical predicate calculus. The diagonal–free two-dimensional cylindric algebras are special cylindric algebras. The treatment here of MV-algebras is done in terms of implication and negation. This allows us to simplify some results due to Di Nola and Grigolia (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. A. M. Suardiaz A. Quantifier (forthcoming). M. Abad Varieties of Three-Valued. Studia Logica.
     
    Export citation  
     
    My bibliography  
  7. 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.
  8.  2
    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  
  9. 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  
  10.  1
    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  
  11. D. Busneag & M. Ghita (forthcoming). Some Properties of Epimorphisms of Implicative Algebras. Studia Logica.
     
    Export citation  
     
    My bibliography  
  12.  3
    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  
  13. A. V. Chagrov & M. V. Zakharyaschev (forthcoming). Modal Companions of Intermediate Logics: A Survey. Studia Logica.
     
    Export citation  
     
    My bibliography  
  14. Frank Wolter First Order Common (forthcoming). Knowledge Logics. Studia Logica.
     
    Export citation  
     
    My bibliography  
  15. D. Gabbay & F. Pirri (forthcoming). Special Issue on Combining Logics, Volume 59 (1, 2) Of. Studia Logica.
     
    Export citation  
     
    My bibliography   1 citation  
  16.  2
    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  
  17.  1
    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  
  18.  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  
  19.  16
    Simon M. Huttegger & Brian Skyrms (forthcoming). Learning to Transfer Information. Studia Logica.
  20. Thomas Icard (forthcoming). Exclusion and Containment in Natural Language. Studia Logica.
     
    Export citation  
     
    My bibliography  
  21.  4
    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  
  22.  3
    Michael Kaminski & Nissim Francez (forthcoming). The Lambek Calculus Extended with Intuitionistic Propositional Logic. Studia Logica:1-32.
    We present sound and complete semantics and a sequent calculus for the Lambek calculus extended with intuitionistic propositional logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Jarmo Kontinen (forthcoming). Coherence and Complexity of Quantifier-Free Dependence Logic Formulas. Studia Logica.
     
    Export citation  
     
    My bibliography  
  24. 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  
  25. AgneS Kurucz & Arrow Logic (forthcoming). Infinite Counting. Studia Logica.
     
    Export citation  
     
    My bibliography   1 citation  
  26.  3
    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  
  27.  4
    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  
  28.  7
    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  
  29. Arthur Paul Pedersen (forthcoming). An Extension Theorem and a Numerical Representation Theorem for Qualitative Comparative Expectations. Studia Logica.
     
    Export citation  
     
    My bibliography  
  30.  1
    Dana Piciu & A. Jeflea (forthcoming). Localization of MTL-Algebras. Studia Logica.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  1
    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  
  32. 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  
  33.  4
    Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte (forthcoming). Adaptive Logic Characterizations of Input/Output Logic. Studia Logica:1-48.
    We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  2
    Mitio Takano (forthcoming). Gentzenization of Trilattice Logics. Studia Logica:1-13.
    Sequent calculi for trilattice logics, including those that are determined by the truth entailment, the falsity entailment and their intersection, are given. This partly answers the problems in Shramko-Wansing.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. L. Tatjana & I. Boris (forthcoming). In Databases* T. Studia Logica.
     
    Export citation  
     
    My bibliography  
  36.  1
    Antoni Torrens (forthcoming). Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices. Studia Logica:1-19.
    In any variety of bounded integral residuated lattice-ordered commutative monoids the class of its semisimple members is closed under isomorphic images, subalgebras and products, but it is not closed under homomorphic images, and so it is not a variety. In this paper we study varieties of bounded residuated lattices whose semisimple members form a variety, and we give an equational presentation for them. We also study locally representable varieties whose semisimple members form a variety. Finally, we analyze the relationship with (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  3
    Paweł Urzyczyn (forthcoming). Intuitionistic Games: Determinacy, Completeness, and Normalization. Studia Logica:1-45.
    We investigate a simple game paradigm for intuitionistic logic, inspired by Wajsberg’s implicit inhabitation algorithm and Beth tableaux. The principal idea is that one player, ∃ros, is trying to construct a proof in normal form while his opponent, ∀phrodite, attempts to build a counter-model. The determinacy of the game implies therefore both completeness and semantic cut-elimination.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Y. Venema (forthcoming). Meeting Strength in Substructural Logics'. UU Logic Preprint. Studia Logica.
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues