On three-valued implicative systems (Q1253653): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Logical systems with implications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3268305 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Basic properties of deductive systems based on nonclassical logics. Part I, II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to non-classical logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on the consequence operation in sentential logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrix approach in methodology of sentential calculi / rank | |||
Normal rank |
Latest revision as of 01:12, 13 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On three-valued implicative systems |
scientific article |
Statements
On three-valued implicative systems (English)
0 references
1978
0 references
Three-Elemet Strongly Adequate Matrix
0 references
Three-Valued Implicative Systems
0 references
Lindenbaum Quotient Matrices
0 references