The following pages link to (Q2721200):
Displaying 25 items.
- Revisiting da Costa logic (Q301378) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- Understanding negation implicationally in the relevant logic R (Q514515) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← 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)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- Information Quanta and Approximation Operators: Once More Around the Track (Q3600306) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- (Q4625704) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
