Algebraic logic for classical conjunction and disjunction (Q1189892): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q218967 |
Changed an Item |
||
Property / author | |||
Property / author: Josep Maria Font / rank | |||
Normal rank |
Revision as of 08:52, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic logic for classical conjunction and disjunction |
scientific article |
Statements
Algebraic logic for classical conjunction and disjunction (English)
0 references
27 September 1992
0 references
Relationships between the fragment \(\mathbb{L}\) of classical propositional logic and the variety \(\mathbb{D}\) of distributive lattices are studied from a non-traditional point of view. They are shown to be satisfactorily covered neither by Blok and Pigozzi's algebraizable logics approach nor by use of logical matrices. To make up for the deficiency, the authors introduce a new notion of a model of a sequential calculus \(\mathcal L\) for \(\mathbb{L}\). They find that abstract logics in the sense of Suszko provide a natural tool to convert a distributive lattice into a model of \(\mathcal L\); the specified presentation of \(\mathcal L\) plays here a crucial role. The various results obtained in this paper serve as a basis for a statement that distributive lattices are the right models of \(\mathcal L\).
0 references
fragment of classical propositional logic
0 references
variety of distributive lattices
0 references
algebraizable logics
0 references
logical matrices
0 references
model of a sequential calculus
0 references
abstract logics
0 references