Filters
Show more
Show more
Show more
Show more
Show more
Show more
Show more
Show more
More filters
Results
Extensional logic of hyperintensions
In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality intensional and hyperintensional ones. The availab...
IN - Informatika
- 2012 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Extensional logic of hyperintensions
I describe an extensional logic of hyperintensions, viz. Tichý?s Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds and hyperintensional ones. The availability of an <...
IN - Informatika
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Towards an Extensional Calculus of Hyperintensions
In this paper I describe an extensional logic of hyperintensions, viz. Tichý?s Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality, then the context is "opaque", that is non-ext...
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Transparent quantification into hyperintensional contexts
We describe an extensional logic of hyperintensions (Tichy's Transparent Intensional Logic: TIL) that comes with a context-invariant semantics, a ramified type hierarchy, partial functions, and hyperintensions<...
AA - Filosofie a náboženství
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Transparent quantification into hyperpropositional attitudes de dicto
an extensional logic of hyperintensions, Transparent Intensional Logic validates all the rules of extensional logic, including existential quantification. Yet the rules is how a particular lo...
Applied mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Transparent quantification into hyperpropositional contexts de re
-in presupposes an extensional logic of hyperintensions preserving transparency as co-denotation or equivalence in extensional contexts. Our logic is Tichý?s Transparent Intensional Logic. The syn...
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Hyperintensions and procedural isomorphism: Alternative (1/2;)
It is a thrice-told tale in contemporary philosophical logic, especially epistemic logic and formal semantics, that at least the logical objects figuring believes that D". constitutes neither an extensional nor int...
AA - Filosofie a náboženství
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Deduction system for TIL-2010
Transparent Intensional Logic (TIL). Tichý defined a sequent calculus for pre-1988 TIL so that it be applicable to hyperintensions within the rami-fied hierarchy of types. TIL operates with a single procedural semantics for all kin...
IN - Informatika
- 2012 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
TIL as a Procedural Logic: A Guide of Transparent Intensional Logic for a Curious Reader
, pragmatically incomplete meaning, foundations of an extensional logic of hyperintensions.In the first part theoretical foundations of TIL are exposed: The meaning of an expression, basic notions and definitions, procedura...
AA - Filosofie a náboženství
- 2012 •
- B
Rok uplatnění
B - Odborná kniha
HTLC: Hyperintensional Typed Lambda Calculus
In this paper we introduce the logic HTLC, for Hyperintensional Typed Lambda Calculus. The system extends the typed lambda calculus with hyperintensions and related for extensional, intensional and hyperintentsional entitie...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
- 1 - 10 out of 9 360