Pages that link to "Item:Q1846858"
From MaRDI portal
The following pages link to A formalization of the propositional calculus of H-B logic (Q1846858):
Displaying 34 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- On logics with coimplication (Q1272827) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- B-frame duality (Q2689804) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- (Q4625704) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Splittings in varieties of logic (Q5002194) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations (Q5147749) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
- IMPROVING STRONG NEGATION (Q6051428) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics (Q6612001) (← links)
- Polynomial-time checking of generalized Sahlqvist syntactic shape (Q6639733) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
