Filters
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
On Sequent Calculi for Intuitionistic Propositional Logic
Single- and multi-conclusion calculi for intuitionistic propositional logic are discussed or presented, complexity of decision procedures based on these calculi is explored....
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On the polynomial-space completeness of intuitionistic propositional logic
An alternative, purely semantical and relatively simple, proof of the Statman's result that both intuitionistic propositional logic and its implicational fragment are PSPACE-complete....
AA - Filosofie a náboženství
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Terminological Difficulties in Fuzzy Set Theory - The Case of "Intuitionistic Fuzzy Sets"
This note points out a terminological clash between Atanassov's "intuitionistic fuzzy sets" and what is currently understood as intuitionistic logic. This paper is a plea for a clarification of terminology, based on mathema...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Proof complexity of intuitionistic implicational formulas
of intuitionistic propositional logic (IPC). On the one hand, we give an efficient full intuitionistic logic for implicational tautologies. The results also apply to other fragments of other superintuitionistic
Pure mathematics
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
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 logic for bi- intuitionistic unimoda...
BA - Obecná matematika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Incompatibility and Inference as Bases of Logic
predetermine the kind of logic we reach in such a way. In this paper we show that in the case of logic based on inference the natural outcome is intuitionist logic, while logic is classical and there is n...
Philosophy, History and Philosophy of science and technology
- 2016 •
- D
Rok uplatnění
D - Stať ve sborníku
Air Pollution Assessment using Intuitionistic Hierarchical Fuzzy Inference Systems
The paper presents the basic notions of intuitionistic fuzzy sets and intuitionistic fuzzy inference systems. Further, there is a design of intuitionistic hierarchical fuzzy inference system of Mamdani type for air pollutio...
IN - Informatika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Admissible Rules in the Implication?Negation Fragment of Intuitionistic Logic
Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication?negation fragments of intuitionistic logic IPC and its consistent axiomatic extensions (intermediate logics...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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 number of...
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 9 417