Year:

Forthcoming articles
  1. J. Y. Beziau & Logica Universalis (forthcoming). c© 2005 Birkhäuser Verlag Basel/Switzerland. Logica Universalis:19.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2.  6
    Lorenz Demey & Hans Smessaert (forthcoming). Metalogical Decorations of Logical Diagrams. Logica Universalis:1-60.
    In recent years, a number of authors have started studying Aristotelian diagrams containing metalogical notions, such as tautology, contradiction, satisfiability, contingency, strong and weak interpretations of contrariety, etc. The present paper is a contribution to this line of research, and its main aims are both to extend and to deepen our understanding of metalogical diagrams. As for extensions, we not only study several metalogical decorations of larger and less widely known Aristotelian diagrams, but also consider metalogical decorations of another type (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    D. M. Gabbay (forthcoming). Theory of Semi-Instantiation in Abstract Argumentation. Logica Universalis:1-86.
    We study instantiated abstract argumentation frames of the form, where is an abstract argumentation frame and where the arguments x of S are instantiated by I as well formed formulas of a well known logic, for example as Boolean formulas or as predicate logic formulas or as modal logic formulas. We use the method of conceptual analysis to derive the properties of our proposed system. We seek to define the notion of complete extensions for such systems and provide algorithms for (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  2
    Manuel Gustavo Isaac (forthcoming). Widersinn in Husserl’s Pure Logic. Logica Universalis:1-12.
    The purpose of this paper is to provide a unitary typology for the incompatibilities of meanings at stake on different levels of Husserlian pure logic—namely, between systems of axioms and pure morphology of meanings; I show that they perfectly match by converging on the notion of Widersinn.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  3
    D. Y. Maximov (forthcoming). N.A. Vasil’Ev’s Logical Ideas and the Categorical Semantics of Many-Valued Logic. Logica Universalis:1-23.
    Here we suggest a formal using of N.A. Vasil’ev’s logical ideas in categorical logic: the idea of “accidental” assertion is formalized with topoi and the idea of the notion of nonclassical negation, that is not based on incompatibility, is formalized in special cases of monoidal categories. For these cases, the variant of the law of “excluded n-th” suggested by Vasil’ev instead of the tertium non datur is obtained in some special cases of these categories. The paraconsistent law suggested by Vasil’ev (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  5
    Matteo Pascucci (forthcoming). A Unified Semantics for a Family of Modal Logics with Propositional Constants. Logica Universalis:1-22.
    This article concerns the metatheory of a class of modal logics whose language includes propositional constants of various kinds. The main novelties are the use of general frames with specific restrictions and the definition of the strict range of a formula. Many examples from the literature are treated within the framework provided and some traditional model-theoretic issues such as preservation results concerning the validity of formulas and definability results concerning frame properties are addressed.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. L. I. Perlovsky (forthcoming). Logic Versus Mind. Logica Universalis.
     
    Export citation  
     
    My bibliography  
  8.  4
    Florian Rabe (forthcoming). The Future of Logic: Foundation-Independence. Logica Universalis:1-20.
    Throughout the twentieth century, the automation of formal logics in computers has created unprecedented potential for practical applications of logic—most prominently the mechanical verification of mathematics and software. But the high cost of these applications makes them infeasible but for a few flagship projects, and even those are negligible compared to the ever-rising needs for verification. One of the biggest challenges in the future of logic will be to enable applications at much larger scales and simultaneously at much lower costs. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  1
    James Trafford (forthcoming). Structuring Co-Constructive Logic for Proofs and Refutations. Logica Universalis:1-31.
    This paper considers a topos-theoretic structure for the interpretation of co-constructive logic for proofs and refutations following Trafford :22–40, 2015). It is notoriously tricky to define a proof-theoretic semantics for logics that adequately represent constructivity over proofs and refutations. By developing abstractions of elementary topoi, we consider an elementary topos as structure for proofs, and complement topos as structure for refutation. In doing so, it is possible to consider a dialogue structure between these topoi, and also control their (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues