Switch to: References

Add citations

You must login to add citations.
  1. The existence of matrices strongly adequate for e, R and their fragments.Marek Tokarz - 1979 - Studia Logica 38 (1):75 - 85.
    A logic is a pair (P,Q) where P is a set of formulas of a fixed propositional language and Q is a set of rules. A formula is deducible from X in the logic (P, Q) if it is deducible from XP via Q. A matrix is strongly adequate to (P, Q) if for any , X, is deducible from X iff for every valuation in , is designated whenever all the formulas in X are. It is proved in the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • The semantics of entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
  • On the existence of a modal antinomy.Gunnar Niemi - 1972 - Synthese 23 (4):463 - 476.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The contraction rule and decision problems for logics without structural rules.Eiji Kiriyama & Hlroakira Ono - 1991 - Studia Logica 50 (2):299 - 319.
    This paper shows a role of the contraction rule in decision problems for the logics weaker than the intuitionistic logic that are obtained by deleting some or all of structural rules. It is well-known that for such a predicate logic L, if L does not have the contraction rule then it is decidable. In this paper, it will be shown first that the predicate logic FLec with the contraction and exchange rules, but without the weakening rule, is undecidable while the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations