A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
A. Rose (1954)
Mathematische Annalen
Similarity:
Displaying similar documents to “Self-dual binary and ternary connectives for m-valued propositional calculi.”
A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
Self-Dual Primitives for Modal Logic.
A. Rose (1952/53)
Mathematische Annalen
Similarity:
An alternative Generalisation of the Concept of Duality.
A. Rose (1962)
Mathematische Annalen
Similarity:
Konstruktion nichtrekursiver Funktionen
R. Péter (1935)
Mathematische Annalen
Similarity:
Tag Systems and Lag Systems.
H. Wang (1963)
Mathematische Annalen
Similarity:
On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.
R. Harrop (1956/57)
Mathematische Annalen
Similarity:
On the finite Number of the Covariants of a Binary Quantic.
Cayley (1889)
Mathematische Annalen
Similarity:
Some Self-dual Primitive Functions for Propositional Calculi.
A. Rose (1953)
Mathematische Annalen
Similarity:
A Reduction-Principle for Infinite Formulas.
E. ENGELER (1963)
Mathematische Annalen
Similarity:
Turing-Machines and the Entscheidungsproblem.
J.R. BÜCHI (1962)
Mathematische Annalen
Similarity:
Completeness of Lukasiewicz-Tarski PropositionaICalculi
Alan Rose (1950/51)
Mathematische Annalen
Similarity:
Some Applications of Gentzens Second Consistency Proof.
B. SCARPELLINI (1969)
Mathematische Annalen
Similarity:
Conditioned Disjunction as a primitive connective for the m-valued Propositional Calculus.
A. Rose (1951)
Mathematische Annalen
Similarity:
The logic of chance
John Venn
Similarity:
The Ternary Discriminator Function in Universal Algebra.
A.F. PIXLEY (1971)
Mathematische Annalen
Similarity:
On Poincaré 3-Complexes with Binary Polyhedral Fundamental Group.
C.B. Thomas (1977)
Mathematische Annalen
Similarity:
The algebra of many-valued quantities
R.C. Young (1931)
Mathematische Annalen
Similarity:
Note über den Operationskreis des Logikcalculs
Schröder (1877)
Mathematische Annalen
Similarity: