A Theory of Ambiguous Types and Its Axiomatizations

DOI10.1002/MALQ.19890350605zbMath0663.03001OpenAlexW2112650661MaRDI QIDQ3813789

A. A. Kuzichev

Publication date: 1989

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19890350605

zbMATH Keywords

axiomatizationsstratified formulasSpecker's theorem on typical ambiguitystratified predicate calculustheory of ambiguous types

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A Theory of Ambiguous Types and Its Axiomatizations