Reports on Mathematical Logic - Tom No. 33 (1999) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

No. 33

Czasopismo

Reports on Mathematical Logic

Wydawca

Wydawnictwo Uniwersytetu Jagiellońskiego

Rocznik

1999

Identyfikatory

Zawartość wolumenu

No. 33
- artykuł: Pretabular varietes of equivalential algebras (Kowalski T.), s. 3-10
- artykuł: Implication systems for many-dimensional logics (Pynko A.), s. 11-27
- artykuł: Embedding and interpolation for some paralogics : the propositional case (Batens D., Clercq K., Kurtonina N.), s. 29-44
- artykuł: The super-amalgamation property of the variety of ortholattices (Miyazaki Y.), s. 45-63
- artykuł: Formalizations for the consequence relation of visser's propositional logic (Sasaki K.), s. 65-78
- artykuł: Derivability (Stępień T.), s. 79-98
- artykuł: Lattice of substitutions (Grabowski A.), s. 99-109
- artykuł: Induction schemata valid in Kripke models of arithmetical theories (Polacik T.), s. 111-125

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.