scientific article
From MaRDI portal
Publication:2713994
zbMath0965.03037MaRDI QIDQ2713994
Publication date: 10 June 2001
Full work available at URL: https://eudml.org/doc/187907
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A method to single out maximal propositional logics with the disjunction property. I ⋮ A method to single out maximal propositional logics with the disjunction property. II ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Intuitionistic logic and implicit definability
This page was built for publication:
