New operations in intuitionistic calculus

DOI10.1007/BF01147689zbMath0421.03018OpenAlexW2086529071MaRDI QIDQ1132866

A. V. Bessonov

Publication date: 1978

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

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

zbMATH Keywords

Kripke modelsprovabilityintuitionistic propositional calculus with additional operators

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Intuitionistic mathematics (03F55)

Related Items (4)

Irreflexive modality as a new logical connective in the Dummett logic ⋮ Irreflexive modality, the Dummett logic, and continual chains ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Dummett Logic, Irreflexive Modality and Novikov Completeness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: New operations in intuitionistic calculus