Sheffer stroke functions in many-valued logics
Evans, Trevor, Hardy, Lane (1957)
Portugaliae mathematica
Similarity:
Displaying similar documents to “A Lesniewski-Mihailescu-theorem for m-valued propositional calculi”
Sheffer stroke functions in many-valued logics
A reduction of the primitive symbols of the Lewis calculi
Halldén, S. (1949)
Portugaliae mathematica
Similarity:
The Neg.-propositional Calculus
Milan Tasić (1991)
Publications de l'Institut Mathématique
Similarity:
Axiomatizability of some many valued predicate calculi
Andrzej Mostowski (1961)
Fundamenta Mathematicae
Similarity:
Sequents in many valued logic II
G. Rousseau (1970)
Fundamenta Mathematicae
Similarity:
Intuitionistic modal logic with quantifiers
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
Conditioned disjunction as a primitive connective for the propositional calculus
Church, Alonzo (1948)
Portugaliae mathematica
Similarity: