books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 73; Issue 1
Main
Studia Logica
Volume 73; Issue 1
Studia Logica
Volume 73; Issue 1
1
Foreword
Silvio Ghilardi
,
Daniele Mundici
Journal:
Studia Logica
Year:
2003
File:
PDF, 121 KB
Your tags:
2003
2
Intensional Completeness in an Extension of Gödel/Dummett Logic
Matt Fairtlough
,
Michael Mendler
Journal:
Studia Logica
Year:
2003
File:
PDF, 5.34 MB
Your tags:
2003
3
Halldén-Completeness in Super-Intuitionistic Predicate Logics
Nobu-Yuki Suzuki
Journal:
Studia Logica
Year:
2003
File:
PDF, 2.59 MB
Your tags:
2003
4
Preface. In Memoriam Pierangelo Miglioli (1946–1999)
Mario Ornaghi
Journal:
Studia Logica
Year:
2003
File:
PDF, 2.65 MB
Your tags:
2003
5
A Proof-theoretical Analysis of Semiconstructive Intermediate Theories
Mauro Ferrari
,
Camillo Fiorentini
Journal:
Studia Logica
Year:
2003
File:
PDF, 4.69 MB
Your tags:
2003
6
Tableaux for Łukasiewicz Infinite-valued Logic
Nicola Olivetti
Journal:
Studia Logica
Year:
2003
File:
PDF, 4.27 MB
Your tags:
2003
7
On Different Proof-Search Strategies for Orthologic
Uwe Egly
,
Hans Tompits
Journal:
Studia Logica
Year:
2003
File:
PDF, 3.44 MB
Your tags:
2003
8
Skolem's Discovery of Gödel-Dummett Logic
Jan von Plato
Journal:
Studia Logica
Year:
2003
File:
PDF, 791 KB
Your tags:
2003
9
Constructivism in Non-Classical Logics and Computer Science || Skolem's Discovery of Gödel-Dummett Logic
Jan von Plato
Journal:
Studia Logica
Year:
2003
File:
PDF, 545 KB
Your tags:
2003
10
Constructivism in Non-Classical Logics and Computer Science || Skolem's Discovery of Gödel-Dummett Logic
Jan von Plato
Journal:
Studia Logica
Year:
2003
Language:
english
File:
PDF, 545 KB
Your tags:
english, 2003
11
Constructivism in Non-Classical Logics and Computer Science || Preface. In Memoriam Pierangelo Miglioli (1946-1999)
Mario Ornaghi
Journal:
Studia Logica
Year:
2003
Language:
english
File:
PDF, 1.72 MB
Your tags:
english, 2003
12
Constructivism in Non-Classical Logics and Computer Science || Volume Information
Journal:
Studia Logica
Year:
2003
Language:
english
File:
PDF, 254 KB
Your tags:
english, 2003
13
Constructivism in Non-Classical Logics and Computer Science || Halldén-Completeness in Super-Intuitionistic Predicate Logics
Nobu-Yuki Suzuki
Journal:
Studia Logica
Year:
2003
Language:
english
File:
PDF, 1.71 MB
Your tags:
english, 2003
14
Constructivism in Non-Classical Logics and Computer Science || Front Matter
Journal:
Studia Logica
Year:
2003
Language:
english
File:
PDF, 475 KB
Your tags:
english, 2003
15
Constructivism in Non-Classical Logics and Computer Science || Tableaux for Łukasiewicz Infinite-Valued Logic
Nicola Olivetti
Journal:
Studia Logica
Year:
2003
Language:
english
File:
PDF, 2.74 MB
Your tags:
english, 2003
16
Constructivism in Non-Classical Logics and Computer Science || A Proof-Theoretical Analysis of Semiconstructive Intermediate Theories
Mauro Ferrari and Camillo Fiorentini
Journal:
Studia Logica
Year:
2003
Language:
english
File:
PDF, 2.95 MB
Your tags:
english, 2003
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×