Works matching IS 01380680 AND DT 2015 AND VI 44 AND IP 3/4
Results: 5
TENSE POLYADIC n × m–VALUED ŁUKASIEWICZ–MOISIL ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 3/4, p. 155, doi. 10.18778/0138-0680.44.3.4.05
- By:
- Publication type:
- Article
MINIMAL SEQUENT CALCULI FOR ŁUKASIEWICZ'S FINITELY-VALUED LOGICS.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 3/4, p. 149, doi. 10.18778/0138-0680.44.3.4.04
- By:
- Publication type:
- Article
A SHORT AND READABLE PROOF OF CUT ELIMINATION FOR TWO FIRST-ORDER MODAL LOGICS.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 3/4, p. 131, doi. 10.18778/0138-0680.44.3.4.03
- By:
- Publication type:
- Article
ON HALLDÉN COMPLETENESS OF MODAL LOGICS DETERMINED BY HOMOGENEOUS KRIPKE FRAMES.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 3/4, p. 111, doi. 10.18778/0138-0680.44.3.4.02
- By:
- Publication type:
- Article
SIMPLE LOGICS FOR BASIC ALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 3/4, p. 95, doi. 10.18778/0138-0680.44.3.4.01
- By:
- Publication type:
- Article