Some theorems on structural entailment relations (Q798645): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Some theorems on structural consequence operations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reduced products of logical matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivalential logics. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4079581 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4159022 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrix approach in methodology of sentential calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on direct products and ultraproducts of logical matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4196406 / rank | |||
Normal rank |
Revision as of 13:56, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some theorems on structural entailment relations |
scientific article |
Statements
Some theorems on structural entailment relations (English)
0 references
1983
0 references
structural finitistic entailments
0 references
matrices
0 references
finitely based entailments
0 references