On Some Compatible Operations on Heyting Algebras Rodolfo Cristian Ertola BirabenHernán Javier San Martín OriginalPaper 12 August 2011 Pages: 331 - 345
On the Modal Definability of Simulability by Finite Transitive Models David Fernández Duque OriginalPaper 12 August 2011 Pages: 347 - 373
A Note on Bosbach’s Cone Algebras Wolfgang RumpYichuan Yang OriginalPaper 12 August 2011 Pages: 375 - 386
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse Linh Anh NguyenAndrzej Szałas OriginalPaper 12 August 2011 Pages: 387 - 428
Paraconsistency in Categories: Case of Relevance Logic Vladimir L. Vasyukov OriginalPaper 12 August 2011 Pages: 429 - 443
A Framework for Riddles about Truth that do not involve Self-Reference Stefan Wintein OriginalPaper 12 August 2011 Pages: 445 - 482