42 found

Year:

Forthcoming articles
  1.  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  
  2. A. M. Suardiaz A. Quantifier (forthcoming). M. Abad Varieties of Three-Valued. Studia Logica.
     
    Export citation  
     
    My bibliography  
  3.  1
    Abrusci V. Michele & Casadio Claudia (forthcoming). A Geometrical Representation of the Basic Laws of Categorial Grammar. Studia Logica:1-42.
    We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach laws (...)
    Direct download (2 more)  
     
    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. Mike Behrisch, John K. Truss & Edith Vargas-García (forthcoming). Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals. Studia Logica:1-27.
    We show how to reconstruct the topology on the monoid of endomorphisms of the rational numbers under the strict or reflexive order relation, and the polymorphism clone of the rational numbers under the reflexive relation. In addition we show how automatic homeomorphicity results can be lifted to polymorphism clones generated by monoids.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  1
    Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi (forthcoming). On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis. Studia Logica:1-45.
    Paraconsistent Weak Kleene logic is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic. We give a Hilbert-style system for PWK and prove a normal form theorem. We examine some algebraic structures for PWK, called involutive bisemilattices, showing that they are distributive as bisemilattices and that they form a variety, \, generated by the 3-element algebra WK; we also (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  4
    Nils Bulling & Wiebe Hoek (forthcoming). Special Issue on Logical Aspects of Multi-Agent Systems. Studia Logica:1-3.
  8. D. Busneag & M. Ghita (forthcoming). Some Properties of Epimorphisms of Implicative Algebras. Studia Logica.
     
    Export citation  
     
    My bibliography  
  9.  1
    Pablo F. Castro (forthcoming). Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity. Studia Logica:1-23.
    We introduce a family of tableau calculi for deontic action logics based on finite boolean algebras, these logics provide deontic operators which are applied to a finite number of actions ; furthermore, in these formalisms, actions can be combined by means of boolean operators, this provides an expressive algebra of actions. We define a tableau calculus for the basic logic and then we extend this calculus to cope with extant variations of this formalism; we prove the soundness and completeness of (...)
    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.  3
    Thomas M. Ferguson (forthcoming). Rivals to Belnap–Dunn Logic on Interlaced Trilattices. Studia Logica:1-26.
    The work of Arnon Avron and Ofer Arieli has shown a deep relationship between the theory of bilattices and the Belnap-Dunn logic \. This correspondence has been interpreted as evidence that \ is “the” logic of bilattices, a consideration reinforced by the work of Yaroslav Shramko and Heinrich Wansing in which \ is shown to be similarly entrenched with respect to the theories of trilattices and, more generally, multilattices. In this paper, we export Melvin Fitting’s “cut-down” connectives—propositional connectives that “cut (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Gilda Ferreira (forthcoming). Rasiowa–Harrop Disjunction Property. Studia Logica:1-16.
    We show that there is a purely proof-theoretic proof of the Rasiowa–Harrop disjunction property for the full intuitionistic propositional calculus ), via natural deduction, in which commuting conversions are not needed. Such proof is based on a sound and faithful embedding of \ into an atomic polymorphic system. This result strengthens a homologous result for the disjunction property of \ and answers a question then posed by Pierluigi Minari.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  4
    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  
  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. M. Garapa, E. Fermé & M. D. L. Reis (forthcoming). Studies on Brutal Contraction and Severe Withdrawal. Studia Logica:1-30.
    In this paper we present an axiomatic characterization for brutal contractions. Then we consider the particular case of the brutal contractions that are based on a bounded ensconcement and also the class of severe withdrawals which are based on bounded epistemic entrenchment relations that are defined by means of bounded ensconcements. We present axiomatic characterizations for each one of those classes of functions and investigate the interrelation among them.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. George Georgescu & Claudia Mureşan (forthcoming). Factor Congruence Lifting Property. Studia Logica:1-38.
    In previous work, we have introduced and studied a lifting property in congruence–distributive universal algebras which we have defined based on the Boolean congruences of such algebras, and which we have called the Congruence Boolean Lifting Property. In a similar way, a lifting property based on factor congruences can be defined in congruence–distributive algebras; in this paper we introduce and study this property, which we have called the Factor Congruence Lifting Property. We also define the Boolean Lifting Property in varieties (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  22
    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. Herzberg Frederik (forthcoming). Arrovian Aggregation of Generalised Expected-Utility Preferences: Possibility Results by Means of Model Theory. Studia Logica:1-21.
    Cerreia-Vioglio et al. :341–375, 2011) have proposed a very general axiomatisation of preferences in the presence of ambiguity, viz. Monotonic Bernoullian Archimedean preference orderings. This paper investigates the problem of Arrovian aggregation of such preferences—and proves dictatorial impossibility results for both finite and infinite populations. Applications for the special case of aggregating expected-utility preferences are given. A novel proof methodology for special aggregation problems, based on model theory, is employed.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. Wesley H. Holliday (forthcoming). On the Modal Logic of Subset and Superset: Tense Logic Over Medvedev Frames. Studia Logica:1-23.
    Viewing the language of modal logic as a language for describing directed graphs, a natural type of directed graph to study modally is one where the nodes are sets and the edge relation is the subset or superset relation. A well-known example from the literature on intuitionistic logic is the class of Medvedev frames\ where W is the set of nonempty subsets of some nonempty finite set S, and xRy iff \, or more liberally, where \ is isomorphic as a (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  19
    Simon M. Huttegger & Brian Skyrms (forthcoming). Learning to Transfer Information. Studia Logica.
  22. Thomas Icard (forthcoming). Exclusion and Containment in Natural Language. Studia Logica.
     
    Export citation  
     
    My bibliography  
  23.  5
    Kanckos Annika & Paleo B. Woltzenlogel (forthcoming). Variants of Gödel’s Ontological Proof in a Natural Deduction Calculus. Studia Logica:1-34.
    This paper presents detailed formalizations of ontological arguments in a simple modal natural deduction calculus. The first formal proof closely follows the hints in Scott’s manuscript about Gödel’s argument and fills in the gaps, thus verifying its correctness. The second formal proof improves the first one, by relying on the weaker modal logic KB instead of S5 and by avoiding the equality relation. The second proof is also technically shorter than the first one, because it eliminates unnecessary detours and uses (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  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  
  25. U. Kohlenbach & A. Nicolae (forthcoming). A Proof-Theoretic Bound Extraction Theorem for CAT-Spaces. Studia Logica:1-14.
    Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective bounds from large classes of proofs of theorems that involve abstract metric structures X. In this paper we adapt this to the class of CAT\)-spaces X for \ and establish a new metatheorem that explains specific bound extractions that recently have been achieved in this context as instances of a general logical phenomenon.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Jarmo Kontinen (forthcoming). Coherence and Complexity of Quantifier-Free Dependence Logic Formulas. Studia Logica.
     
    Export citation  
     
    My bibliography  
  27.  3
    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  
  28.  1
    Arun Kumar & Mohua Banerjee (forthcoming). Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics. Studia Logica:1-31.
    A structural theorem for Kleene algebras is proved, showing that an element of a Kleene algebra can be looked upon as an ordered pair of sets, and that negation with the Kleene property is describable by the set-theoretic complement. The propositional logic \ of Kleene algebras is shown to be sound and complete with respect to a 3-valued and a rough set semantics. It is also established that Kleene negation can be considered as a modal operator, due to a perp (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. AgneS Kurucz & Arrow Logic (forthcoming). Infinite Counting. Studia Logica.
     
    Export citation  
     
    My bibliography   1 citation  
  30.  1
    Lávička Tomáš & Noguera Carles (forthcoming). A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic. Studia Logica:1-31.
    In this article we investigate infinitary propositional logics from the perspective of their completeness properties in abstract algebraic logic. It is well-known that every finitary logic is complete with respect to its relatively subdirectly irreducible models. We identify two syntactical notions formulated in terms of intersection-prime theories that follow from finitarity and are sufficient conditions for the aforementioned completeness properties. We construct all the necessary counterexamples to show that all these properties define pairwise different classes of logics. Consequently, we obtain (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  2
    Minghui Ma & Ahti-Veikko Pietarinen (forthcoming). Proof Analysis of Peirce’s Alpha System of Graphs. Studia Logica:1-23.
    Charles Peirce’s alpha system \ is reformulated into a deep inference system where the rules are given in terms of deep graphical structures and each rule has its symmetrical rule in the system. The proof analysis of \ is given in terms of two embedding theorems: the system \ and Brünnler’s deep inference system for classical propositional logic can be embedded into each other; and the system \ and Gentzen sequent calculus \ can be embedded into each other.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Arthur Paul Pedersen (forthcoming). An Extension Theorem and a Numerical Representation Theorem for Qualitative Comparative Expectations. Studia Logica.
     
    Export citation  
     
    My bibliography  
  33.  2
    Dana Piciu & A. Jeflea (forthcoming). Localization of MTL-Algebras. Studia Logica.
    Direct download  
     
    Export citation  
     
    My bibliography  
  34.  3
    Soroush Rafiee Rad (forthcoming). Equivocation Axiom on First Order Languages. Studia Logica:1-32.
    In this paper we investigate some mathematical consequences of the Equivocation Principle, and the Maximum Entropy models arising from that, for first order languages. We study the existence of Maximum Entropy models for these theories in terms of the quantifier complexity of the theory and will investigate some invariance and structural properties of such models.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  7
    Michael Schippers & Gerhard Schurz (forthcoming). Genuine Coherence as Mutual Confirmation Between Content Elements. Studia Logica:1-31.
    The concepts of coherence and confirmation are closely intertwined: according to a prominent proposal coherence is nothing but mutual confirmation. Accordingly, it should come as no surprise that both are confronted with similar problems. As regards Bayesian confirmation measures these are illustrated by the problem of tacking by conjunction. On the other hand, Bayesian coherence measures face the problem of belief individuation. In this paper we want to outline the benefit of an approach to coherence and confirmation based on content (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. 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  
  37.  2
    Stanislav O. Speranski (forthcoming). Notes on the Computational Aspects of Kripke’s Theory of Truth. Studia Logica:1-23.
    The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. L. Tatjana & I. Boris (forthcoming). In Databases* T. Studia Logica.
     
    Export citation  
     
    My bibliography  
  39.  6
    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  
  40. Y. Venema (forthcoming). Meeting Strength in Substructural Logics'. UU Logic Preprint. Studia Logica.
     
    Export citation  
     
    My bibliography  
  41.  7
    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  
  42. Łazarz Marcin & Siemieńczuk Krzysztof (forthcoming). Distributivity for Upper Continuous and Strongly Atomic Lattices. Studia Logica:1-8.
    In the paper we introduce two conditions and ) which are strengthenings of Birkhoff’s conditions. We prove that an upper continuous and strongly atomic lattice is distributive if and only if it satisfies and ). This result extends a theorem of R.P. Dilworth characterizing distributivity in terms of local distributivity and a theorem of M. Ward characterizing distributivity by means of covering diamonds.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues