A grammar of functions. II
From MaRDI portal
Publication:2534288
DOI10.1007/BF01817499zbMath0179.03803OpenAlexW1970575698MaRDI QIDQ2534288
Publication date: 1969
Published in: Aequationes Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/135998
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The algebra of functions
- A composition algebra for multiplace functions
- An axiomatization of the algebra of transformations over a set
- Function systems
- Embedding of algebraic systems
- Abstract mean values
- A mapping-algebra with infinitely many operations
- Generation of any N-Valued Logic by One Binary Operation
- ON SUBSTITUTIVE ALGEBRA AND ITS SYNTAX
- Complete Connectives for the 3-Valued Propositional Calculus
- On η-valued functionally complete truth functions
- Two Theorems on Essential Variables
- Two theorems on the generation of systems of functions
- The algebra of multiplace vector-valued functions
- The Substitutive Law
- General Recursive Functions
- Boolean Algebras with Operators. Part I
- Algebraic Properties of N-Valued Propositional Calculi
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
This page was built for publication: A grammar of functions. II