Filters
A new semantic framework for modal logic
This article presents a new semantic framework for modal propositional language. The basic structures of the semantics are Boolean algebras with operators. However, the semantics is not algebraic but rather relatio...
AA - Filosofie a náboženství
- 2014 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Operative semantics: An introduction
We present in this article the prolegomena to an operative semantics, and we analyze various language facts from this point of view. We study several morphosyntactic systems, but also lexical systems, since we propose to read the st...
AI - Jazykověda
- 2015 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
We propose a new semantics for Scc - to that end, an operational semantics reporting the steps of computation is introduced. A denotational semantics is then proposed and it is proved to be correct with respect to ...
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
We propose a new semantics for Scc - to that end, an operational semantics reporting the steps of computation is introduced. A denotational semantics is then proposed and it is proved to be correct with respect to ...
IN - Informatika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Intensionalisation of Logical Operators
This paper introduces and explores semantics for propositional laguage in which every logical operator is intensional in a specific sense: its meaning is not based. In the semantics, the consequence relation preserves asser...
AA - Filosofie a náboženství
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Semantically-Oriented Mutation Operator in Cartesian Genetic Programming for Evolutionary Circuit Design
such as semantic-aware operators are incorporated to improve the search space exploration capability of GP. In this paper, we propose a semantically-oriented mutation operator. The efficiency of CGP highly depends...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings
selection. In this paper, we present a formal operational semantics for an interpreter using late binding variables. A well-specified operational semantics is necessary......
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Routley Star in Information-Based Semantics
, to characterize negation semantically via the operation known as Routley star. This operation works well within relational semantic frameworks based on prime theories. We study this operation in the cont...
Philosophy, History and Philosophy of science and technology
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Neighbourhood Semantics for Modal Relevant Logics
In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investiga...
Philosophy, History and Philosophy of science and technology
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Boolean-Like and Frequentistic Semantics for First-Order Predicate Calculus without Functions.
A nonstandard evaluation of the classical first-ordered predicate language without functions is proposed and investigated. This evaluation meets the properties of probability and possibility measures with respect to nonstandard operations wi...
BA - Obecná matematika
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 75 821