Volume 98; Issue 3

Studia Logica

Volume 98; Issue 3
1

On Some Compatible Operations on Heyting Algebras

Rodolfo Cristian Ertola Biraben, Hernán Javier San Martín
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 203 KB
english, 2011
2

On the Modal Definability of Simulability by Finite Transitive Models

David Fernández Duque
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 284 KB
english, 2011
3

A Note on Bosbach’s Cone Algebras

Wolfgang Rump, Yichuan Yang
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 170 KB
english, 2011
4

ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse

Linh Anh Nguyen, Andrzej Szałas
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 402 KB
english, 2011
5

Paraconsistency in Categories: Case of Relevance Logic

Vladimir L. Vasyukov
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 209 KB
english, 2011
6

A Framework for Riddles about Truth that do not involve Self-Reference

Stefan Wintein
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 328 KB
english, 2011
7

On Some Compatible Operations on Heyting Algebras

Rodolfo Cristian Ertola Biraben and Hernán Javier San Martín
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 1.06 MB
english, 2011
8

ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse

Linh Anh Nguyen and Andrzej Szałas
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 2.94 MB
english, 2011
9

A Note on Bosbach's Cone Algebras

Wolfgang Rump and Yichuan Yang
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 803 KB
english, 2011
10

On the Modal Definability of Simulability by Finite Transitive Models

David Fernández Duque
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 1.69 MB
english, 2011
11

A Framework for Riddles about Truth that do not involve Self-Reference

Stefan Wintein
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 2.61 MB
english, 2011