Filters
A nonstandard semantic framework for intuitionistic logic
In this paper, a nonstandard semantic framework for intuitionistic logic is introduced and its relation to Kripke semantics is studied. The main peculiarity supporting any of its disjuncts. The semantic structures ...
AA - Filosofie a náboženství
- 2016 •
- D
Rok uplatnění
D - Stať ve sborníku
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
version of the classical relationship between Kripke and neighborhood semanticsThe majority of works on modal fuzzy logics consider Kripke-style possible worlds semantics as the principal semantics despit...
BA - Obecná matematika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
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 relational; in i...
AA - Filosofie a náboženství
- 2014 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Two levels of semantics.
the expression refers to (via its content) in the world. However, Kripke and Putnam arguethat the semantics of some expressions is a matter of their nonmediated contact with entities of the world. Stalnaker, Chalmers and others thu...
AA - Filosofie a náboženství
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Neighborhood semantics for modal many-valued logics
with the usual Kripke semantics (this is actually the highest level of generality where one can give a straightforward definition of the Kripke-style semantics). Second, weThe majority of works on modal many-value...
Pure mathematics
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
A Generalization of Inquisitive Semantics
that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning inquisitive semanticsThis paper introduces a generalized version of inquis...
AA - Filosofie a náboženství
- 2016 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
[Recenze]. Beyond Rigidity. The Unfinished Semantic Agenda of Naming and Necessity. Oxford University Press, Oxford 2002, ix+379 pp.
A review of Scott Soames' book discussing Saul Kripke's theory of semantics.
AA - Filosofie a náboženství
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Toward a general frame semantics for modal many-valued logics
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all modal logics extending, respectively, K and E the relation between general Kripke and neighborhood A-frames and prove that, ...
Pure mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Informative Presupposition in Inquisitive Logic
In this paper, we explore a logic of the modality of informative presupposition in the context of propositional intuitionistic inquisitive logic. We present a natural deduction calculus for this logic and show that it is sound and complete with respe...
Philosophy, History and Philosophy of science and technology
- 2024 •
- D
Rok uplatnění
D - Stať ve sborníku
Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics
This paper deals with intuitionistic logic and completeness of Gentzen calculus with respect to its semantics. We present a rather simple proof for the case where the language is at most countable but may contain function symbols....
AA - Filosofie a náboženství
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 7 374