THE CARDINAL SQUARING PRINCIPLE AND AN ALTERNATIVE AXIOMATIZATION OF NFU.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 4, p. 551, doi. 10.18778/0138-0680.2023.25
- By:
- Publication type:
- Article
Works matching IS 01380680 AND DT 2023 AND VI 52 AND IP 4
Results: 6
1
2
A CATEGORY OF ORDERED ALGEBRAS EQUIVALENT TO THE CATEGORY OF MULTIALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 4, p. 517, doi. 10.18778/0138-0680.2023.23
- By:
- Publication type:
- Article
3
ON IMPLICATIVE AND POSITIVE IMPLICATIVE GE ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 4, p. 497, doi. 10.18778/0138-0680.2023.21
- By:
- Publication type:
- Article
4
CUT ELIMINATION FOR EXTENDED SEQUENT CALCULI.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 4, p. 459, doi. 10.18778/0138-0680.2023.22
- By:
- Publication type:
- Article
5
FUNDAMENTAL RELATION ON H<sub>v</sub>BE-ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 4, p. 441, doi. 10.18778/0138-0680.2023.10
- By:
- Publication type:
- Article
6
EXTENDED BCK-IDEAL BASED ON SINGLE-VALUED NEUTROSOPHIC HYPER BCK-IDEALS.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 4, p. 411, doi. 10.18778/0138-0680.2023.20
- By:
- Publication type:
- Article