Pages that link to "Item:Q2804337"
From MaRDI portal
The following pages link to Falsification, natural deduction and bi-intuitionistic logic (Q2804337):
Displaying 24 items.
- Routley star and hyperintensionality (Q830371) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- DLEAC: a dialetheic logic with exclusive assumptions and conclusions (Q2288266) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)
- Questions to Michael Dunn (Q5059687) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Tarskian consequence relations bilaterally: some familiar notions (Q6088596) (← links)
- Logical multilateralism (Q6145030) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
