Filters
A Duality for Distributive Unimodal Logic
semantics of intuitionistic modal logic and positive modal logic, but it generalizes which unies and generalizes the duality theorems for intuitionistic modal logicWe introduce ...
BA - Obecná matematika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
On lengths of proofs in non-classical logics
We give proofs of the effective monotone interpolation property for the system of modal logic K. and others, and the system IL of intuitionistic propositional logic. Hence we obtain exponential lower bounds on the ...
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Substructural logics with a reflexive transitive closure modality
and weak completeness for intuitionistic modal logic with the reflexive transitive. Normal modal logics with such modalities are well-explored but weaker logics are not. We add a reflexi...
Philosophy, History and Philosophy of science and technology
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Frege systems for extensible modal logics
It is known that all Frege proof systems for the classical or intuitionistic propositional logic in the standard language are polynomially equivalent. We extend these results to a family of modal logics, including ...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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 ...
Philosophy, History and Philosophy of science and technology
- 2024 •
- D
Rok uplatnění
D - Stať ve sborníku
NCMPL 2011. Non-Classical Modal and Predicate Logics
The conference took place in Guangzhou, December 5-9, 2011. The conference aimed to bring together experts from different areas of non-classical model and predicate logic....
BA - Obecná matematika
- 2011 •
- M
Rok uplatnění
M - Uspořádání konference
Some Modifications of Carnap's Modal Logic
In this paper, Carnap's modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively is comparedwith intuitionistic logic. At the end o...
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
Interpolation in Linear Logic and Related Systems
extend this result to both classical and intuitionistic linear logic as well as their multiplicative-additive fragments. None of the logics we exhibit have the Craig interpolation property, but we show that the exhibited e...
Pure mathematics
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
The Philosophical Basis of Intuitionistic Logic
The text discuss elements of intuitionistic logic and mathematics.
AA - Filosofie a náboženství
- 2006 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Algebras of Information States
In this article, a non-standard informational semantics for superintuitionistic modal logics is introduced and studied. It is based on algebraic structures that are interpreted as algebras of information states. The proposed semanti...
Philosophy, History and Philosophy of science and technology
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 14 529