X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (317) 317
Conference Proceeding (37) 37
Book / eBook (16) 16
Book Chapter (14) 14
Dissertation (6) 6
Magazine Article (1) 1
Publication (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
non-classical logics (183) 183
logic (110) 110
non-classical logic (99) 99
mathematics, applied (89) 89
computer science, theory & methods (86) 86
statistics & probability (72) 72
philosophy (68) 68
mathematics (54) 54
fuzzy logic (44) 44
algebra (43) 43
semantics (30) 30
computer science (29) 29
fuzzy set theory (25) 25
computer science, artificial intelligence (24) 24
analysis (23) 23
artificial intelligence (22) 22
mathematical logic and foundations (21) 21
modal logic (21) 21
logical theorems (20) 20
non-classical mathematical logic (19) 19
intuitionistic logic (18) 18
mathematical analysis (16) 16
mathematical logic, nonclassical (16) 16
nonclassical mathematical logic (16) 16
paraconsistent logic (16) 16
metaphysics (15) 15
epistemology (14) 14
reasoning (14) 14
residuated lattice (14) 14
states (14) 14
history & philosophy of science (13) 13
mathematical logic (13) 13
mv-algebras (13) 13
axioms (12) 12
fuzzy (12) 12
philosophy of language (12) 12
propositional logic (12) 12
computational linguistics (11) 11
logic, symbolic and mathematical (11) 11
model theory (11) 11
residuated lattices (11) 11
truth (11) 11
completeness (10) 10
effect algebras (10) 10
fuzzy sets (10) 10
inference (10) 10
mathematics, general (10) 10
bl-algebras (9) 9
complexity (9) 9
fuzzy systems (9) 9
implication (9) 9
topology (9) 9
algebras (8) 8
ancient history (8) 8
automated reasoning (8) 8
calculus (8) 8
computer science, general (8) 8
fuzzy logics (8) 8
fuzzy-logic (8) 8
knowledge representation (8) 8
lattices (8) 8
lógica matemática no clásica (8) 8
mtl-algebras (8) 8
ontology (8) 8
paraconsistent logics (8) 8
paradoxes (8) 8
proof theory (8) 8
substructural logics (8) 8
uncertainty (8) 8
computer science, interdisciplinary applications (7) 7
language (7) 7
logical pluralism (7) 7
mathematical theorems (7) 7
negation (7) 7
nichtklassische logik (7) 7
non‐classical logic (7) 7
operators (7) 7
propositional calculi (7) 7
set theory (7) 7
vagueness (7) 7
approximate reasoning (6) 6
atoms (6) 6
automated theorem proving (6) 6
category theory (6) 6
congresses (6) 6
d-posets (6) 6
logic in computer science (6) 6
logic programming (6) 6
logique mathématique non classique (6) 6
lógica matemática (6) 6
mathematical fuzzy logic (6) 6
mathematik (6) 6
nonstandard logics (6) 6
philosophy of mind (6) 6
philosophy of science (6) 6
robots (6) 6
sequent calculus (6) 6
t-norm (6) 6
theorems (6) 6
automata (5) 5
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (7) 7
Mathematical Sciences - Stacks (5) 5
UofT at Mississauga - Stacks (4) 4
Collection Dvlpm't (Acquisitions) - Vendor file (1) 1
Engineering & Comp. Sci. - May be requested in 6-10 wks (1) 1
Robarts - Stacks (1) 1
St. Michael's College (John M. Kelly) - 2nd Floor (1) 1
Trinity College (John W Graham) - Stacks (1) 1
UofT at Mississauga - May be requested in 6-10 wks (1) 1
UofT at Scarborough - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (365) 365
Spanish (11) 11
Portuguese (7) 7
Russian (5) 5
Arabic (1) 1
Chinese (1) 1
Czech (1) 1
German (1) 1
Italian (1) 1
Japanese (1) 1
Slovenian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Annals of Pure and Applied Logic, ISSN 0168-0072, 07/2016, Volume 167, Issue 7, pp. 557 - 589
In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including... 
Team semantics | Propositional dependence logic | Non-classical logic | Inquisitive logic | MATHEMATICS | MATHEMATICS, APPLIED | COMPLEXITY | LOGIC | Philosophy
Journal Article
Annals of pure and applied logic, ISSN 0168-0072, 2017, Volume 168, Issue 7, pp. 1406 - 1441
We consider team semantics for propositional logic, continuing [34]. In team semantics the truth of a propositional formula is considered in a set of valuations, called a team, rather than in an individual valuation... 
Team semantics | Non-classical logic | Dependence logic | Propositional team logics | Logic | MATHEMATICS | MATHEMATICS, APPLIED | COMPLEXITY | INCLUSION | LOGIC | DEPENDENCE | Valuation | Mathematics - Logic
Journal Article
Fuzzy sets and systems, ISSN 0165-0114, 2019, Volume 363, pp. 138 - 155
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut elimination... 
Cut elimination | Substructural logics | Many-valued logics | Algebraic proof theory | Bilattice logic | Sequent calculi | Multi-type calculi | Display calculi | Non-classical logics | MATHEMATICS, APPLIED | CALCULUS | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS
Journal Article
International Journal of Parallel, Emergent and Distributed Systems: Logics for unconventional computing. Guest Editor: Andrew Schumann, ISSN 1744-5760, 05/2018, Volume 33, Issue 3, pp. 233 - 236
Logics for unconventional computing is an interdisciplinary research area which brings together computer scientists and engineers dealing with unconventional computing... 
unconventional computing | non-well-founded mathematics | Non-classical logic | Biological computing | Algebra | Interdisciplinary studies | Computation
Journal Article
Fuzzy Sets and Systems, ISSN 0165-0114, 05/2019, Volume 363, pp. 84 - 112
In this paper we present FTCLogic, a formal first-order logic that can manage fuzzy temporal constraints between variables efficiently... 
Possibility theory | Temporal reasoning | Approximate reasoning | Fuzzy inference systems | Fuzzy relations | Fuzzy constraint satisfaction | Non-classical logics | SYSTEM | MATHEMATICS, APPLIED | REPRESENTATION | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS
Journal Article
The review of symbolic logic, ISSN 1755-0203, 09/2019, Volume 12, Issue 3, pp. 536 - 556
.... This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of entailment, showing that it is compact and decidable... 
exact entailment | sequent calculus | MATHEMATICS | mereology | MATHEMATICS, APPLIED | truthmaking | PHILOSOPHY | non-classical logic | semantics | LOGIC
Journal Article
Archive for Mathematical Logic, ISSN 0933-5846, 5/2018, Volume 57, Issue 3, pp. 391 - 420
Journal Article
Logical methods in computer science, ISSN 1860-5974, 2019, Volume 15, Issue 1, pp. Issue 1 ; 1860 - 5974
Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness... 
Computer Science - Logic in Computer Science | B70 | F.3.1 | F.3.2 | F.4.1 | correspondence theory | bunched logic | Stone-type duality | non-classical logic | Algebraic logic | modal logic | predicate logic | LOGIC | hyperdoctrine | EXPRESSIVITY | SEMANTICS | separation logic | program logic | COMPUTER SCIENCE, THEORY & METHODS | substructural logic | concurrent Kleene algebra | Kripke semantics
Journal Article
2008, 2nd ed., Cambridge introductions to philosophy, ISBN 9780521854337, xxxii, 613
This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics... 
Nonclassical mathematical logic | Philosophy
Book
Formalized Mathematics, ISSN 1426-2630, 09/2015, Volume 23, Issue 3, pp. 177 - 187
.... Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11... 
non-Fregean logic | non-classical propositional logic | 03B60 | equimeaning connective | GRZLOG 1 | 03B35 | logic of descriptions
Journal Article
2010, ISBN 0199541493, xiv, 281
This book defends an anti-platonist philosophy of mathematics derived from game formalism. Classic formalists claimed implausibly that mathematical utterances... 
Logic, Symbolic and mathematical | Mathematics | Philosophy | Philosophy of Mathematics and Logic | Philosophy of Language | Idealization | Projectivism | Gödel | Platonism | Neo-Fregean | Non-classical logic | Formalism | Fiction | Sense
Book
Fuzzy Sets and Systems, ISSN 0165-0114, 06/2012, Volume 197, pp. 59 - 70
We consider two kinds of similarity-based reasoning and formalise them in a logical setting. In one case, we are led by the principle that conclusions can be... 
Approximate entailment | Similarity-based reasoning | Non-classical logics | Strong entailment | MATHEMATICS, APPLIED | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS | Fuzzy set theory | Approximation | Logic | Calculi | Reasoning
Journal Article
Journal of Logic and Computation, ISSN 0955-792X, 10/2012, Volume 26, Issue 1, pp. 7 - 50
.... Nested sequent calculi have been profitably used in the area of (multi)-modal logic to obtain analytic and modular proof systems for these logics... 
proof methods | non-classical logics | sequent calculi | nonmonotonic reasoning | Conditional logics | TABLEAUX | COMPUTER SCIENCE, THEORY & METHODS | LOGIC | COUNTERFACTUALS
Journal Article
Journal of Applied Non-Classical Logics, ISSN 1166-3081, 04/2017, Volume 27, Issue 1-2, pp. 106 - 139
This work contributes to the theory of judgement aggregation by discussing a number of significant non-classical logics... 
Judgement aggregation | group decisions | Lambek calculus | linear logic | relevant logic | non-monotonic logics | social choice theory | intuitionistic logic | non-classical logics | substructural logics
Journal Article
Soft Computing, ISSN 1432-7643, 1/2012, Volume 16, Issue 1, pp. 177 - 181
We prove that Haveshki’s and Eslami’s n-fold implicative basic logic is Gödel logic and n-fold positive implicative basic logic is a fragment of ukasiewicz... 
BL-algebras | Engineering | Computational Intelligence | Control, Robotics, Mechatronics | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Foundations | Non-classical logics | MV-algebras | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | FILTERS
Journal Article
Logic Journal of the IGPL, ISSN 1367-0751, 06/2016, Volume 24, Issue 3, pp. 321 - 345
Journal Article
Journal of Philosophical Logic, ISSN 0022-3611, 2/2018, Volume 47, Issue 1, pp. 67 - 94
...) and models providing a natural interpretation of logical operators on an underlying propositional calculus of Positive Lattice Logic... 
Relational semantics | Logics of lattice expansions | Substructural logics | Non-distributive logics | Generalized Galois Logics | Logic | Gaggles | Philosophy | Non-classical logics | PHILOSOPHY | Computer science | Semantics | Analysis | Lattice theory | Algebra | Temporal logic
Journal Article
Archive for Mathematical Logic, ISSN 0933-5846, 5/2016, Volume 55, Issue 3, pp. 353 - 372
This is the continuation of the paper (Cintula and Noguera in Arch Math Log 49(4):417–446, 2010). We continue the abstract study of non-classical logics based... 
03B52 | 03B22 | Implicational logics | Mathematics | Transfer theorems | Algebra | 03G99 | Mathematics, general | Semilinear logics | Abstract algebraic logic | Disjunctional logics | Mathematical Logic and Foundations | 03B47 | Non-classical logics | Computer science | Analysis | Chemical properties | Descriptions | Arches | Lattices | Paper | Mathematical logic | Logic | Archives
Journal Article
Procedia Computer Science, ISSN 1877-0509, 2018, Volume 126, pp. 1253 - 1260
In this work we discuss complementarity and heterodoxy in non-classical logics, exemplifying with the paraconsistent Cn systems introduced and studied mainly... 
heterodoxy | heterodox logics | non-classical logics | paraconsistent logic | complementarity
Journal Article
No results were found for your search.

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