Pages that link to "Item:Q5741613"
From MaRDI portal
The following pages link to A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613):
Displayed 8 items.
- Modal multilattice logic (Q1682294) (← links)
- Abductive inference within a pragmatic framework (Q2055913) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
- The Logical Burdens of Proof. Assertion and Hypothesis (Q4565828) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)