Articles

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

Search Articles

Advanced search
Help

Catalogue

Articles

Databases

X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
mathematics (17) 17
science & technology (14) 14
physical sciences (13) 13
boolean valued model (10) 10
mathematics, general (9) 9
logic (8) 8
boolean algebra (7) 7
algebra (6) 6
boolean algebras (6) 6
boolean data (6) 6
boolean-valued model (6) 6
boolean-valued models (6) 6
mathematical theorems (6) 6
science & technology - other topics (6) 6
boolean-valued networks (5) 5
model theory (5) 5
set theory (5) 5
boolean valued analysis (4) 4
boolean valued models (4) 4
computer science (4) 4
forcing (4) 4
fuzzy model (4) 4
mathematical models (4) 4
mathematics, applied (4) 4
network security (4) 4
vector lattice (4) 4
arts & humanities (3) 3
ascent (3) 3
continuum hypothesis (3) 3
descent (3) 3
fuzzy logic (3) 3
injective banach lattice (3) 3
linear programming (3) 3
logical theorems (3) 3
mathematical analysis (3) 3
mathematical logic and foundations (3) 3
mathematical topoi (3) 3
mathematics - logic (3) 3
philosophy (3) 3
random variables (3) 3
routing (3) 3
routing protocols (3) 3
security (3) 3
al-space (2) 2
automorphisms (2) 2
axiom of choice (2) 2
boolean value (2) 2
computer science, theory & methods (2) 2
convex body (2) 2
curvature (2) 2
dedekind complete vector lattice (2) 2
denotational semantics (2) 2
direct products (2) 2
fuzzy (2) 2
graph theory (2) 2
heuristic algorithms (2) 2
inequalities (2) 2
lattice (2) 2
lattices (2) 2
logic in computer science (2) 2
m -projection (2) 2
m-projection (2) 2
maharam operator (2) 2
mathematical functions (2) 2
mathematical set theory (2) 2
maximum flow (2) 2
measurement (2) 2
minkowski problem (2) 2
morphisms (2) 2
network topology (2) 2
optimal planning (2) 2
precedent model (2) 2
quality of service (2) 2
quantum physics (2) 2
quasiidentities (2) 2
statistics & probability (2) 2
stochastic λ-calculus (2) 2
studies (2) 2
technology (2) 2
topology (2) 2
truth values (2) 2
03-06 (1) 1
03c95 (1) 1
03e40 (1) 1
03e57 (1) 1
03h99 (1) 1
abandoned (1) 1
ad hoc networks (1) 1
aggregates (1) 1
al -space (1) 1
al p -space (1) 1
algebra, boolean (1) 1
algebraic logic (1) 1
algorithmic graph theory (1) 1
algorithms (1) 1
alternative theorem (1) 1
am-space (1) 1
applied sciences (1) 1
associative rule (1) 1
axiomatic set theory (1) 1
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1. SET THEORY: BOOLEAN-VALUED MODELS AND INDEPENDENCE PROOFS
by BELL, J.L. (JOHN LANE)
2005, 3RD ED., OXFORD LOGIC GUIDES; 47. SER: OXFORD SCIENCE PUBLICATIONS., ISBN 9780198568520, Volume 47, 214
Logic | Algebra, Boolean | Heyting algebra | Ultrailter | Category | Generic | Boolean algebra | Boolean-valued model | Forcing | Axiom of choice | Continuum hypothesis | Lattice | Set theory
Book
Details down arrow
2. Full Text ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
by OZAWA, MASANAO
The review of symbolic logic, ISSN 1755-0203, 12/2017, Volume 10, Issue 4, pp. 782 - 807
commutator | forcing | implication | von Neumann algebras | orthomodular lattices | quantum logic | set theory | transfer principle | Boolean-valued models | Physical Sciences | Science & Technology - Other Topics | Mathematics | Mathematics, Applied | Logic | Arts & Humanities | Philosophy | Science & Technology
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
3. Generic extensions of models of ZFC
by Bukovský, Lev
Commentationes mathematicae Universitatis Carolinae, ISSN 0010-2628, 2017, Volume 58, Issue 3, pp. 347 - 358
Κ approximation condition | Κ-generic extension | Boolean ultrapower | Boolean valued model | Inner model | Extension of an inner model | Κ-c.c. generic extension | Κ-boundedness condition
Journal Article
Details down arrow
4. Models, logics, and higher-dimensional categories
: a tribute to the work of Mihály Makkai
by Makkai, Mihály, 1939 and Hart, Bradd T
2011, Volume 53
Categories (Mathematics) | Model theory
Conference Proceeding
Details down arrow
5. Full Text Application of Boolean Valued and Fuzzy Model Theory for Knowledge Base Development
by Yakhyaeva, Gulnara
2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 10/2019, pp. 0868 - 0871
Fuzzy Model | Precedent | Precedent Model | Knowledge Representation Boolean-valued Model | Knowledge Base | Fuzzification
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
6. Full Text A Novel Reputation Model for Trusted Path Selection in the OLSR Routing Protocol
by Shcherba, Evgeny V and Litvinov, George A and Shcherba, Maria V
2019 International Conference on Information Science and Communications Technologies (ICISCT), 11/2019, pp. 1 - 5
Network topology | network security | Boolean-valued networks | Routing | OLSR | most trusted path | Routing protocols | Topology | Security | Probes | reputation-based model
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
7. Full Text Integration of Fuzzy Model Theory and FCA for Big Data Mining
by Palchunov, D. E and Yakhyaeva, G. E
2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 10/2019, pp. 0961 - 0966
associative rule | formal concept | formal context | fuzzy model theory | case model | formula extension of formal context | Boolean-valued model | semantic model | fuzzy model
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
8. Full Text Czy wiemy dlaczego czasoprzestrzeń na dużych skalach jest gładka i 4-wymiarowa?
by Jerzy Król
Zagadnienia Filozoficzne w Nauce, ISSN 0867-8286, 12/2017, Volume 63, pp. 101 - 111
quantum mechanics | exotic smoothness on R4 | Boolean-valued models of set theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
9. Full Text The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras
by Spitters, B
Foundations of physics, ISSN 0015-9018, 2012, Volume 42, Issue 7, pp. 896 - 908
History and Philosophical Foundations of Physics | Measurement | Philosophy of Science | Boolean valued models | Bohrification | Mechanics | Sheaves | Quantum Physics | Statistical Physics, Dynamical Systems and Complexity | Classical and Quantum Gravitation, Relativity Theory | Physics | Mathematical models | Research | Vector spaces | Invariants
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
10. Full Text A saturation property of structures obtained by forcing with a compact family of random variables
by Krajíček, Jan and Krajíček, Jan
Archive for mathematical logic, ISSN 0933-5846, 2/2013, Volume 52, Issue 1, pp. 19 - 28
Non-standard model of arithmetic | Algebra | Primary 03C90 | Saturation property | Secondary 03C50 | Mathematics, general | 03H99 | Mathematics | Mathematical Logic and Foundations | Boolean-valued structures | Science & Technology - Other Topics | Physical Sciences | Logic | Science & Technology | Universities and colleges | Presses | Saturation | Proving | Series (mathematics) | Mathematical models | Random variables | Lectures | Complexity | Mathematics - Logic
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
11. Fuzzy model truth values
by Yakhyaeva, Gulnara
APLIMAT 2007, 2007, Volume 2007-, pp. 423 - 431
Fuzzy logic | Fuzzification of the Boolean-valued model | Fuzzy model | Boolean-valued model | Truth values
Conference Proceeding
Details down arrow
12. Full Text The Farkas Lemma revisited
by Kutateladze, S S
Siberian mathematical journal, ISSN 0037-4466, 1/2010, Volume 51, Issue 1, pp. 78 - 87
linear inequalities | Boolean valued model | Dedekind complete vector lattice | sublinear polyhedral inequalities | alternative theorem | Mathematics, general | Mathematics | linear programming | interval equations | Sublinear polyhedral inequalities | Linear inequalities | Interval equations | Linear programming | Alternative theorem | Physical Sciences | Science & Technology
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
13. Full Text Leibnizian, Robinsonian, and Boolean valued monads
by Kutateladze, S S
Journal of applied and industrial mathematics, ISSN 1990-4789, 7/2011, Volume 5, Issue 3, pp. 365 - 373
filter | descent | principal projection | ascent | up-down | Boolean valued model | Dedekind complete vector lattice | Mathematics, general | Mathematics | fragments | order convergence | polyhedral Lagrange principle | Studies | Lagrange multiplier | Polyhedra | Mathematical analysis | Lattices | Inequalities | Projection | Mathematical models | Boolean algebra | Vectors (mathematics) | Convergence | Mathematics - Logic
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
14. Full Text Boolean-valued semantics for the stochastic -calculus
by Bacci, Giorgio and Furber, Robert and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Scott, Dana
Proceedings - Symposium on Logic in Computer Science, ISSN 1043-6871, 07/2018, pp. 669 - 678
Denotational semantics | Random variables | Boolean-valued models | Stochastic λ-calculus
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
15. Full Text Boolean-valued models of telecommunication systems in some problems of network security
by Shcherba, E. V
2015 International Siberian Conference on Control and Communications (SIBCON), 05/2015, pp. 1 - 5
shorthest path | Heuristic algorithms | network security | Boolean-valued networks | algorithmic graph theory | maximum flow | Graph theory | Routing protocols | Telecommunications | Boolean algebra | Security | Communication networks
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
16. Full Text What is Boolean valued analysis?
by Kutateladze, S S
Siberian advances in mathematics, ISSN 1055-1344, 6/2007, Volume 17, Issue 2, pp. 91 - 111
descent | Mathematics, general | Mathematics | ascent | continuum hypothesis | Boolean valued model
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
17. Development of automated methods for the critical condition risk prevention, based on the analysis of the knowledge obtained from patient medical records
by Naydanov, Chimit and Palchunov, Dmitriy and Sazonova, Polina
Proceedings - 2015 International Conference on Biomedical Engineering and Computational Technologies, SIBIRCON 2015, 12/2015, pp. 33 - 38
precedent model | risk management | spinal deformity | degenerative diseases of the spine | knowledge representation | ontology model | Boolean-valued model | critical conditions | Algorithms | Knowledge representation | Risk | Mathematical models | Medical | Fuzzy | Patients | Diseases
Conference Proceeding
Details down arrow
18. Full Text A formal proof of the independence of the continuum hypothesis
by Han, Jesse Michael and van Doorn, Floris
Proceedings of the 9th ACM SIGPLAN International Conference on certified programs and proofs, 01/2020, pp. 353 - 366
Lean | forcing | formal verification | continuum hypothesis | ZFC | Interactive theorem proving | set theory | Boolean-valued models
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
19. Full Text Boolean-Valued Semantics for the Stochastic λ-Calculus
by Bacci, Giorgio and Furber, Robert and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Scott, Dana
Proceedings of the 33rd Annual ACM/IEEE Symposium on logic in computer science, 07/2018, pp. 669 - 678
denotational semantics | random variables | Boolean-valued models | Stochastic λ-calculus
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
20. Logic of fuzzifications
by Yakhyaeva, Gulnara
Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, 2009, pp. 222 - 239
Fuzzy logic | Functional fuzzy logic | Fuzzy model | Logic of fuzzifications | Boolean-valued model | Truth values | Fuzzification of boolean-valued model
Conference Proceeding
Details down arrow
No results were found for your search.

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