scientific article; zbMATH DE number 6290313

zbMATH Open1287.03080MaRDI QIDQ5413341

Małgorzata Kruszelnicka

Publication date: 29 April 2014

Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/41_34_7.pdf

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)

Related Items (2)

Neighborhood Semantics for Basic and Intuitionistic Logic ⋮ Games and bisimulations for intuitionistic first-order Kripke models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5413341)