On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation

DOI10.1007/BF01837555zbMath0484.03010OpenAlexW1985901092MaRDI QIDQ1163541

Andrzej Wroński, Małgorzata Porȩbska, Jacek K. Kabzinski

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01837555

zbMATH Keywords

equivalencenegationaxiomatization by means of a finite set of sequential rules of inferencefragment of intuitionistic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (2)

Fregean logics ⋮ Algebraic semantics for the ‐fragment of and its properties

Cites Work

• On the intuitionistic equivalential calculus

This page was built for publication: On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation