Bulletin of the Section of Logic 43/3-4 (2014)


  1. Authors:
    Maria MANZANO and Manuel A. MARTINS and Antonia HUERTAS

    Title:
    A Semantics for Equational Hybrid Propositional Type Theory

    Pages:
    121-138
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Andrzej INDRZEJCZAK

    Title:
    Contraction Contracted

    Pages:
    139-154
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Kordula SWIETORZECKA

    Title:
    An Argument for the Existence of God by Bolzano. A Formalization with a Distinction between Menge and Inbegriff

    Pages:
    155-172
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Janusz CIUCIURA

    Title:
    Paraconsistent heap. A Hierarchy of mbCn-systems

    Pages:
    173-182
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Piotr KULICKI

    Title:
    A Note on the Adequacy of Jerzy Kalinowski’s K1 Logic

    Pages:
    183-190
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    A. V. FIGALLO, E. PICK and S. SAAD

    Title:
    A Representation for Finite Hilbert Algebras

    Pages:
    191-202
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Szymon FRANKOWSKI

    Title:
    About Simulating Polyadic Frames

    Pages:
    203-214
    File:
    bibtex
    Abstract ( + )