書誌事項
Trends in logic : studia logica library
Kluwer Academic Publishers, c1997-
この図書・雑誌をさがす
注記
Managing editor, Ryszard Wójcicki ; editors, Petr Hájek ... [et al.]
Publisher varies: Springer
-
21
- Recent trends in philosophical logic
-
Roberto Ciuni, Heinrich Wansing, Caroline Willkommen, editors
Springer c2014 Trends in logic : studia logica library v. 41
所蔵館3館
-
22
- Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning
-
Christian Straßer
Springer c2014 Trends in logic : studia logica library v. 38
所蔵館1館
-
23
- Leśniewski's systems of logic and foundations of mathematics
-
Rafal Urbaniak
Springer c2014 Trends in logic : studia logica library v. 37
所蔵館3館
-
24
- Methods of cut-elimination
-
Matthias Baaz, Alexander Leitsch
Springer 2011 Trends in logic : studia logica library 34
: pbk.
所蔵館1館
-
25
- Truth and falsehood : an inquiry into generalized logical values
-
Yaroslav Shramko, Heinrich Wansing
Springer c2011 Trends in logic : studia logica library v. 36
所蔵館3館
-
26
- Paradoxes
-
Piotr Łukowski
Springer c2011 Trends in logic : studia logica library 31
所蔵館5館
-
27
- Advanced Łukasiewicz calculus and MV-algebras
-
D. Mundici
Springer c2011 Trends in logic : studia logica library 35
所蔵館6館
-
28
- Methods of cut-elimination
-
Matthias Baaz, Alexander Leitsch
Springer c2011 Trends in logic : studia logica library 34
所蔵館6館
-
29
- Dual tableaux : foundations, methodology, case studies
-
Ewa Orłowska, Joanna Golińska-Pilarek
Springer c2011 Trends in logic : studia logica library v. 36
所蔵館7館
-
30
- Gentzen calculi for modal propositional logic
-
Francesca Poggiolesi
Springer c2011 Trends in logic : studia logica library v. 32
所蔵館7館
-
31
- Natural deduction, hybrid systems and modal logics
-
Andrzej Indrzejczak
Springer 2010 Trends in logic : studia logica library v. 30
: pbk
所蔵館8館
-
32
- Philosophy of syntax : foundational topics
-
Mieszko Tałasiewicz
Springer c2010 Trends in logic : studia logica library v. 29
所蔵館10館
-
33
- Towards mathematical philosophy : papers from the Studia Logica conference Trends in Logic IV
-
David Makinson, Jacek Malinowski, Heinrich Wansing editors
Springer c2009 Trends in logic : studia logica library v. 28
: pbk
所蔵館4館
-
34
- A geometry of approximation : Rough set theory : logic, algebra and topology of conceptual patterns
-
Piero Pagliani, Mihir Chakraborty
Springer c2008 Trends in logic : studia logica library v. 27
所蔵館6館
-
35
- Constructive negations and paraconsistency
-
Sergei P. Odintsov
Springer c2008 Trends in logic : studia logica library 26
所蔵館8館
-
36
- Goguen categories : a categorical approach to L-fuzzy relations
-
by Michael Winter
Springer c2007 Trends in logic : studia logica library 25
所蔵館1館
-
37
- Anaphora and type logical grammar
-
by Gerhard Jäger
Springer c2005 Trends in logic : studia logica library v. 24
所蔵館10館
-
38
- Classical and new paradigms of computation and their complexity hierarchies : papers of the conference "foundations of the formal sciences III"
-
edited by Benedikt Löwe, Boris Piwinger and Thoralf Räsch
Kluwer Academic c2004 Trends in logic : studia logica library v. 23
所蔵館6館
-
39
- Reasoning in quantum theory : sharp and unsharp quantum logics
-
by M. Dalla Chiara, R. Giuntini and R. Greechie
Kluwer Academic c2004 Trends in logic : studia logica library v. 22
: hb , : e-book
所蔵館7館
-
40
- Topological and algebraic structures in fuzzy sets : a handbook of recent developments in the mathematics of fuzzy sets
-
edited by Stephen Ernest Rodabaugh and Erich Peter Klement
Kluwer Academic Publishers c2003 Trends in logic : studia logica library v. 20
所蔵館7館