Switch to: References

Add citations

You must login to add citations.
  1. Peirce and Łukasiewicz on modal and multi-valued logics.Jon Alan Schmidt - 2022 - Synthese 200 (4):1-18.
    Charles Peirce incorporates modality into his Existential Graphs by introducing the broken cut for possible falsity. Although it can be adapted to various modern modal logics, Zeman demonstrates that making no other changes results in a version that he calls Gamma-MR, an implementation of Jan Łukasiewicz's four-valued Ł-modal system. It disallows the assertion of necessity, reflecting a denial of determinism, and has theorems involving possibility that seem counterintuitive at first glance. However, the latter is a misconception that arises from overlooking (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Some remarks on axiomatizing logical consequence operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.
    In this paper we investigate the relation between the axiomatization of a given logical consequence operation and axiom systems defining the class of algebras related to that consequence operation. We show examples which prove that, in general there are no natural relation between both ways of axiomatization.
    Download  
     
    Export citation  
     
    Bookmark  
  • Equivalential logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.
    The class of equivalential logics comprises all implicative logics in the sense of Rasiowa [9], Suszko's logicSCI and many Others. Roughly speaking, a logic is equivalential iff the greatest strict congruences in its matrices (models) are determined by polynomials. The present paper is the first part of the survey in which systematic investigations into this class of logics are undertaken. Using results given in [3] and general theorems from the theory of quasi-varieties of models [5] we give a characterization of (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
    The class Matr(C) of all matrices for a prepositional logic (, C) is investigated. The paper contains general results with no special reference to particular logics. The main theorem (Th. (5.1)) which gives the algebraic characterization of the class Matr(C) states the following. Assume C to be the consequence operation on a prepositional language induced by a class K of matrices. Let m be a regular cardinal not less than the cardinality of C. Then Matr (C) is the least class (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.
    The class of equivalential logics comprises all implicative logics in the sense of Rasiowa [9], Suszko's logic SCI and many others. Roughly speaking, a logic is equivalential iff the greatest strict congruences in its matrices are determined by polynomials. The present paper is the first part of the survey in which systematic investigations into this class of logics are undertaken. Using results given in [3] and general theorems from the theory of quasi-varieties of models [5] we give a characterization of (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Logic may be simple. Logic, congruence and algebra.Jean-Yves Béziau - 1997 - Logic and Logical Philosophy 5:129-147.
    This paper is an attempt to clear some philosophical questions about the nature of logic by setting up a mathematical framework. The notion of congruence in logic is defined. A logical structure in which there is no non-trivial congruence relation, like some paraconsistent logics, is called simple. The relations between simplicity, the replacement theorem and algebraization of logic are studied (including MacLane-Curry’s theorem and a discussion about Curry’s algebras). We also examine how these concepts are related to such notions as (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Universal Logic as a General Theory of Logic.Musa Akrami - 2012 - Journal of Philosophical Investigations at University of Tabriz 6 (10):44-61.
    Nowadays, we are confronted with important debates concerning “pluralism”, “monism”, “relativism”, and “absolutism” in logic on the one hand, and “combinations of logics”, and “translations of logics into each other”, on the other hand. In a global reaction to the plurality of logics. Some important researches have been done in the framework of an extensive project called “universal logic” with two readings: 1) “universal logic as the general theory of logic” or “universal logic as a general theory of logic”; 2) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
    “Formal logic”, an expression created by Kant to characterize Aristotelian logic, has also been used as a name for modern logic, originated by Boole and Frege, which in many aspects differs radically from traditional logic. We shed light on this paradox by distinguishing in this paper five different meanings of the expression “formal logic”: (1) Formal reasoning according to the Aristotelian dichotomy of form and content, (2) Formal logic as a formal science by opposition to an empirical science, (3) Formal (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • From consequence operator to universal logic: a survey of general abstract logic.Jean-Yves Beziau - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 3--17.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • 13 Questions about universal logic.Jean-Yves Béziau - 2006 - Bulletin of the Section of Logic 35 (2/3):133-150.
    Download  
     
    Export citation  
     
    Bookmark   4 citations