Filters
An Abstract Approach to Fuzzy Logics: Implicational Semilinear Logics
the new hierarchy of implicational logics. In this framework the notion of implicational semilinear logic can be naturally introduced as a property of the implication, namely a logicL is an implicatio...
BA - Obecná matematika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Implicational (Semilinear) Logics I: A New Hierarchy
based on generalized implications. It yields the hierarchy of implicational logics which expands Leibniz hierarchy. The notion of implicational semilinear logic is then naturally introduced as a property ...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Weakly Implicative (Fuzzy) Logics I. Basic Properties
This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
The condition under which a pre-logic becomes an implication algebra
We show that a pre-logic which is a generalization of propositional intuitionistic logic becomes an implication algebra if and only if it satisfies the quasi-commutativity....
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Logics with Disjunction and Proof by Cases
for intersections of logics and recognizing weakly implicative fuzzy logics among the weakly implicative ones.
BA - Obecná matematika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
(4):417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect t...
BA - Obecná matematika
- 2016 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Proof complexity of intuitionistic implicational formulas
full intuitionistic logic for implicational tautologies. The results also applyWe study implicational formulas in the context of proof complexity of intuitionistic propositional logic (IPC). On the one hand, we gi...
Pure mathematics
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Some Relations between Implicational Quantifiers and Fuzzy Implications.
Basic themes in document: fuzzy logic; data mining; implicational quantifiers. ˛ ´ ş ' ) : C I M ś...
JC - Počítačový hardware a software
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness
We show that Kozen and Tiuryn’s substructural logic of partial correctness S embeds into the equational theory of Kleene algebra with domain, KAD. We provide an implicational formulation of KAD which sets S in the context of imp...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
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)
- 1 - 10 out of 20 413