AN ARITHMETICALLY COMPLETE PREDICATE MODAL LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2021, v. 50, n. 4, p. 513, doi. 10.18778/0138-0680.2021.18
- By:
- Publication type:
- Article
Works matching IS 01380680 AND DT 2021 AND VI 50 AND IP 4
Results: 5
1
2
ON COMPLETE REPRESENTATIONS AND MINIMAL COMPLETIONS IN ALGEBRAIC LOGIC, BOTH POSITIVE AND NEGATIVE RESULTS.
- Published in:
- Bulletin of the Section of Logic, 2021, v. 50, n. 4, p. 465, doi. 10.18778/0138-0680.2021.17
- By:
- Publication type:
- Article
3
A SOUND INTERPRETATION OF LEŚNIEWSKI'S EPSILON IN MODAL LOGIC KTB.
- Published in:
- Bulletin of the Section of Logic, 2021, v. 50, n. 4, p. 455, doi. 10.18778/0138-0680.2021.25
- By:
- Publication type:
- Article
4
THE (GREATEST) FRAGMENT OF CLASSICAL LOGIC THAT RESPECTS THE VARIABLE-SHARING PRINCIPLE (IN THE FMLA-FMLA FRAMEWORK).
- Published in:
- Bulletin of the Section of Logic, 2021, v. 50, n. 4, p. 421, doi. 10.18778/0138-0680.2021.08
- By:
- Publication type:
- Article
5
ON THE CATEGORY OF EQ-ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2021, v. 50, n. 4, p. 397, doi. 10.18778/0138-0680.2021.01
- By:
- Publication type:
- Article