Conditioned Disjunction as a primitive connective for the m-valued Propositional Calculus.
A. Rose (1951)
Mathematische Annalen
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Some Self-dual Primitive Functions for Propositional Calculi.”
Conditioned Disjunction as a primitive connective for the m-valued Propositional Calculus.
Markoff Forms and Primitive Words.
Harvey Cohn (1972)
Mathematische Annalen
Similarity:
The Finite, Discontinous, Primitive Groups of Collineations in Three Variables
H.F. Blichfeldt (1907)
Mathematische Annalen
Similarity:
Relativization of a primitive recursive hierarchy.
P. AXT (1963)
Mathematische Annalen
Similarity:
The Finite, Discontinuons Primitive Groups of Collineations in Four Variables
H.F. Blichfeldt (1905)
Mathematische Annalen
Similarity:
A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
A. Rose (1954)
Mathematische Annalen
Similarity:
Iteration of Relative Primitive Recursion
P. AXT (1966)
Mathematische Annalen
Similarity:
An alternative Generalisation of the Concept of Duality.
A. Rose (1962)
Mathematische Annalen
Similarity:
Partitioning a Primitive Word into a Generating Set.
C.W. WEINBAUM (1969)
Mathematische Annalen
Similarity:
Completeness of Lukasiewicz-Tarski PropositionaICalculi
Alan Rose (1950/51)
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:
Self-dual binary and ternary connectives for m-valued propositional calculi.
A. Rose (1961)
Mathematische Annalen
Similarity:
Primitive subspaces of Hopf algebras of finite depth.
Stephen Halperin (1990)
Mathematische Annalen
Similarity: