Algebraic logic for classical conjunction and disjunction (Q1189892): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q218967 |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Josep Maria Font / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3858244 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alfred Tarski's work on general metamathematics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraizable logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4011710 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to the special issue on algebraic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuous dependence on initial geometry for a class of abstract equations in Hilbert space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4078023 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Key notions of Tarski's methodology of deductive systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3874168 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3041195 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4052071 / 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: Q3830999 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3268305 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3325691 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 2-element matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342088 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342086 / 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 |
Revision as of 12:06, 16 May 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
0 references