Year:

  1. Logicism in Leśniewski's Ontology.Pierre Joray - 2002 - Logica Trianguli 6:3-20.
     
    Export citation  
     
    My bibliography  
  2. New Axiomatizations of Vern.David B. Martens - 2002 - Logica Trianguli 6:21-24.
    This note gives two new axiomatizations of each of the modal logics Vern by extension of K with, respectively, an inference rule and an axiom schema other than Vern.
     
    Export citation  
     
    My bibliography  
  3. Two Logics of Analytic Classical Implication.Marek Nowak - 2002 - Logica Trianguli 6:25-40.
    The paper contains two concepts of implication that can be called analytic in the sense of Parry [5] or Fine [2]. Contrary to the Parry's approach, these implications do not involve S4 strict implication but the classical one. This fact refers to the similar notion of so-called demodalized analytic implication of Dunn [1] and strong implication of Vanderveken, cf. [4, 6]. The features of analytic classical implications are presented in the form of two propositional logics on the pure implicational language.
     
    Export citation  
     
    My bibliography  
  4. Conceptions of Logical Implication.José M. Sagüillo - 2002 - Logica Trianguli 6:41-67.
    This is a survey paper of approaches to the concept of logical implication. Roughly stated the main motivation of these approaches is to provide a necessary and sufficient condition for a set of propositions to logically imply a single proposition. In regard to their affinities these approaches are grouped into two: the transformational conception and the informational conception. Some approaches in each conception are philosophical and some are mathematical in character, their common assumption being that they reflect a previous intuition (...)
     
    Export citation  
     
    My bibliography  
  5. Extending Atomistic Frames: Part II.Boguslaw Wolniewicz - 2002 - Logica Trianguli 6:69-88.
    The paper concludes an earlier one on extensions of atomistic semantic frames. Three kinds of extension are considered: the adjunctive, the conjunctive, and the disjunctive one. Some theorems are proved on extending “Humean” frames, i.e. such that the elementary situations constituting their universa are separated by the maximally coherent sets of them.
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues