Year:

Forthcoming articles
  1. Katalin Bimbó & J. Michael Dunn (forthcoming). Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{T}}$$ L T → T for Implicational Ticket Entailment. Logica Universalis:1-24.
    The decidability of the logic of pure ticket entailment means that the problem of inhabitation of simple types by combinators over the base { B, B′, I, W } is decidable too. Type-assignment systems are often formulated as natural deduction systems. However, our decision procedure for this logic, which we presented in earlier papers, relies on two sequent calculi and it does not yield directly a combinator for a theorem of ${T_\to}$ . Here we describe an algorithm to extract an (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. J. Y. Beziau & Logica Universalis (forthcoming). c© 2005 Birkhäuser Verlag Basel/Switzerland. Logica Universalis:19.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Roy T. Cook (forthcoming). There is No Paradox of Logical Validity. Logica Universalis:1-21.
    A number of authors (including Field in Saving Truth From Paradox. Oxford University Press, Oxford, 2008; Shapiro in Philos Q 61:320–342, 2010; Whittle in Analysis 64:318–326, 2004; Beall and Murzi in J Philos 110:143–165, 2013) have argued that Peano Arithmetic (PA) supplemented with a logical validity predicate is inconsistent in much the same manner as is PA supplemented with an unrestricted truth predicate. In this paper I show that, on the contrary, there is no genuine paradox of logical validity—a completely (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Răzvan Diaconescu, Till Mossakowski & Andrzej Tarlecki (forthcoming). The Institution-Theoretic Scope of Logic Theorems. Logica Universalis:1-14.
    In this essay we analyse and elucidate the method to establish and clarify the scope of logic theorems offered within the theory of institutions. The method presented pervades a lot of abstract model theoretic developments carried out within institution theory. The power of the proposed general method is illustrated with the examples of (Craig) interpolation and (Beth) definability, as they appear in the literature of institutional model theory. Both case studies illustrate a considerable extension of the original scopes of the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Thomas Macaulay Ferguson (forthcoming). On Non-Deterministic Quantification. Logica Universalis:1-27.
    This paper offers a framework for extending Arnon Avron and Iddo Lev’s non-deterministic semantics to quantified predicate logic with the intent of resolving several problems and limitations of Avron and Anna Zamansky’s approach. By employing a broadly Fregean picture of logic, the framework described in this paper has the benefits of permitting quantifiers more general than Walter Carnielli’s distribution quantifiers and yielding a well-behaved model theory. This approach is purely objectual and yields the semantical equivalence of both α-equivalent formulae and (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Daniel Găină (forthcoming). Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally. Logica Universalis:1-30.
    In the context of proliferation of many logical systems in the area of mathematical logic and computer science, we present a generalization of forcing in institution-independent model theory which is used to prove two abstract results: Downward Löwenheim-Skolem Theorem (DLST) and Omitting Types Theorem (OTT). We instantiate these general results to many first-order logics, which are, roughly speaking, logics whose sentences can be constructed from atomic formulas by means of Boolean connectives and classical first-order quantifiers. These include first-order logic (FOL), (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. René Gazzari (forthcoming). Direct Proofs of Lindenbaum Conditionals. Logica Universalis:1-23.
    We discuss the problem raised by Miller (Log Univers 1:183–199, 2007) to re-prove the well-known equivalences of some Lindenbaum theorems for deductive systems (each equivalent to the Axiom of Choice) without an application of the Axiom of Choice. We present five special constructions of deductive systems, each of them providing some partial solutions to the mathematical problem. We conclude with a short discussion of the underlying philosophical problem of deciding, whether a given proof satisfies our demand that the Axiom of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. L. I. Perlovsky (forthcoming). Logic Versus Mind. Logica Universalis.
     
    My bibliography  
     
    Export citation  
  9. João Rasga, Cristina Sernadas & Amlcar Sernadas (forthcoming). Craig Interpolation in the Presence of Unreliable Connectives. Logica Universalis:1-24.
    Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. (J Logic Comput, 2013)], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
 Previous issues
  
Next issues