Pages that link to "Item:Q5741613"
From MaRDI portal
The following pages link to A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613):
Displaying 18 items.
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Dual-intuitionistic logic (Q1355125) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Abductive inference within a pragmatic framework (Q2055913) (← links)
- Oskar Becker and the modal translation of intuitionistic logic (Q2094160) (← links)
- Leo Esakia on duality in modal and intuitionistic logics (Q2446018) (← 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)
- (Q3745828) (← links)
- The Logical Burdens of Proof. Assertion and Hypothesis (Q4565828) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- (Q5144635) (← links)
- A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC (Q5222518) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← 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)