Works matching IS 01380680 AND DT 2019 AND VI 48 AND IP 4
Results: 5
DISJUNCTIVE MULTIPLE-CONCLUSION CONSEQUENCE RELATIONS.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 4, p. 319, doi. 10.18778/0138-0680.48.4.05
- By:
- Publication type:
- Article
TWO TREATMENTS OF DEFINITE DESCRIPTIONS IN INTUITIONIST NEGATIVE FREE LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 4, p. 299, doi. 10.18778/0138-0680.48.4.04
- By:
- Publication type:
- Article
MANY FACES OF LATTICE TOLERANCES.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 4, p. 285, doi. 10.18778/0138-0680.48.4.03
- By:
- Publication type:
- Article
AN INVESTIGATION INTO INTUITIONISTIC LOGIC WITH IDENTITY.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 4, p. 259, doi. 10.18778/0138-0680.48.4.02
- By:
- Publication type:
- Article
SEMANTICAL PROOF OF SUBFORMULA PROPERTY FOR THE MODAL LOGICS K4.3, KD4.3, AND S4.3.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 4, p. 245, doi. 10.18778/0138-0680.48.4.01
- By:
- Publication type:
- Article