The predicate version of the joint logic of problems and propositions

DOI10.4213/SM9608EMaRDI QIDQ6178325

A. A. Onoprienko

Publication date: 1 September 2023

Published in: Sbornik: Mathematics (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/sm9608

zbMATH Keywords

Kripke semanticsnonclassical logics

Mathematics Subject Classification ID

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

Related Items (3)

Cardinality reduction theorem for logics QHC and QH4 ⋮ Topological models of propositional logic of problems and propositions ⋮ On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC

This page was built for publication: The predicate version of the joint logic of problems and propositions