Year:

Forthcoming articles
  1. Jason Megill & Tim Melvin (forthcoming). Computability and Human Symbolic Output. Logic and Logical Philosophy.
    This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti (forthcoming). Errata Corrige to “Pragmatic and Dialogic Interpretation of Bi-Intuitionism. Part I. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Alex Citkin (forthcoming). A Meta-Logic of Inference Rules: Syntax. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Katarzyna Pałasińska (forthcoming). Three-Element Non-Finitely Axiomatizable Matrices and Term-Equivalence. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Lech T. Polkowski (forthcoming). Mereology and Uncertainty. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Gemma Robles (forthcoming). A Simple Henkin-Style Completeness Proof for Gödel 3-Valued Logic G3. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Gerard Allwein, William L. Harrison & David Andrews (forthcoming). Simulation Logic. Logic and Logical Philosophy.
    Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter’s modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Diderik Batens (forthcoming). Propositional Logic Extended with a Pedagogically Useful Relevant Implication. Logic and Logical Philosophy.
    First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant logic that has (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Proietti Carlo & Ciuni Roberto (forthcoming). The Abundance of the Future. A Paraconsistent Approach to Future Contingents. Logic and Logical Philosophy.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. A. J. Cotnoir (forthcoming). Abelian Mereology. Logic and Logical Philosophy.
    In classical extensional mereology, composition is idempotent: if x is part of y, then the sum of x and y is identical to y. In this paper, I provide a systematic and coherent formal mereology for which idempotence fails. I first discuss a number of purported counterexamples to idempotence that have been put forward in the literature. I then discuss two recent attempts at sketching non-idempotent formal mereology due to Karen Bennett and Kit Fine. I argue that these attempts are (...)
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Paolo Maffezioli & Alberto Naibo (forthcoming). Proof Theory of Epistemic Logic of Programs. Logic and Logical Philosophy.
    A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system is then introduced where knowledge and action, as well as their combinations, are formulated as rules of inference, rather than axioms. This provides a logical framework for reasoning about games in a modular and systematic way, and to give (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Yehuda Schwartz & George Tourlakis (forthcoming). On the Proof-Theory of a First-Order Extension of GL. Logic and Logical Philosophy.
    We introduce a first order extension of GL, called ML 3 , and develop its proof theory via a proxy cut-free sequent calculus GLTS. We prove the highly nontrivial result that cut is a derived rule in GLTS, a result that is unavailable in other known first-order extensions of GL. This leads to proofs of weak reflection and the related conservation result for ML 3 , as well as proofs for Craig’s interpolation theorem for GLTS. Turning to semantics we prove (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
 Previous issues
  
Next issues