UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.

Search Articles

X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
heyting algebra (209) 209
science & technology (209) 209
algebra (193) 193
mathematics (182) 182
heyting algebras (169) 169
physical sciences (166) 166
logic (156) 156
science & technology - other topics (104) 104
mathematical logic and foundations (84) 84
computer science (74) 74
mathematical theorems (73) 73
philosophy (69) 69
logical theorems (59) 59
intuitionistic logic (58) 58
computational linguistics (55) 55
technology (53) 53
mathematics, applied (45) 45
arts & humanities (41) 41
mathematical logic (38) 38
boolean algebras (30) 30
mathematical lattices (30) 30
modal logic (29) 29
semantics (29) 29
boolean algebra (28) 28
computer science, artificial intelligence (27) 27
morphisms (27) 27
axioms (26) 26
computer science, theory & methods (26) 26
subalgebras (26) 26
06d20 (25) 25
homomorphisms (24) 24
boolean data (23) 23
universal algebra (21) 21
analysis (20) 20
lattices (19) 19
residuated lattice (19) 19
distributive lattice (18) 18
lattice theory (18) 18
partially ordered sets (17) 17
superintuitionistic logic (17) 17
artificial intelligence (16) 16
equivalence relation (16) 16
geometry (16) 16
computer science, interdisciplinary applications (15) 15
heyting代数 (15) 15
mathematics, general (15) 15
model theory (15) 15
mathematical duality (14) 14
engineering (13) 13
logic in computer science (13) 13
residuated lattices (13) 13
topological spaces (13) 13
algebraic topology (12) 12
computational intelligence (12) 12
functors (11) 11
mathematical analysis (11) 11
propositional logic (11) 11
theory of computation (11) 11
03g25 (10) 10
basic algebra (10) 10
category theory (10) 10
lattice (10) 10
mathematical congruence (10) 10
mv-algebra (10) 10
predicate logic (10) 10
priestley duality (10) 10
topology (10) 10
control, robotics, mechatronics (9) 9
semi-heyting algebras (9) 9
statistics & probability (9) 9
axiomatization (8) 8
convex and discrete geometry (8) 8
fuzzy sets (8) 8
mathematical functions (8) 8
08b15 (7) 7
calculus (7) 7
classical logic (7) 7
complete heyting algebra (7) 7
discriminator variety (7) 7
duality theory (7) 7
free algebras (7) 7
fuzzy logic (7) 7
intermediate logic (7) 7
logical disjunction (7) 7
mathematics - logic (7) 7
paraconsistent logic (7) 7
physics (7) 7
set theory (7) 7
03b55 (6) 6
computer science, software engineering (6) 6
congruences (6) 6
duality (6) 6
finite model property (6) 6
interior algebra (6) 6
interpolation (6) 6
mathematical set theory (6) 6
mathematical topoi (6) 6
quotients (6) 6
rough sets (6) 6
tense operators (6) 6
more...
Library Location Library Location
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (447) 447
Chinese (23) 23
French (4) 4
German (3) 3
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


