Filters
Show more
Show more
Show less
Show less
Show less
Show less
Show more
Show more
More filters
Results
Hyperintensions and procedural isomorphism: Alternative (?)
In the paper I denife criteria for the identity of procedures. Based on these criteria the relation of procedural isomorphism and synonymous expressions are defined....
IN - Informatika
- 2010 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Procedural isomorphism and synonymy
. In an effort to solvethe problem we introduced the notion of procedural isomorphism. Procedural isomorphism is a nod to Carnap's intensional isomorphism and Church's theory, the sense of an expression is...
IN - Informatika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Structural isomorphism of meaning and synonymy.
the notion of procedural isomorphism. Any two terms or expressions whose respective meanings are procedurally isomorphic are deemed semantically indistinguishable, hence theory, the sense of an expression is an al...
IN - Informatika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Hyperintensions and procedural isomorphism: Alternative (1/2;)
the notion of procedural isomorphism as the principle governing the individuation. This prompted him to develop the notion of intensional isomorphism, which Church found as they aretwo near-identical procedures, a...
AA - Filosofie a náboženství
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are ...
Philosophy, History and Philosophy of science and technology
- 2019 •
- D
Rok uplatnění
D - Stať ve sborníku
Procedural Semantics of TIL
In the paper I deal with the most important feature of Tichý's Transparent Intensional Logic, which is its procedural semantics.
IN - Informatika
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Isomorphism and local isomorphism of clones of spaces
Isomorphism and local isomorphism of clones of spaces...
BA - Obecná matematika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Transparent Intensional Logic: A Challenge
The paper presents a brief survey of history and philosophical background of Transparent Intensional logic (TIL) together with a characteristic of its structure....
AA - Filosofie a náboženství
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Seeded growth of isomorphously substituted chabazites in proton-form
Isomorphous substitution of 3- and 4-valent heteroelements for Si is a practical approach to develop a zeolite catalyst with high activity and selectivity-CHA[H] was significantly reduced in comparison with existing procedures as a ...
Physical chemistry
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Quantum and non-signalling graph isomorphisms
We introduce the (G, H) isomorphism game, a new two-player non-local game that classical players can win with certainty iff the graphs G and H are isomorphic. We then define quantum and non-signalling isomorphisms by consid...
Pure mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 43 186