Duals of intuitionistic tableaus

MaRDI QIDQ1132098zbMATH OpenFDO

Authors Giovanni Criscuolo, Roberto Tortora

Publication date 1978

Published in Ricerche di Matematica (Search for Journal in Brave)

zbMATH Keywords

completeness with respect to Kripke modelsdual version of the Beth intuitionistic tableaus with signed formulas

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Intuitionistic mathematics (03F55)

This page was built for publication: Duals of intuitionistic tableaus

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