2019, Trends in Logic, Studia Logica Library, ISBN 3030120953, Volume 50, 107
This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras... 
Duality theory (Mathematics)
eBook
Soft computing (Berlin, Germany), ISSN 1432-7643, 11/2018, Volume 22, Issue 21, pp. 7119 - 7128
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 algebras... 
Geometry | Twist structures | Nelson algebras | Semi-Heyting algebras | Semi-Nelson algebras | Mathematics | Number Theory | Heyting algebras | Physical Sciences | Science & Technology | Algebra | Congruences
Journal Article
2005, 3rd ed., Oxford logic guides, ISBN 9780198568520, Volume 47., xxii, 191
.... In this edition, the background material has been augmented to include an introduction to Heyting algebras... 
Set theory | Algebra, Boolean | Proof theory | Logic | Heyting algebra | Ultrailter | Category | Generic | Boolean algebra | Boolean-valued model | Forcing | Axiom of choice | Continuum hypothesis | Lattice
Book
International journal of theoretical physics, ISSN 0020-7748, 10/2014, Volume 53, Issue 10, pp. 3409 - 3422
Journal Article
Order, ISSN 0167-8094, 7/2017, Volume 34, Issue 2, pp. 327 - 348
In this article we investigate the lattices of Dyck paths of type A and B under dominance order, and explicitly describe their Heyting algebra structure... 
Geometry | Heyting algebra | Distributive lattice | Discrete Mathematics in Computer Science | Symmetric group | Mathematics | Theory of Computation | Dyck path | Dominance order | Catalan numbers | Hyperoctahedral group | Physical Sciences | Science & Technology | Algebra | Dominance | Lattices | Combinatorial analysis | Proving | Mathematics - Combinatorics
Journal Article
Information sciences, ISSN 0020-0255, 03/2017, Volume 381, pp. 270 - 282
Journal Article
2016, ISBN 9781498735278, 254
.... Computations with these truth values are governed by the truth value algebra of type-2 fuzzy sets... 
Set Theory | Applied Mathematics | Algebra | laws | STMnetBASE | SCI-TECHnetBASE | MATHnetBASE | type-2 | operations | lattice | binary | join | distributive | partial | order | subsets | Heyting algebras
eBook
03/2016, Monographs and research notes in mathematics, ISBN 9781498735278, Volume 22, 221
.... It will be of interest to mathematicians who work in fields related to fuzzy sets as well as those who work with universal algebra... 
Fuzzy sets | Algebra
eBook
Synthese (Dordrecht), ISSN 0039-7857, 6/2012, Volume 186, Issue 3, pp. 719 - 752
Journal Article
Order, ISSN 0167-8094, 3/2017, Volume 34, Issue 1, pp. 23 - 35
In a pseudocomplemented de Morgan algebra, it is shown that the set of kernel ideals is a complete Heyting lattice, and a necessary and sufficient condition that the set of kernel ideals is boolean (resp. Stone) is derived... 
Geometry | Heyting algebra | Distributive p -algebra | Congruence | Discrete Mathematics in Computer Science | Kernel ideal | Mathematics | Theory of Computation | De Morgan algebra | Stone lattice | Distributive p-algebra | Physical Sciences | Science & Technology | Algebra | Kernels
Journal Article
Studia logica, ISSN 0039-3215, 8/2015, Volume 103, Issue 4, pp. 713 - 731
In this note, it is shown that the set of kernel ideals of a Kn,0-algebra L is a complete Heyting algebra, and the largest congruence on L such that the given kernel ideal as its congruence class... 
Ockham algebra | Heyting algebra | Congruence | Computational Linguistics | 06D30 | Kernel ideal | Logic | Philosophy | Mathematical Logic and Foundations | Physical Sciences | Science & Technology - Other Topics | Mathematics | Arts & Humanities | Science & Technology | Algebra
Journal Article
Algebra universalis, ISSN 1420-8911, 04/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 | Physical Sciences | Science & Technology | Construction | Boolean algebra
Journal Article
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... 
EQ-algebra | Heyting algebra | Boolean algebra | Statistics & Probability | Physical Sciences | Technology | Computer Science | Computer Science, Theory & Methods | Mathematics | Mathematics, Applied | Science & Technology | Algebra
Journal Article
Soft computing (Berlin, Germany), ISSN 1432-7643, 3/2011, Volume 15, Issue 3, pp. 613 - 618
... Martín, Castiglioni, Menni and Sagastume in Heyting algebras. Since basic algebras form an algebraic tool for simultaneous treaty of many-valued logics and logics... 
Engineering | Successor | Heyting algebra | Computational Intelligence | Hedge | Basic algebra | Control , Robotics, Mechatronics | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Foundations | Computer Science, Artificial Intelligence | Computer Science, Interdisciplinary Applications | Technology | Computer Science | Science & Technology
Journal Article
Mathematical structures in computer science, ISSN 1469-8072, 01/2020, Volume 30, Issue 6, pp. 1 - 25
Ruitenburg’s Theorem says that every endomorphism of a finitely generated free Heyting algebra is ultimately periodic if fixes all the generators but one... 
Theorems | Generators | Algebra
Journal Article
Studia logica, ISSN 0039-3215, 10/2012, Volume 101, Issue 5, pp. 1073 - 1092
Journal Article