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
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
relevant logic
0 references
consequence operation
0 references
abstract logic
0 references
algebras with closure operators
0 references