Vector logic allows counterfactual virtualization by the square root of NOT.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 5, p. 859, doi. 10.1093/jigpal/jzaa026
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2021 AND VI 29 AND IP 5
Results: 7
1
2
The Russell-Prawitz embedding and the atomization of universal instantiation.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 5, p. 823, doi. 10.1093/jigpal/jzaa025
- By:
- Publication type:
- Article
3
Extensions of paraconsistent weak Kleene logic.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 5, p. 798, doi. 10.1093/jigpal/jzaa024
- By:
- Publication type:
- Article
4
The Axiom of Choice and the Partition Principle from Dialectica Categories.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 5, p. 783, doi. 10.1093/jigpal/jzaa023
- By:
- Publication type:
- Article
5
Elementary-base cirquent calculus II: Choice quantifiers.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 5, p. 769, doi. 10.1093/jigpal/jzaa022
- By:
- Publication type:
- Article
6
The subformula property of natural deduction derivations and analytic cuts.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 5, p. 739, doi. 10.1093/jigpal/jzaa017
- By:
- Publication type:
- Article
7
Tableaux for essence and contingency.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 5, p. 719, doi. 10.1093/jigpal/jzaa016
- By:
- Publication type:
- Article