Works matching IS 01380680 AND DT 2018 AND VI 47 AND IP 4
Results: 4
ON INJECTIVE MV -MODULES.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 4, p. 283, doi. 10.18778/0138-0680.47.4.04
- By:
- Publication type:
- Article
RULE-GENERATION THEOREM AND ITS APPLICATIONS.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 4, p. 265, doi. 10.18778/0138-0680.47.4.03
- By:
- Publication type:
- Article
ON THE DEFINABILITY OF LEŚNIEWSKI'S COPULA 'IS' IN SOME ONTOLOGY-LIKE THEORIES.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 4, p. 233, doi. 10.18778/0138-0680.47.4.02
- By:
- Publication type:
- Article
LABELED SEQUENT CALCULUS FOR ORTHOLOGIC.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 4, p. 217, doi. 10.18778/0138-0680.47.4.01
- By:
- Publication type:
- Article