The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective

DOI10.1007/BF02110566zbMath0837.03006MaRDI QIDQ1905252

Aleksandr D. Yashin

Publication date: 8 January 1996

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicdisjunction propertyfinite axiomatizabilityKripke-style semanticsnew connectiveSmetanich logic

Mathematics Subject Classification ID

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

Related Items (2)

A new regular constant in intuitionistic propositional logic ⋮ On some compatible operations on Heyting algebras

Cites Work

• On some new intuitionistic propositional connectives. I

This page was built for publication: The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective