A formalization of the propositional calculus of H-B logic

DOI10.1007/BF02120864zbMath0289.02015MaRDI QIDQ1846858

Cecylia Rauszer

Publication date: 1974

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (31)

A bi-intuitionistic modal logic: foundations and automation ⋮ Equality and Apartness in Bi-intuitinistic Logic ⋮ Bi-simulating in bi-intuitionistic logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Hennessy-Milner properties via topological compactness ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ IMPROVING STRONG NEGATION ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Natural deduction for bi-intuitionistic logic ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ B-frame duality ⋮ On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) ⋮ Bi-intuitionistic implication structures ⋮ Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations ⋮ Expressing discrete spatial relations under granularity ⋮ Natural deduction for dual-intuitionistic logic ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ On Displaying Negative Modalities ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ On logics with coimplication ⋮ Constructive negation, implication, and co-implication ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Falsification-aware semantics and sequent calculi for classical logic ⋮ Splittings in varieties of logic ⋮ Unnamed Item ⋮ On the Blok-Esakia Theorem ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

Cites Work

• Untersuchungen über das logische Schliessen. I
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Unnamed Item

This page was built for publication: A formalization of the propositional calculus of H-B logic