Filters
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both-classical logics a...
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
mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both-classical logics a...
Pure mathematics
- 2021 •
- B •
- Link
Rok uplatnění
B - Odborná kniha
Výsledek na webu
A Note on Natural Extensions in Abstract Algebraic Logic
Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model extension of the logic to a bigge...
BA - Obecná matematika
- 2015 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
the perspective of their algebraic completeness and filter extension properties in abstract algebraic logic. If follows from the Lindenbaum Lemma used in standard proofs of algebraic completeness that, in...
Pure mathematics
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Filters in Algebras of Fuzzy logics
types of filters (e.g., (positive) implicative, fantastic) on algebras of nonclassical (mostly fuzzy) logics. Our approach is rooted in the framework of Abstract Algebraic Logic, and is based on the close...
BA - Obecná matematika
- 2011 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
A new hierarchy of infinitary logics in abstract algebraic logic
In this article we investigate infinitary propositional logics from the perspective of their completeness properties in abstract algebraic logic. It is well-known that every finitary logic is complete with...
Pure mathematics
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
A Computational Glimpse at the Leibniz and Frege Hierarchies
In this paper we consider, from a computational point of view, the problem of classifying logics within the Leibniz and Frege hierarchies typical of abstract algebraic logic. The main result states that, for lo...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
open problems in abstract algebraic logic, and open a new one.We establish some relations between the class of truth-equational logics, the class of assertional logics, other classes in the Leibniz hierar...
Pure mathematics
- 2018 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
An Algebraic View of Super-Belnap Logics
of view of Abstract Algebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a numberThe Belnap–Dunn logic
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- 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
Paper presents a new abstract framework to deal in a uniform way with the increasing variety of fuzzy logics studied in the literature. By means of notions and techniques from Abstract Algebraic Logic, we ...
BA - Obecná matematika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 20 961