Dane szczegółowe: | |
Producent: | Uniwersytetu Jagiellońskiego |
Rok wyd.: | 2009 |
Oprawa: | miękka |
Ilość stron: | 202 s. |
ISSN: | 0137-2904 |
Data: | 2009-02-27 |
Opis książki:
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
Książka "Reports on Mathematical Logic No. 44" - Paweł M. Idziak, Jerzy Perzanowski (red.) - oprawa miękka - Wydawnictwo Uniwersytetu Jagiellońskiego. Książka posiada 202 stron i została wydana w 2009 r.