Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "intuitionistic logic"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
"intuitionistic logic" »
"intuitionistic fuzzy"
Showing
81
-
100
of
114
Search:
'"intuitionistic logic"'
,
query time: 0.19s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
81
Proof theory : sequent calculi and related formalisms
by
Bimbó, Katalin
Published 2015
CRC Press, Taylor & Francis Group
“
...
intuitionistic
logic
to relevance logic, through linear and modal logics. A particular version of sequent calculi...
”
Call Number:
QA9.54
Read Now
82
Saved from the Cellar : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
by
von Plato, Jan
Published 2017
Springer International Publishing
Table of Contents:
“
... I -- 6. Investigations into logical inferences -- 7. Reduction of classical to
intuitionistic
logic
...
”
Read Now
83
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... Completeness, Covers and Superposition -- A Tableaux Calculus for Default
Intuitionistic
Logic
-- NIL: Learning...
”
Read Now
84
Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... Techniques for Querying Large Description Logic ABoxes -- A Local System for
Intuitionistic
Logic
-- CIC...
”
Read Now
85
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
Published 2019
Springer Berlin Heidelberg
Table of Contents:
“
... in
intuitionistic
logic
-- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic...
”
Read Now
86
Foundations of Logic and Linguistics : Problems and Their Solutions
by
Dorn, Georg
,
Weingartner, Paul
Published 1985
Springer US
Table of Contents:
“
... Intermediate Logic -- Proof-theoretic Validity and the Completeness of
Intuitionistic
Logic
-- Gentzen-type...
”
Read Now
87
Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications
by
O'Regan, Gerard
Published 2021
Springer International Publishing
Read Now
88
Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... -- An Incremental Technique for Automata-Based Decision Procedures -- Session 4.
Intuitionistic
Logic
...
”
Read Now
89
Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of S...
Published 2015
Springer Berlin Heidelberg
Table of Contents:
“
... Hierarchy in First-Order
Intuitionistic
Logic
...
”
Read Now
90
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
by
Arruda, A. I.
Published 1980
North-Holland Pub. Co.
Table of Contents:
“
... for
intuitionistic
logics
; Chapter 11 Truth, probability and set theory; Chapter 12 Compact fragments of higher order...
”
Call Number:
QA9.A1
Read Now
91
Formal Methods : An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Published 1962
Springer Netherlands
Table of Contents:
“
... of Deduction by Closed Semantic Tableaux -- 34. Independence -- 35.
Intuitionistic
Logic
and Minimal Calculus...
”
Read Now
92
Logic, Language, Information and Computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Semantics Based on Stratified Minimal Models -- Deep Inference in Bi-
intuitionistic
Logic
-- : An Action...
”
Read Now
93
Logics in Artificial Intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... -- On Herbrand’s Theorem for
Intuitionistic
Logic
-- Ambiguity Propagating Defeasible Logic and the Well-Founded...
”
Read Now
94
Advances in Computing Science - ASIAN'99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...
Intuitionistic
Logic
-- Verifying Probabilistic Programs Using a Hoare like Logic -- An Expressive Extension...
”
Read Now
95
Truth, Proof and Infinity : A Theory of Constructive Reasoning
by
Fletcher, P.
Published 1998
Springer Netherlands
“
...) definitions of construction and proof, and describes the algorithmic substructure underlying
intuitionistic
...
”
Read Now
96
Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for
Intuitionistic
Logic
...
”
Read Now
97
Thinking and Calculating : Essays in Logic, Its History and Its Philosophical Applications in Honour of Massimo Mugnai
Published 2022
Springer International Publishing
Table of Contents:
“
... Centrone and Pierluigi Minari: Oskar Becker and the Modal Translation of
Intuitionistic
Logic
-- 19. Andrea...
”
Read Now
98
The Realism-Antirealism Debate in the Age of Alternative Logics
Published 2012
Springer Netherlands
Table of Contents:
“
..., Antirealism, and Paraconsistency; Graham Priest -- 1. Introduction -- 2. Classical vs
Intuitionist
Logic
-- 3...
”
Read Now
99
Logic and Philosophy in the Lvov—Warsaw School
by
Wolenski, Jan
Published 1989
Springer Netherlands
Table of Contents:
“
... -- 2. Modal Logic -- 3.
Intuitionistic
Logic
-- 4. Ja?kowski’s Discursive Logic -- 5. Concluding...
”
Read Now
100
Mathematics Form and Function
by
MacLane, Saunders
Published 1986
Springer New York
Table of Contents:
“
... on Functions -- 13.
Intuitionistic
Logic
-- 14. Independence by Means of Sheaves -- 15. Foundation...
”
1
2
3
4
5
6
Back
Narrow Search
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
25
006 - Special computer methods
23
160 - Logic
20
004 - Data processing & computer science
15
005 - Computer programming, programs & data
10
510 - Mathematics
6
more ...
501 - Philosophy & theory
4
512 - Algebra
3
100 - Philosophy & psychology
2
500 - Natural sciences & mathematics
2
509 - Historical, geographic & persons treatment
2
000 - Computer science, information & general works
1
340 - Law
1
515 - Analysis
1
531 - Classical mechanics; solid mechanics
1
620 - Engineering & allied operations
1
658 - General management
1
see all ...
less ...
Language
English
114
Collection
Springer eBooks 2005-
54
Springer Book Archives -2004
47
Elsevier eBook collection Mathematics
5
Cambridge Books Online
3
Directory of Open Access Books
2
DeGruyter MPG Collection
1
more ...
O'Reilly
1
Oxford University Press
1
see all ...
less ...
Author
Gabbay, Dov M.
6
Nerode, Anil
5
Dalen, Dirk van
4
O'Regan, Gerard
3
de Queiroz, Ruy
3
Artemov, Sergei
2
more ...
Baumgartner, Peter
2
Benzmüller, Christoph
2
Citkin, Alex
2
Fitting, Melvin
2
Guenthner, Franz
2
Heule, Marijn J.H.
2
Hähnle, Reiner
2
Mundici, Daniele
2
Schmidt, Renate A.
2
Shore, Richard A.
2
Voronkov, Andrei
2
van Dalen, Dirk
2
von Plato, Jan
2
Ademollo, Francesco
1
Agassi, J.
1
Amerini, Fabrizio
1
Anglin, W.S.
1
Armando, Alessandro
1
Arruda, A. I.
1
Artemov, S. N.
1
Autexier, Serge
1
Beckert, Bernhard
1
Beckmann, Arnold
1
Bell, J. L.
1
Berger, Ulrich
1
Beth, E.W.
1
Bezem, Marc
1
Bezhanishvili, Guram
1
Bimbó, Katalin
1
Blackburn, Patrick
1
Bolc, Leonard
1
Boldini, Pascal
1
Borowik, Piotr
1
Bosch, Peter
1
Bourdeau, Michel
1
Bridges, Douglas S.
1
Börger, Egon
1
Campbell, John
1
Charpentier, Eric
1
Chuaqui, R.
1
Ciardelli, Ivano
1
Cohen, Robert S.
1
Costa, Newton C. A. da
1
Crossley, John N.
1
D'Agostino, M.
1
Dahl, Veronica
1
Dalen, D. van
1
Dawar, Anuj
1
De Risi, Vincenzo
1
DeVidi, David
1
Dorn, Georg
1
Dowek, Gilles
1
Drucker, Thomas
1
Dummett, Michael
1
Duparc, Jacques
1
Dyckhoff, Roy
1
Fernández, Maribel
1
Fisher, Michael
1
Fitting, M.
1
Fletcher, P.
1
Fontaine, Pascal
1
Fourman, M. P.
1
Furbach, Ulrich
1
Gabelaia, David
1
Ghilardi, Silvio
1
Goldblatt, Robert
1
Gottlob, Georg
1
Grandy, R.E.
1
Guo, Meiyun
1
Gurevich, Yuri
1
Haeusler, Edward
1
Heinzmann, Gerhard
1
Henzinger, Thomas A.
1
Hermann, Miki
1
Hermenegildo, Manuel V.
1
Hernández Aguirre, Arturo
1
Hodges, Wilfrid
1
Homer, Steven
1
Hämeen-Anttila, Maria
1
Höhle, Ulrich
1
Jouannaud, Jean-Pierre
1
Kanazawa, Makoto
1
Kapsner, Andreas
1
Kenyon, Tim
1
Kerber, Manfred
1
Klement, Erich Peter
1
Klopotek, Mieczyslaw A.
1
Konev, Boris
1
Kucera, Antonin
1
LESNE, Annick
1
Lambek, J.
1
Lang, Jérôme
1
Latin-American Symposium on Mathematical Logic ( 1978, Santiago de Chile)
1
Leblanc, Hugues
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=5&lookfor=%22intuitionistic+logic%22&type=AllFields
Send by Email
×
Loading...