Concepedia

On an implication connective of ${\rm RM}$.

Arnon Avron

Notre Dame Journal of Formal Logic · 1986 · 65 citations · 5 references

DOIFull text

Open access

Concepts

References

5

On the theory of inconsistent formal systems.

Newton C. A. da Costa · Notre Dame Journal of Formal Logic · 1974 · 739 citations · Full text

, , +6

A propositional calculus with denumerable matrix

Michael Dummett · Journal of Symbolic Logic · 1959 · 403 citations

, , +7

Algebraic completeness results for R-mingle and its extensions

J. Michael Dunn · Journal of Symbolic Logic · 1970 · 119 citations

, , +10

Algebraic Completeness Results for Dummett's LC and Its Extensions

J. Michael Dunn, Robert K. Meyer · Mathematical logic quarterly · 1971 · 70 citations

, , +7

Algebraic completeness results for R-mingle and its extensions

J. Michael Dunn · Journal of Symbolic Logic · 1970 · 47 citations

, , +10