Studia Logica - researchr journal

1	--	14	Josep Maria Font, Ventura Verdú. The lattice of distributive closure operators over an algebra
15	--	22	Tsutomu Hosoi, Isao Masuda. A study of intermediate propositional logics on the thrid slice
23	--	40	Tatsuya Shimura. Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
41	--	62	Katsumi Sasaki. The simple substitution property of the intermediate propositional logics on finite slices
63	--	72	Wolfgang Rautenberg. On reduced matrices
73	--	94	Nobu-Yuki Suzuki. Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
95	--	112	Sergiu Rudeanu. On Lukasiewicz-Moisil algebras of fuzzy sets
113	--	142	Richard B. White. A consistent theory of attributes in a logic without contraction
143	--	168	Vladimir L. Vasyukov. The completeness of the factor semantics for Lukasiewicz s infinite-valued logics

runs on WebDSL

External Links