The following pages link to (Q3367330):
Displaying 10 items.
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Constructive predicate logic with strong negation and model theory (Q1104309) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- A basic system of paraconsistent Nelsonian logic of conditionals. (Q6661238) (← links)
