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 70; Issue 2
Main
Studia Logica
Volume 70; Issue 2
Studia Logica
Volume 70; Issue 2
1
On Łukasiewicz's Four-Valued Modal Logic
Josep Maria Font
,
Petr Hájek
Journal:
Studia Logica
Year:
2002
File:
PDF, 1.40 MB
Your tags:
2002
2
A Proof of Standard Completeness for Esteva and Godo's Logic MTL
Sándor Jenei
,
Franco Montagna
Journal:
Studia Logica
Year:
2002
File:
PDF, 1.86 MB
Your tags:
2002
3
Connection Tableau Calculi with Disjunctive Constraints
Ortrun Ibens
Journal:
Studia Logica
Year:
2002
File:
PDF, 1.58 MB
Your tags:
2002
4
Roman Murawski,Recursive Functions and Metamathematics
Rod Downey
Journal:
Studia Logica
Year:
2002
File:
PDF, 729 KB
Your tags:
2002
5
Gregory J. Chaitin, The Unknowable, Springer-Verlag, Singapore 1999
Greg O'Keefe
Journal:
Studia Logica
Year:
2002
File:
PDF, 817 KB
Your tags:
2002
6
Refutations, Proofs, and Models in the Modal Logic K4
Tomasz Skura
Journal:
Studia Logica
Year:
2002
File:
PDF, 2.03 MB
Your tags:
2002
7
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property
Ian Hodkinson
Journal:
Studia Logica
Year:
2002
File:
PDF, 1.76 MB
Your tags:
2002
8
Coherence in Substructural Categories
Zoran Petrić
Journal:
Studia Logica
Year:
2002
File:
PDF, 4.47 MB
Your tags:
2002
9
Front Matter
Journal:
Studia Logica
Year:
2002
Language:
english
File:
PDF, 420 KB
Your tags:
english, 2002
10
On Łukasiewicz's Four-Valued Modal Logic
Josep Maria Font and Petr Hájek
Journal:
Studia Logica
Year:
2002
Language:
english
File:
PDF, 2.96 MB
Your tags:
english, 2002
11
Refutations, Proofs, and Models in the Modal Logic K4
Tomasz Skura
Journal:
Studia Logica
Year:
2002
Language:
english
File:
PDF, 1.09 MB
Your tags:
english, 2002
12
Connection Tableau Calculi with Disjunctive Constraints
Ortrun Ibens
Journal:
Studia Logica
Year:
2002
Language:
english
File:
PDF, 3.29 MB
Your tags:
english, 2002
13
Recursive Functions and Metamathematicsby Roman Murawski
Review by: Rod Downey
Journal:
Studia Logica
Year:
2002
Language:
english
File:
PDF, 474 KB
Your tags:
english, 2002
14
A Proof of Standard Completeness for Esteva and Godo's Logic MTL
Sándor Jenei and Franco Montagna
Journal:
Studia Logica
Year:
2002
Language:
english
File:
PDF, 1017 KB
Your tags:
english, 2002
15
Coherence in Substructural Categories
Zoran Petrić
Journal:
Studia Logica
Year:
2002
Language:
english
File:
PDF, 2.20 MB
Your tags:
english, 2002
16
The Unknowableby Gregory J. Chaitin
Review by: Greg O'Keefe
Journal:
Studia Logica
Year:
2002
Language:
english
File:
PDF, 523 KB
Your tags:
english, 2002
17
Back Matter
Journal:
Studia Logica
Year:
2002
Language:
english
File:
PDF, 373 KB
Your tags:
english, 2002
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
×
×