Self-dual binary and ternary connectives for m-valued propositional calculi.
A. Rose (1961)
Mathematische Annalen
Similarity:
Displaying similar documents to “A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.”
Self-dual binary and ternary connectives for m-valued propositional calculi.
An alternative Generalisation of the Concept of Duality.
A. Rose (1962)
Mathematische Annalen
Similarity:
Conditioned Disjunction as a primitive connective for the m-valued Propositional Calculus.
A. Rose (1951)
Mathematische Annalen
Similarity:
Completeness of Lukasiewicz-Tarski PropositionaICalculi
Alan Rose (1950/51)
Mathematische Annalen
Similarity:
The algebra of many-valued quantities
R.C. Young (1931)
Mathematische Annalen
Similarity:
Konstruktion nichtrekursiver Funktionen
R. Péter (1935)
Mathematische Annalen
Similarity:
Some Self-dual Primitive Functions for Propositional Calculi.
A. Rose (1953)
Mathematische Annalen
Similarity:
Tag Systems and Lag Systems.
H. Wang (1963)
Mathematische Annalen
Similarity:
Extending Linear Space-Valued Functions.
R.A. ALÒ, L.I. SENNOTT (1971)
Mathematische Annalen
Similarity:
Self-Dual Primitives for Modal Logic.
A. Rose (1952/53)
Mathematische Annalen
Similarity:
The Theory of Successor with an Extra Predicate.
Wolfgang Thomas (1978)
Mathematische Annalen
Similarity:
The Dual of C (S, F).
G.W. JOHNSON (1970)
Mathematische Annalen
Similarity:
Note on a Paper of Kemeny's.
R.O. Gandy (1958)
Mathematische Annalen
Similarity:
The Operational Calculus
N. Wiener (1926)
Mathematische Annalen
Similarity:
The Du Bois-Reymond Relation in the Calculus of Variations
E.J. McShane (1934)
Mathematische Annalen
Similarity: