Filters
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)
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 implic...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A General Framework for Mathematical Fuzzy Logic. Chapter 2
of weakly implicative logic and some refinements thereof and provide three increasingly to the intuition of fuzzy logics as the logics of chains. Our framework is the class of weakly implicat...
BA - Obecná matematika
- 2011 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Fuzzy Logics as the Logics of Chains
The paper proposes a formal delimitation of the class of 'fuzzy logics' and answers some objections that can be raised against the definitionů the focus is put on informal and motivational aspects of the problem....
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationsh...
Applied mathematics
- 2021 •
- B •
- Link
Rok uplatnění
B - Odborná kniha
Výsledek na webu
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationsh...
Pure mathematics
- 2021 •
- B •
- Link
Rok uplatnění
B - Odborná kniha
Výsledek na webu
Join-semilattices whose principal filters are pseudocomplemented
] is denoted by a -b and can be considered as the connective implication in a certain kind of intuitionistic logic. Contrary to the case of Brouwerian semilattices, sections need logics. We present a connection of the semil...
Pure mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Implication in Weakly and Dually Weakly Orthomodular Lattices
Weakly orthomodular and dually weakly orthomodular lattices were introduced by the authors in a recent paper. Similarly as for orthomodular lattices we try to introduce an implication in these lattices which can be easily a...
Pure mathematics
- 2021 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
An algebraic analysis of implication in non-distributive logics
of several structures of prominent importance for mathematical logic, e.g. (generalized) orthomodular lattices, and MV-algebras, which admit a natural notion of implication pseudocomplemented ones. We will discuss basic properties ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
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
- 1 - 10 out of 22 355