Switch to: References

Add citations

You must login to add citations.
  1. Relevance via decomposition.David Makinson - 2017 - Australasian Journal of Logic 14 (3).
    We report on progress and an unsolved problem in our attempt to obtain a clear rationale for relevance logic via semantic decomposition trees. Suitable decomposition rules, constrained by a natural parity condition, generate a set of directly acceptable formulae that contains all axioms of the well-known system R, is closed under substitution and conjunction, satisfies the letter-sharing condition, but is not closed under detachment. To extend it, a natural recursion is built into the procedure for constructing decomposition trees. The resulting (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • First-order belief and paraconsistency.Srećko Kovač - 2009 - Logic and Logical Philosophy 18 (2):127-143.
    A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Can contradictions be asserted?Manuel Bremer - 1999 - Logic and Logical Philosophy 7:167.
    In a universal logic containing naive semantics the semantic antinomies will be provable. Although being provable they are not assertiblebecause of some pragmatic constraints on assertion I will argue for. Furthermore, since it is not acceptable that the thesis of dialethism is a dialethiaitself, what it would be according to naive semantics and the prefered logical systems of dialethism, a corresponding restriction on proof theory isnecessary.
    Download  
     
    Export citation  
     
    Bookmark  
  • Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - 2020 - Studia Logica 108 (4):779-802.
    Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.
    Download  
     
    Export citation  
     
    Bookmark   16 citations