Bulletin of the Section of Logic
Tom 45 ( 2016), Nr 2

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

Quasiorders, Tolerance Relations and Corresponding "Partitions"

Marek Nowak
Axiomatization of a Basic Logic of Logical Bilattices

Mitio Takano
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Gemma Robles S.M. Lopez J.M. Blanco M.M. Recio J.R. Paradela
Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions

George Voutsadakis
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus

Andrzej Indrzejczak

Muzeum Historii
Polski w Warszawie

Materiały zamieszczone na stronie są dostępna na licencji CC BY-SA
Projekt graficzny serwisu: Veshch