zarejestruj się | przypomnij haslo

 

TABLE OF CONTENTS

Takahiro Seki, Completness of relevant modal logics with disjunctive rules

Jerzy Mycka, A simple observation regarding iterations of finite-valued polynomial-time functions

Francesco Paoli, Antonio Ledda, Roberto Giuntini, Hector Freytes, On some properties of quasi-MV algebras and V quasi-MV algebras

Marina Lattanzi, Alejandro Petrovich, A Duality for (n+1)-valued MV-algebras

Leonardo Manuel Cabrer, Non canonicity of BL-algebras

George Voultsadakis, Categorical Abstract Algebraic Logic: Syntactically Algebraizable (\pi\)-Institutions

Rodolfo Ertola, Marta Sagastume, Subminimal logic and weak algebras

Stefano Cavagnetto, String Rewriting and Proof Complexity: an interpretation of Resolution