The following pages link to (Q4636036):
Displaying 12 items.
- Negational fragment of intuitionistic control logic (Q897473) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- A predicate logical extension of a subintuitionistic propositional logic (Q1868252) (← links)
- Subatomic negation (Q2035849) (← links)
- (Q4870572) (← links)
- Assertion, Denial and Non-classical Theories (Q4912986) (← links)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)
- (Q5100007) (← links)
- An Unexpected Feature of Classical Propositional Logic in the Tractatus (Q5115873) (← links)
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic (Q6560406) (← links)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)
- Another combination of classical and intuitionistic conditionals (Q6659907) (← links)