Pages that link to "Item:Q3389489"
From MaRDI portal
The following pages link to PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489):
Displaying 7 items.
- Proof internalization in generalized Frege systems for classical logic (Q392294) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- A proof system for fork algebras and its applications to reasoning in logics based on intuitionism (Q2735802) (← links)
- FDE as a Base for Constructive Logic (Q3305615) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- Connexive Variants of Modal Logics Over FDE (Q5020173) (← links)