Some Self-dual Primitive Functions for Propositional Calculi.
A. Rose (1953)
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 “Conditioned Disjunction as a primitive connective for the m-valued Propositional Calculus.”
Some Self-dual Primitive Functions for Propositional Calculi.
A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
A. Rose (1954)
Mathematische Annalen
Similarity:
Markoff Forms and Primitive Words.
Harvey Cohn (1972)
Mathematische Annalen
Similarity:
Relativization of a primitive recursive hierarchy.
P. AXT (1963)
Mathematische Annalen
Similarity:
The Finite, Discontinous, Primitive Groups of Collineations in Three Variables
H.F. Blichfeldt (1907)
Mathematische Annalen
Similarity:
The Finite, Discontinuons Primitive Groups of Collineations in Four Variables
H.F. Blichfeldt (1905)
Mathematische Annalen
Similarity:
Completeness of Lukasiewicz-Tarski PropositionaICalculi
Alan Rose (1950/51)
Mathematische Annalen
Similarity:
Konstruktion nichtrekursiver Funktionen
R. Péter (1935)
Mathematische Annalen
Similarity:
Tag Systems and Lag Systems.
H. Wang (1963)
Mathematische Annalen
Similarity:
The algebra of many-valued quantities
R.C. Young (1931)
Mathematische Annalen
Similarity:
The Theory of Successor with an Extra Predicate.
Wolfgang Thomas (1978)
Mathematische Annalen
Similarity:
The Du Bois-Reymond Relation in the Calculus of Variations
E.J. McShane (1934)
Mathematische Annalen
Similarity:
Iteration of Relative Primitive Recursion
P. AXT (1966)
Mathematische Annalen
Similarity:
The Operational Calculus
N. Wiener (1926)
Mathematische Annalen
Similarity:
Turing-Machines and the Entscheidungsproblem.
J.R. BÜCHI (1962)
Mathematische Annalen
Similarity: