X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (1191) 1191
Book Chapter (131) 131
Publication (74) 74
Conference Proceeding (58) 58
Book / eBook (25) 25
Dissertation (8) 8
Book Review (5) 5
Magazine Article (1) 1
Report (1) 1
Web Resource (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
philosophy (424) 424
logic (415) 415
propositional logic (307) 307
semantics (278) 278
propositional functions (260) 260
mathematics (237) 237
propositional attitudes (214) 214
mathematical functions (169) 169
language (161) 161
computer science (152) 152
logical theorems (143) 143
epistemology (134) 134
artificial intelligence (121) 121
mathematical logic (119) 119
metaphysics (109) 109
truth (107) 107
predicates (103) 103
linguistics (100) 100
philosophy of language (98) 98
computer science, theory & methods (97) 97
mathematical logic and foundations (93) 93
analysis (90) 90
computer science, artificial intelligence (88) 88
algebra (71) 71
formal logic (67) 67
mathematical theorems (66) 66
algorithms (64) 64
philosophy of mind (64) 64
attitudes (61) 61
inference (61) 61
logical topics (61) 61
history & philosophy of science (60) 60
psychology (60) 60
axioms (59) 59
computational linguistics (59) 59
complexity (58) 58
modal logic (58) 58
studies (56) 56
mathematics, applied (54) 54
predicate logic (54) 54
reasoning (54) 54
belief (53) 53
humans (53) 53
ethics (52) 52
modal realism (49) 49
paradoxes (49) 49
syntax (48) 48
ontology (47) 47
index medicus (46) 46
propositional calculus (46) 46
philosophical object (45) 45
quantification (44) 44
propositions (43) 43
theory (43) 43
computational complexity (42) 42
model theory (42) 42
philosophy of science (42) 42
sentences (42) 42
logical givens (41) 41
calculus (39) 39
english language (38) 38
mathematical analysis (38) 38
verbs (37) 37
boolean algebras (36) 36
pragmatics (36) 36
propositional satisfiability (36) 36
intuition (35) 35
logical postulates (35) 35
type theory (35) 35
ascriptions (34) 34
cognitive psychology (34) 34
judgment (34) 34
satisfiability (34) 34
boolean functions (33) 33
words (32) 32
mathematics, general (31) 31
tautologies (31) 31
knowledge (30) 30
proper names (30) 30
pure mathematics (30) 30
definite descriptions (29) 29
integers (29) 29
psychology, experimental (29) 29
cognition (28) 28
existence (28) 28
male (28) 28
mathematical set theory (28) 28
social sciences (28) 28
female (27) 27
language & linguistics (27) 27
psychological attitudes (27) 27
beliefs (26) 26
computer science, general (26) 26
desire (26) 26
intensionality (26) 26
mathematical constants (26) 26
mathematical relations (26) 26
propositional calculi (26) 26
singular terms (26) 26
syntactics (26) 26
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (7) 7
Collection Dvlpm't (Acquisitions) - Vendor file (5) 5
UofT at Scarborough - Stacks (4) 4
Gerstein Science - Stacks (3) 3
Mathematical Sciences - Stacks (3) 3
Online Resources - Online (2) 2
Trinity College (John W Graham) - Stacks (1) 1
UofT at Mississauga - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (1371) 1371
Japanese (10) 10
Korean (10) 10
French (4) 4
German (3) 3
Polish (3) 3
Chinese (2) 2
Spanish (2) 2
Portuguese (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2011, Encyclopedia of mathematics and its applications, ISBN 0521847516, Volume 142., xxi, 687
Written by prominent experts in the field, this monograph provides the first comprehensive, unified presentation of the structural, algorithmic and applied... 
Algebra, Boolean | Algebraic functions | propositional logic | integer programming | graph theory | reliability | electrical engineering | simple games | duality | artificial intelligence | combinatorial optimization | Boolean functions | satisfiability | pseudo-Boolean functions | circuits | computational complexity
Book
2005, ISBN 9780199286355, 239
The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The essays collected in this... 
Analysis (Philosophy) | Philosophy | Analysis (Philosophy) - History - 20th century | Logicism | Propositional functions | Analytic philosophy | Whitehead | Idealism | Frege | Conception of logic | Bertrand Russell | Principia Mathematica | Wittgenstein
Book
2005, ISBN 9780199286355, 239
The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The essays collected in this... 
Russell, Bertrand, 1872-1970 | Logic, Symbolic and mathematical | Analysis (Philosophy) | History | Philosophy | Analysis (Philosophy) - History - 20th century | Logicism | Propositional functions | Analytic philosophy | Whitehead | Idealism | Frege | Conception of logic | Bertrand Russell | Principia Mathematica | Wittgenstein
eBook
Synthese, ISSN 0039-7857, 8/2012, Volume 187, Issue S1, pp. 73 - 103
Journal Article
Mathematical Logic Quarterly, ISSN 0942-5616, 2009, Volume 55, Issue 4, pp. 341 - 361
We analyze the expressivity, succinctness, and complexity of a family of languages based on weighted propositional formulas for the representation of utility... 
computational social choice | Preference representation | computational complexity | Computational complexity | Computational social choice | MATHEMATICS | PROPOSITIONAL KNOWLEDGE
Journal Article
Journal of Applied Logic, ISSN 1570-8683, 12/2015, Volume 13, Issue 4, pp. 441 - 457
This paper presents a version of belief function theory in which masses are assigned to propositional formulas and which allows the modeler to consider... 
Propositional logic | Uncertainty modeling | Belief function theory | MATHEMATICS, APPLIED | COMPUTER SCIENCE, THEORY & METHODS | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
Text & Talk, ISSN 1860-7330, 08/2017, Volume 37, Issue 5, pp. 587 - 614
This study offers an analysis of independent conditional clauses (ICCs) that are used with argumentative functions in spoken Dutch. ICCs are used as arguments... 
propositional logic | Dutch | semantic prosody | reasoning | independent conditional clauses | LINGUISTICS | LANGUAGE & LINGUISTICS | COMMUNICATION | Dutch language | Grammar, Comparative and general | Logic | Analysis | Clauses | Antecedents | Studies | Syntax discourse relationship | Argumentation | Spoken language | Conditional clauses | Signals
Journal Article
International Journal of Algebra and Computation, ISSN 0218-1967, 11/2011, Volume 21, Issue 7, pp. 1053 - 1095
Restriction semigroups model algebras of partial maps under composition and domain. Here we consider restriction semigroups for which the usual Boolean... 
Eq-monoid | dynamic algebra | propositional dynamic logic | relation algebra | Kleene algebra with domain | modal semirings | partial functions | Restriction semigroups | MATHEMATICS | CATEGORIES | Analysis | Algebra | Maps | Categories | Dynamics | Mathematical analysis | Constrictions | Logic | Signatures
Journal Article
Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, ISSN 0031-8116, 12/2013, Volume 166, Issue 3, pp. 511 - 527
Journal Article
Mind, ISSN 0026-4423, 10/2005, Volume 114, Issue 456, pp. 915 - 927
Peter Geach has said that Russell's use of 'propositional function' is 'hopelessly confused and inconsistent'. Geach is right, and attempts to say what exactly... 
Socratic philosophy | Wisdom | Retaliation | Propositional functions | Mathematical functions | Singular terms | Mathematics | Proper names | Prime ministers | PHILOSOPHY | language | semantics | propositional function | Russell, Bertrand | Analysis | Proposition (Logic)
Journal Article
Journal of Automated Reasoning, ISSN 0168-7433, 7/2007, Volume 39, Issue 1, pp. 49 - 75
Journal Article
Journal Article
Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 7/2007, Volume 86, Issue 2, pp. 299 - 329
Journal Article
International Journal of Pattern Recognition and Artificial Intelligence, ISSN 0218-0014, 08/2008, Volume 22, Issue 5, pp. 1031 - 1043
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional neural reasoner based on the Resolution Principle. The SATyrus platform... 
SATyrus | Boolean satisfiability | Propositional reasoner | Higher-order neural networks | NEURAL NETWORKS | higher-order neural networks | OPTIMIZATION | propositional reasoner | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on bit-precise reasoning, 07/2008, pp. 46 - 52
The class of affine Boolean functions is rich enough to express constant bits and dependencies between different bits of different words. For example, the... 
abstract interpretation | model checking | propositional logic | Propositional logic | Model checking | Abstract interpretation
Conference Proceeding
Fuzzy Sets and Systems, ISSN 0165-0114, 11/2017, Volume 326, pp. 52 - 68
There is a great deal of fuzziness in our everyday natural language, and thus fuzzy subsets have come to represent a direct generalisation of the indicator... 
Algebra | Hedges | Fuzzy subsets | Nestedness | Galois connections | HETEROGENEOUS CONJUNCTORS | MATHEMATICS, APPLIED | STATISTICS & PROBABILITY | AGGREGATION FUNCTIONS | LOGIC | ADJOINT CONCEPT LATTICES | PROPOSITIONAL CALCULI | SIDED CONCEPT LATTICES | REDUCTION | ORDERED STRUCTURES | SET-THEORY | COMPUTER SCIENCE, THEORY & METHODS | Computer science
Journal Article
Journal of Pragmatics, ISSN 0378-2166, 2007, Volume 39, Issue 5, pp. 934 - 959
Journal Article