X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (394) 394
Conference Proceeding (23) 23
Publication (19) 19
Book / eBook (7) 7
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 (192) 192
mathematics (188) 188
heyting algebras (181) 181
heyting algebra (164) 164
logic (137) 137
mathematical logic and foundations (85) 85
philosophy (73) 73
mathematical theorems (69) 69
mathematics, applied (59) 59
computational linguistics (55) 55
logical theorems (55) 55
intuitionistic logic (50) 50
mathematical logic (34) 34
computer science, theory & methods (33) 33
boolean algebras (30) 30
computer science, artificial intelligence (30) 30
mathematical lattices (30) 30
semantics (30) 30
lattices (29) 29
axioms (27) 27
computer science (26) 26
subalgebras (26) 26
06d20 (25) 25
modal logic (25) 25
morphisms (24) 24
boolean algebra (23) 23
boolean data (23) 23
homomorphisms (23) 23
universal algebra (21) 21
analysis (20) 20
residuated lattice (20) 20
geometry (19) 19
lattice theory (18) 18
residuated lattices (17) 17
artificial intelligence (16) 16
superintuitionistic logic (16) 16
distributive lattices (15) 15
equivalence relation (15) 15
mathematics, general (15) 15
partially ordered sets (15) 15
computer science, interdisciplinary applications (14) 14
mathematical duality (14) 14
model theory (14) 14
theory of computation (14) 14
distributive lattice (13) 13
engineering (13) 13
logic in computer science (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
lattice (11) 11
mv-algebra (11) 11
convex and discrete geometry (10) 10
functors (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
systems (8) 8
tense operators (8) 8
08b15 (7) 7
congruences (7) 7
finite model property (7) 7
free algebras (7) 7
logical disjunction (7) 7
mathematical analysis (7) 7
mv algebra (7) 7
natural duality (7) 7
operators (7) 7
wajsberg algebra (7) 7
03b55 (6) 6
06d30 (6) 6
algorithms (6) 6
amalgamation (6) 6
bck algebra (6) 6
calculus (6) 6
completions (6) 6
more...
Library Location Library Location
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (417) 417
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


eBook
Information Sciences, ISSN 0020-0255, 03/2017, Volume 381, pp. 270 - 282
In this paper, by considering the notion of equality algebra, which is introduced by Jenei in [18], as a possible algebraic semantic for fuzzy type theory, we... 
BL-algebra | Hoop-algebra | Hertz-algebra | Equality algebra | Residuated lattice | Boolean-algebra | Heyting-algebra | MTL-algebra | EQ-algebra | MV-algebra | COMPUTER SCIENCE, INFORMATION SYSTEMS | Algebra | Equality | Fuzzy logic | Equivalence | Semantics | Lattices
Journal Article
Algebra universalis, ISSN 0002-5240, 6/2018, Volume 79, Issue 2, pp. 1 - 31
For L a complete lattice L and $$\mathfrak {X}=(X,(R_i)_I)$$ X=(X,(Ri)I) a relational structure, we introduce the convolution algebra $$L^{\mathfrak {X}}$$ LX... 
Relation algebra | 06D20 | Complex algebra | Heyting algebra | Algebra | Boolean algebra with operators | Convolution | Kripke frame | Type-2 truth value algebra | Mathematics | 03B45 | 03G10 | MATHEMATICS
Journal Article
Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 12/2012, Volume 100, Issue 6, pp. 1201 - 1209
Journal Article
2005, 3RD ED., OXFORD LOGIC GUIDES; 47. SER: OXFORD SCIENCE PUBLICATIONS., ISBN 9780198568520, Volume 47, 214
This is the third edition of a well-known graduate textbook on Boolean-valued models of set theory. The aim of the first and second editions was to provide a... 
logic and philosophy | Algebra, Boolean | Heyting algebra | Ultrailter | Category | Generic | Boolean algebra | Boolean-valued model | Forcing | Axiom of choice | Continuum hypothesis | Lattice | Set theory
Book
Advances in Intelligent Systems and Computing, ISSN 2194-5357, 2018, Volume 641, pp. 25 - 33
Conference Proceeding
Fuzzy Sets and Systems, ISSN 0165-0114, 03/2017, Volume 311, pp. 86 - 98
In this paper, the notion of a prefilter generated by a nonempty subset of an EQ-algebra is introduced and a characterization of it is obtained. It is proved... 
EQ-algebra | Heyting algebra | Boolean algebra | MATHEMATICS, APPLIED | FILTERS | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS | Algebra
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
Order, ISSN 0167-8094, 3/2018, Volume 35, Issue 1, pp. 23 - 45
Generalizing the well known and exploited relation between Heyting and Nelson algebras to semi-Heyting algebras, we introduce the variety of semi-Nelson... 
Geometry | Twist structures | Nelson algebras | Semi-Heyting algebras | Semi-Nelson algebras | Mathematics | Number Theory | Heyting algebras | MATHEMATICS | VARIETIES | Algebra
Journal Article
Soft Computing, ISSN 1432-7643, 11/2018, Volume 22, Issue 21, pp. 7119 - 7128
Journal Article
Bulletin of the Section of Logic, ISSN 0138-0680, 2018, Volume 47, Issue 2, pp. 129 - 139
Journal Article
Studia Logica, ISSN 0039-3215, 8/2017, Volume 105, Issue 4, pp. 673 - 701
The IKt-algebras that we investigate in this paper were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the... 
Tense operators | Computational Linguistics | Heyting algebras | Logic | IKt-algebras | Philosophy | Mathematical Logic and Foundations | MATHEMATICS | DISCRETE DUALITY | AXIOMATIZATION | PHILOSOPHY | REPRESENTATION | INTUITIONISTIC TENSE | OPERATORS | LOGIC | Algebra
Journal Article
Order, ISSN 0167-8094, 2013, Volume 30, Issue 2, pp. 625 - 642
In this paper we investigate those subvarieties of the variety of semi-Heyting algebras which are term-equivalent to the variety of Godel algebras (linear... 
Heyting algebra | Term-equivalent varieties | Linear Heyting algebra | Semi-Heyting algebra | MATHEMATICS | Algebra
Journal Article
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, ISSN 0948-695X, 2008, Volume 14, Issue 22, pp. 3686 - 3715
Journal Article
Algebra universalis, ISSN 0002-5240, 11/2016, Volume 76, Issue 3, pp. 301 - 304
We prove that the topology of a compact Hausdorff topological Heyting algebra is a Stone topology. It then follows from known results that a Heyting algebra is... 
topological Heyting algebra | Mathematics | Algebra | Primary: 06D20 | Secondary: 06B30 | profinite Heyting algebra | MATHEMATICS
Journal Article
Ars Mathematica Contemporanea, ISSN 1855-3966, 2017, Volume 12, Issue 1, pp. 37 - 50
In the present paper we generalize the notion of a Heyting algebra to the non-commutative setting and hence introduce what we believe to be the proper notion... 
Non-commutative algebra | Intuitionistic logic | Heyting algebras | Skew lattices | MATHEMATICS | MATHEMATICS, APPLIED | non-commutative algebra | intuitionistic logic | LATTICES | BOOLEAN-ALGEBRAS | STONE DUALITY
Journal Article
Algebra universalis, ISSN 0002-5240, 4/2017, Volume 77, Issue 2, pp. 147 - 161
Characterizations of compact Hausdorff topological MV-algebras, Stone MV-algebras, and MV-algebras that are isomorphic to their profinite completions are... 
Secondary: 06E15 | strongly complete MV-algebra | Algebra | 06D50 | rank of maximal ideal | profinite completion | Mathematics | Primary: 06D35 | ultrafilter | topological/Stone/profinite MV-algebra | Stone Čech compactification | MATHEMATICS | LATTICES | PROFINITE HEYTING ALGEBRAS
Journal Article
Algebra universalis, ISSN 0002-5240, 12/2018, Volume 79, Issue 4, pp. 1 - 11
A near-Heyting algebra is a join-semilattice with a top element such that every principal upset is a Heyting algebra. We establish a one-to-one correspondence... 
08B26 | 06A12 | 06D20 | Algebra | Congruences | 06B10 | Mathematics | Near-Heyting algebra | Distributive nearlattice | Principal congruences | MATHEMATICS | DUALITY | DISTRIBUTIVE NEARLATTICES
Journal Article
No results were found for your search.

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