Implication lattices. (English. Russian original) Zbl 0301.02065
Algebra Logic 12(1973), 249-261 (1975); translation from Algebra Logika 12, 445-467 (1973).
MSC:
03G05 | Logical aspects of Boolean algebras |
06D05 | Structure and representation theory of distributive lattices |
03B45 | Modal logic (including the logic of norms) |
References:
[1] | L. L. Maksimova, ”On models of the system E,” Algebra i Logika,6, No. 6, 5–20 (1967). · Zbl 0223.02016 |
[2] | L. L. Maksimova, ”On the calculus of strict entailment,” Algebra i Logika,7, No. 2, 55–76 (1968). · Zbl 0201.00501 |
[3] | L. L. Maksimova, ”An interpretation and separation theorems for the logical systems E and R,” Algebra i Logika,10, No. 4, 376–392 (1971). · Zbl 0242.02028 |
[4] | H. Rasiowa and R. Sikorskii, Mathematics of Metamathematics, Monografie Matematiczne PAN, Warsaw (1963). |
[5] | L. Fuchs, Partially Ordered Algebraic Systems, Addison-Wesley-Pergamon (1963). · Zbl 0137.02001 |
[6] | R. K. Meyer, ”E and S4,” Notre Dame J. Form. Log.,11, No. 2, 181–198 (1970). · Zbl 0182.00504 · doi:10.1305/ndjfl/1093893935 |
[7] | R. K. Meyer, ”Conservative extension in relevant implication,” Studia Logika,31, 39–46 (1973). · Zbl 0273.02019 · doi:10.1007/BF02120525 |
[8] | R. Routley and R. K. Meyer, ”The semantics of entailment, III,” J. Philos. Logic,1, No. 2, 192–208 (1972). · Zbl 0317.02019 · doi:10.1007/BF00650498 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.