A Lesniewski-Mihailescu-theorem for m-valued propositional calculi
Götlind, Erik (1951)
Portugaliae mathematica
Similarity:
Götlind, Erik (1951)
Portugaliae mathematica
Similarity:
Gemma Robles, Sandra M. López, José M. Blanco, Marcos M. Recio, Jesús R. Paradela (2016)
Bulletin of the Section of Logic
Similarity:
The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.
G. Rousseau (1970)
Fundamenta Mathematicae
Similarity:
Reiner Hähnle, Gonzalo Escalada-Imaz (1997)
Mathware and Soft Computing
Similarity:
Merentes, N., Nikodem, K., Rivas, S. (1997)
Journal of Applied Analysis
Similarity:
Alan Rose (1951)
Mathematische Zeitschrift
Similarity:
Lj. B. Ćirić (1972)
Matematički Vesnik
Similarity:
Alan Rose (1952)
Mathematische Zeitschrift
Similarity:
Alan Rose (1953/54)
Mathematische Zeitschrift
Similarity: