𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A functor-valued extension of knot quandles

✍ Scribed by ITO, Tetsuya

Book ID
124078503
Publisher
The Mathematical Society of Japan
Year
2012
Tongue
German
Weight
397 KB
Volume
64
Category
Article
ISSN
0025-5645

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Extensions of Quandles and Cocycle Knot
Extensions of Quandles and Cocycle Knot Invariants
✍ Carter, J. Scott; Elhamdadi, Mohamed; Nikiforou, Marina Appiou; Saito, Masahico πŸ“‚ Article πŸ“… 2003 πŸ› World Scientific Publishing Company 🌐 English βš– 246 KB
A Formalisation of an β„΅0-Valued Proposit
A Formalisation of an β„΅0-Valued Propositional Calculus with Variable Functors
✍ John Jones πŸ“‚ Article πŸ“… 1982 πŸ› John Wiley and Sons 🌐 English βš– 272 KB

A FORMALISATION O F AN N,-VALUED PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS by JOHN JONES in Nottingham (Great Britain) There has been given in [ 2 ] a complete formalisation of the ni-valued ( 2 ?H < N,) propositional calculus with 1 designated truth-value in which the primitive symbols are pro

A Formalisation of Post's m-Valued Propo
A Formalisation of Post's m-Valued Propositional Calculus with Variable Functors
✍ Alan Rose πŸ“‚ Article πŸ“… 1965 πŸ› John Wiley and Sons 🌐 English βš– 224 KB

The m-valued propositional calculi of POST') with one designated truth-value have been formalised2) by means of ten axioms and the rules of substitution and modus ponens. However, in view of the definition of the functor "=" as a conjunction, several axioms may be regarded as sets of m axioms. The o