Algebraic study of two deductive systems of relevance logic (Q1893139): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4085699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4297115 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4083730 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraizable logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4078024 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4078023 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A deduction theorem schema for deductive systems of propositional logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal translations in substructural logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4296741 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4273420 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4715441 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Note on algebraic models for relevance logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A first approach to abstract modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic logic for classical conjunction and disjunction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4077983 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4940727 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real reduced models for relevant logics without WI / rank
 
Normal rank
Property / cites work
 
Property / cites work: The independence of connectives / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3791124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of logical calculi. Basic theory of consequence operations / rank
 
Normal rank

Latest revision as of 14:08, 23 May 2024

scientific article
Language Label Description Also known as
English
Algebraic study of two deductive systems of relevance logic
scientific article

    Statements

    Algebraic study of two deductive systems of relevance logic (English)
    0 references
    0 references
    0 references
    17 March 1996
    0 references
    The paper studies from an algebraic point of view both the classical relevant logic \({\mathbf R}\) and a weaker version \({\mathbf W} {\mathbf R}\), which arises from \({\mathbf R}\) by dropping the Identity Law \(p \to p\). \({\mathbf W} {\mathbf R}\) is given by its consequence operation \(\vdash_{{\mathbf W} {\mathbf R}}\) defined as \[ \Gamma \vdash_{{\mathbf W} {\mathbf R}} \varphi \Leftrightarrow \exists \varphi_1, \ldots, \varphi_n \in \Gamma:\;\vdash_{\mathbf R} (\varphi_1 \wedge \ldots \wedge \varphi_n) \to \varphi. \] It is provided with a classical style Gentzen calculus. Both \({\mathbf W} {\mathbf R}\) and \({\mathbf R}\) are investigated by means of abstract logic, i.e., abstract algebras with closure operators. One of the most interesting results is that on any algebra of suitable type there is an isomorphism between the lattice of all \({\mathbf W} {\mathbf R}\)-logics on it and the lattice of all congruences of the algebra whose quotient is an \({\mathbf R}\)-algebra.
    0 references
    0 references
    relevant logic
    0 references
    consequence operation
    0 references
    abstract logic
    0 references
    algebras with closure operators
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references