Filters
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)
Two kinds of procedural semantics for privative modification
In this paper we present two kinds of procedural semantics for privative modi cation. We do this for three reasons. The rst reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist ...
AA - Filosofie a náboženství
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Post-Fregean thoughts on propositional unity
), and figuring as the meaning of a sentence. This essay sketches how a theory of procedural semantics may offer a solution to the problem of the unity of the proposition. Procedural semantics contrasts with denota...
AA - Filosofie a náboženství
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
The Logos of Semantic Structure
We consider it a mythos that semantic structure should be either redundant or unattainable. We argue in favour of a robustly realist notion of semantic structure based on the hyperintensional procedural semantics o...
AA - Filosofie a náboženství
- 2010 •
- C
Rok uplatnění
C - Kapitola v odborné knize
'Pi' in the sky
We argue for a procedural semantics for mathematical constants, using 'Pi' as a hard test case. The semantics of 'Pi' consists in 'Pi' expressing as its sense a procedure producing the number Pi. What is semant...
BA - Obecná matematika
- 2009 •
- C
Rok uplatnění
C - Kapitola v odborné knize
TIL and hyperintenzionality.
The paper is a reaction to the claim of B. Jespersepen that semantics based on truth condition cannot be hyperintensional, and hence must be replaced by semantics based on the concepts of structure and procedure. It argues ...
AA - Filosofie a náboženství
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Structural isomorphism of meaning and synonymy.
semantics we encounterthe problem of the granularity of procedure individuation. Though meanings are procedurally isomorphic are deemed semantically indistinguishable, hence theory, the sense of an expression is a...
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
Problems and solutions in the framework of procedural semantics
We examine two possible approaches to the formal treatment of the notion of problem in the paradigm of procedural semantics. More specifically, we will explore an approach based on Martin-Löf's Constructive Type Theory (abbr. CTT), ...
AA - Filosofie a náboženství
- 2014 •
- O
Rok uplatnění
O - Ostatní výsledky
Declarative and Procedural Semantics of Fuzzy Similarity Based Unification.
In this paper we argue that for fuzzy unification we need a procedural and declarative semantics (as opposed to the two valued). We base our semantics on a formal model of fuzzy logic programming extended by fuzzy similarit...
BA - Obecná matematika
- 2000 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A Procedural Semantics for Multi-adjoint logic Programming.
Multi-adjoint logic program generalise monotonic logic programs introduced by Damasio and Pereira in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. In this work, a procedural
BA - Obecná matematika
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 51 882