X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (392) 392
Conference Proceeding (22) 22
Publication (20) 20
Book / eBook (8) 8
Book Chapter (2) 2
Dissertation (2) 2
Web Resource (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
algebra (193) 193
mathematics (190) 190
heyting algebras (183) 183
heyting algebra (165) 165
logic (137) 137
mathematical logic and foundations (85) 85
philosophy (74) 74
mathematical theorems (73) 73
logical theorems (59) 59
mathematics, applied (56) 56
computational linguistics (55) 55
intuitionistic logic (51) 51
mathematical logic (39) 39
computer science, theory & methods (32) 32
semantics (32) 32
computer science, artificial intelligence (30) 30
mathematical lattices (30) 30
boolean algebras (29) 29
axioms (27) 27
lattices (27) 27
morphisms (27) 27
computer science (26) 26
modal logic (26) 26
subalgebras (26) 26
06d20 (25) 25
homomorphisms (24) 24
boolean algebra (23) 23
boolean data (23) 23
universal algebra (21) 21
analysis (20) 20
residuated lattice (20) 20
geometry (19) 19
lattice theory (18) 18
partially ordered sets (17) 17
residuated lattices (17) 17
superintuitionistic logic (17) 17
artificial intelligence (16) 16
equivalence relation (15) 15
mathematics, general (15) 15
model theory (15) 15
distributive lattices (14) 14
logic in computer science (14) 14
mathematical duality (14) 14
theory of computation (14) 14
computer science, interdisciplinary applications (13) 13
distributive lattice (13) 13
engineering (13) 13
topological spaces (13) 13
topology (13) 13
varieties (13) 13
algebraic topology (12) 12
computational intelligence (12) 12
axiomatization (11) 11
computer science, software engineering (11) 11
functors (11) 11
lattice (11) 11
mv-algebra (11) 11
convex and discrete geometry (10) 10
mathematical congruence (10) 10
priestley duality (10) 10
spaces (10) 10
statistics & probability (10) 10
03g25 (9) 9
algebras (9) 9
basic algebra (9) 9
category theory (9) 9
control, robotics, mechatronics (9) 9
discriminator variety (9) 9
fuzzy sets (9) 9
predicate logic (9) 9
propositional logic (9) 9
semi-heyting algebras (9) 9
06d50 (8) 8
bl algebra (8) 8
complete heyting algebra (8) 8
completeness (8) 8
duality (8) 8
duality theory (8) 8
interpolation (8) 8
mathematical functions (8) 8
rough sets (8) 8
tense operators (8) 8
08b15 (7) 7
congruences (7) 7
finite model property (7) 7
free algebras (7) 7
hilbert algebra (7) 7
logical disjunction (7) 7
mathematical analysis (7) 7
mathematics - logic (7) 7
mv algebra (7) 7
natural duality (7) 7
operators (7) 7
systems (7) 7
wajsberg algebra (7) 7
03b55 (6) 6
06d30 (6) 6
algorithms (6) 6
amalgamation (6) 6
bck algebra (6) 6
more...
Library Location Library Location
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (415) 415
Chinese (5) 5
French (5) 5
German (4) 4
Czech (1) 1
Russian (1) 1
Spanish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


MATHEMATICS, ISSN 2227-7390, 12/2019, Volume 7, Issue 12, p. 1243
In any logical algebraic structures, by using of different kinds of filters, one can construct various kinds of other logical algebraic structures. With this... 
Wajsberg hoop | MATHEMATICS | Heyting algebra | BL-algebra | co-filter | Hilbert algebra | hoop | Brouwerian semilattice
Journal Article
Soft Computing, ISSN 1432-7643, 12/2019, Volume 23, Issue 23, pp. 12209 - 12219
In this paper, we introduce some stabilizers and study related properties of them in residuated lattices. Then, we investigate the image and inverse image of a... 
Implicative stabilizer | Engineering | Heyting algebra | Computational Intelligence | Control, Robotics, Mechatronics | Artificial Intelligence | Residuated lattice | Multiplicative stabilizer | Mathematical Logic and Foundations
Journal Article
Algebra universalis, ISSN 0002-5240, 12/2019, Volume 80, Issue 4, pp. 1 - 18
By Priestley duality, each bounded distributive lattice is represented as the lattice of clopen upsets of a Priestley space, and by Esakia duality, each... 
06D20 | Distributive lattice | Heyting algebra | Algebra | p-algebra | Priestley duality | Mathematics | 06D05 | 06E15 | Esakia duality | 06D15 | MATHEMATICS
Journal Article
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, ISSN 1064-1246, 2019, Volume 37, Issue 4, pp. 5471 - 5485
In this paper, we introduce the notion of co-annihilator in hoops and investigate some related properties of them. Then we prove that the set of filters F(A)... 
filter | Heyting algebra | co-annihilator | Hoop | Boolean algebra | pseudo-complement | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Hoops | Algebra | Lattices
Journal Article
FUNDAMENTA INFORMATICAE, ISSN 0169-2968, 2019, Volume 170, Issue 1-3, pp. 223 - 240
We study a version of the Stone duality between the Alexandrov spaces and the completely distributive algebraic lattices. This enables us to present... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING | MATHEMATICS, APPLIED | complete Heyting algebra | completeness theorem | second-order intuitionistic propositional logic | Logic | Semantics | Lattices (mathematics)
Journal Article
Fuzzy Sets and Systems, ISSN 0165-0114, 10/2019, Volume 373, pp. 37 - 61
In this paper, notions of left- and right-state operators on residuated lattices are introduced and some related properties of such operators are investigated.... 
State filter | Heyting algebra | Galois connection | Residuated lattice | State coannihilator | State congruence | State residuated lattice | MATHEMATICS, APPLIED | ALGEBRAS | FILTERS | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS | Algebra
Journal Article
Journal of Philosophical Logic, ISSN 0022-3611, 2018, Volume 48, Issue 3, pp. 447 - 469
Conditional logics have traditionally been intended to formalize various intuitively correct modes of reasoning involving (counterfactual) conditional... 
Conditional logic | Heyting algebra | Intuitionistic logic | Chellas semantics | Kripke semantics | PHILOSOPHY | Philosophy | Algebra
Journal Article
Journal of Algebra and its Applications, ISSN 0219-4988, 06/2018
J. Algebra Appl. 18, no. 6 (2019) 1950107 In 1702.04949 noncommutative frames were introduced, generalizing the usual notion of frames of open sets of a... 
Heyting algebra | skew lattice | Noncommutative topos | noncommutative frame | Lawvere–Tierney topology
Journal Article
Algebra and Logic, ISSN 0002-5232, 5/2019, Volume 58, Issue 2, pp. 144 - 157
The interpolation problem over Johansson’s minimal logic J is considered. We introduce a series of Johansson algebras, which will be used to prove a number of... 
Mathematics | Algebra | Johansson algebra | finite-layered pre-Heyting logic | Mathematical Logic and Foundations | Craig’s interpolation property | DECIDABILITY | MATHEMATICS | MINIMAL LOGIC | PROPERTY | Craig's interpolation property | LOGIC
Journal Article
Soft Computing, ISSN 1432-7643, 5/2019, Volume 23, Issue 10, pp. 3207 - 3216
The main goal of this paper is to introduce and research co-annihilators and $$\alpha $$ α -filters in residuated lattices. We characterize $$\alpha $$ α... 
Engineering | Heyting algebra | Computational Intelligence | Control, Robotics, Mechatronics | Artificial Intelligence | Residuated lattice | Prime $$\alpha $$ α -filter space | Co-annihilator | alpha $$ α -filter | Mathematical Logic and Foundations
Journal Article
Indagationes Mathematicae, ISSN 0019-3577, 05/2019, Volume 30, Issue 3, pp. 403 - 469
Brouwer’s views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional... 
Locale | Nucleus | Intermediate logics | Algebraic semantics | Heyting algebra | Intuitionistic logic | Topological semantics | Kripke semantics | Beth semantics | SEPARABLE AXIOMATIZATION | MATHEMATICS | PROPOSITIONAL SYSTEMS SN | Philosophy | Algebra | Lattice theory | Topology | Logic | Semantics
Journal Article
2019 XXII International Conference on Soft Computing and Measurements (SCM), 05/2019, pp. 15 - 16
Given a crisp tolerance relation, the structure of the fuzzy tolerance classes with the membership values in a complete Heyting algebra is described. It is... 
Heyting algebra | tolerance class | tolerance relation
Conference Proceeding
Soft Computing, ISSN 1432-7643, 04/2018, Volume 23, Issue 10, pp. 1 - 10
The main goal of this paper is to introduce and research co-annihilators and alpha-filters in residuated lattices. We characterize alpha-filters in terms of... 
Prime $$\alpha $$α-filter space | Heyting algebra | Co-annihilator | alpha $$α-filter | Residuated lattice | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | Prime alpha-filter space | alpha-filter | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
Studia Logica, ISSN 0039-3215, 4/2019, Volume 107, Issue 2, pp. 247 - 282
We characterise the intermediate logics which admit a cut-free hypersequent calculus of the form $$\mathbf {HLJ} + \mathscr {R}$$ HLJ + R , where $$\mathbf... 
Intermediate logics | Computational Linguistics | Hypersequent calculi | Algebraic proof theory | Heyting algebras | Logic | Philosophy | Mathematical Logic and Foundations | MATHEMATICS | COMPLETIONS | PHILOSOPHY | ELIMINATION | CANONICAL FORMULAS | RULES | LOGIC | Algebra
Journal Article
Transactions of the American Mathematical Society, ISSN 0002-9947, 03/2019, Volume 371, Issue 3, pp. 2133 - 2158
Journal Article
Mathematica Slovaca, ISSN 0139-9918, 02/2019, Volume 69, Issue 1, pp. 15 - 34
In this paper, we investigate the variety of regular double -algebras and its subvarieties , ≥ 1, of range . First, we present an explicit description of the... 
08B15 | equational basis | 06D50 | Priestley duality | discriminator variety | algebra | simple algebra | subdirectly irreducible algebra | regular double | lattice of subvarieties | double Heyting algebra | Secondary 08B26 | Primary 06D15 | 03G25 | 03G10 | regular double p-algebra | MATHEMATICS | SPACES | HEYTING ALGEBRAS | EQUATIONAL CLASSES | Algebra
Journal Article
Logical Methods in Computer Science, ISSN 1860-5974, 01/2019, Volume 15, Issue 1, pp. 15:1 - 15:35
In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular... 
canonicity | Computer Science(all) | bi-Heyting algebras | normal distributive lattice expansions | Theoretical Computer Science | co-Heyting algebras | Sahlqvist theory | Gödel-McKinsey-Tarski translation | Heyting algebras | algorithmic correspondence
Journal Article
Logical Methods in Computer Science, ISSN 1860-5974, 2019, Volume 15, Issue 1
In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular... 
canonicity | bi-Heyting algebras | normal distributive lattice expansions | co-Heyting algebras | Sahlqvist theory | Gödel-McKinsey-Tarski translation | Heyting algebras | algorithmic correspondence | EXTENSIONS | Godel-McKinsey-Tarski translation | COMPLETENESS | COMPUTER SCIENCE, THEORY & METHODS | LOGIC | Mathematics - Logic
Journal Article
Journal of Algebra and its Applications, ISSN 0219-4988, 01/2019, Volume 18, Issue 1
We explore algebraic properties of noncommutative frames. The concept of noncommutative frame is due to Le Bruyn, who introduced it in connection with... 
Frames | Heyting algebra | noncommutative structure | skew lattice | MATHEMATICS | MATHEMATICS, APPLIED | Mathematics - Rings and Algebras
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.