Pages that link to "Item:Q1685570"
From MaRDI portal
The following pages link to Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570):
Displaying 19 items.
- Routley star and hyperintensionality (Q830371) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic (Q2062196) (← links)
- Modal bilattice logic and its extensions (Q2145869) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Q3305620) (← links)
- Towards a bridge over two approaches in connexive logic (Q3387893) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- Connexive Variants of Modal Logics Over FDE (Q5020173) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
- Tarskian consequence relations bilaterally: some familiar notions (Q6088596) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)
