Year:

Forthcoming articles
  1. Marcelo E. Coniglio & Martín Figallo (forthcoming). On a Four-Valued Modal Logic with Deductive Implication. Bulletin of the Section of Logic.
    In this paper we propose to enrich the four-valued modal logic associated to Monteiro's Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta-theorem holds in the resulting logic. All this lead us to establish some new connections between TMAs, symmetric (or involutive) Boolean algebras, and modal algebras for extensions of S5, as well as their logical counterparts.
     
    My bibliography  
     
    Export citation  
  2. N. C. A. da Costa & F. A. Doria (forthcoming). On the Existence of Very Difficult Satisfiability Problems. Bulletin of the Section of Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Jacek Geisler & Marek Nowak (forthcoming). Conditional Negation on the Positive Logic. Bulletin of the Section of Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. I. L. Humberstone (forthcoming). An Alternative Account of Bringing About. Bulletin of the Section of Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  5. J. K. Kabziński (forthcoming). On Problems of Definability of Propositional Connectives. Bulletin of the Section of Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  6. Janusz Maciaszek & Luis Villegas-Forero (forthcoming). A Note on Compositionality in the First Order Language. Bulletin of the Section of Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Greg Restall (forthcoming). Negation in Relevant Logics (How I Stopped Worrying and Learned to Love the Routley Star). Bulletin of the Section of Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Boguslaw Wolniewicz (forthcoming). The Boolean Algebra of Objectives. Bulletin of the Section of Logic.
    This concludes a series of papers constructing a semantics for propositional languages based on the notion of a possible "situation". objectives of propositions are the situations described by them. the set of objectives is defined and shown to be a boolean algebra isomorphic to that formed by sets of possible worlds.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation