COMMUTATIVE ENERGETIC SUBSETS OF BCK-ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2016, v. 45, n. 1, p. 53, doi. 10.18778/0138-0680.45.1.04
- By:
- Publication type:
- Article
Works matching IS 01380680 AND DT 2016 AND VI 45 AND IP 1
Results: 4
1
2
AN ALTERNATIVE NATURAL DEDUCTION FOR THE INTUITIONISTIC PROPOSITIONAL LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2016, v. 45, n. 1, p. 33, doi. 10.18778/0138-0680.45.1.03
- By:
- Publication type:
- Article
3
A NEW ARITHMETICALLY INCOMPLETE FIRST-ORDER EXTENSION OF GL ALL THEOREMS OF WHICH HAVE CUT FREE PROOFS.
- Published in:
- Bulletin of the Section of Logic, 2016, v. 45, n. 1, p. 17, doi. 10.18778/0138-0680.45.1.02
- By:
- Publication type:
- Article
4
AN ELEMENTARY PROOF OF STRONG NORMALIZATION FOR ATOMIC F.
- Published in:
- Bulletin of the Section of Logic, 2016, v. 45, n. 1, p. 1, doi. 10.18778/0138-0680.45.1.01
- By:
- Publication type:
- Article