Switch to: References

Add citations

You must login to add citations.
  1. A system for proper multiple-conclusion entailment.Tomasz Skura & Andrzej Wiśniewski - 2015 - Logic and Logical Philosophy 24 (2).
  • Unified Deductive Systems: An Outline.Alex Citkin - 2023 - Logica Universalis 17 (4):483-509.
    Our goal is to develop a syntactical apparatus for propositional logics in which the accepted and rejected propositions have the same status and obeying treated in the same way. The suggested approach is based on the ideas of Łukasiewicz used for the classical logic and in addition, it includes the use of multiple conclusion rules. More precisely, a consequence relation is defined on a set of statements of forms “proposition _A_ is accepted” and “proposition _A_ is rejected”, where _A_ is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A meta-logic of inference rules: Syntax.Alex Citkin - 2015 - Logic and Logical Philosophy 24 (3).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations