UNIVERSALITY OF LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 21, doi. 10.18778/0138-0680.46.1.2.03
- By:
- Publication type:
- Article
Works matching IS 01380680 AND DT 2017 AND VI 46 AND IP 1/2
Results: 10
1
2
CUT ELIMINATION THEOREM FOR NON-COMMUTATIVE HYPERSEQUENT CALCULUS.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 135, doi. 10.18778/0138-0680.46.1.2.10
- By:
- Publication type:
- Article
3
THREE DOCTRINES OF THE NATURE OF MATHEMATICS (SOME COMMENTS OF A KNOWLEDGE THEORIST).
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 11, doi. 10.18778/0138-0680.46.1.2.02
- By:
- Publication type:
- Article
4
FOUR-VALUED LOGICS BD and DM4: EXPANSIONS.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 33, doi. 10.18778/0138-0680.46.1.2.04
- By:
- Publication type:
- Article
5
FROM GENTZEN TO JASKOWSKI AND BACK: ALGORITHMIC TRANSLATION OF DERIVATIONS BETWEEN THE TWO MAIN SYSTEMS OF NATURAL DEDUCTION.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 65, doi. 10.18778/0138-0680.46.1.2.06
- By:
- Publication type:
- Article
6
INVOLUTIVE NONASSOCIATIVE LAMBEK CALCULUS: SEQUENT SYSTEMS AND COMPLEXITY.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 75, doi. 10.18778/0138-0680.46.1.2.07
- By:
- Publication type:
- Article
7
ON THESES WITHOUT ITERATED MODALITIES OF MODAL LOGICS BETWEEN C1 AND S5. PART 1.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 111, doi. 10.18778/0138-0680.46.1.2.09
- By:
- Publication type:
- Article
8
Professor Grzegorz Malinowski in Honorem.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 1, doi. 10.18778/0138-0680.46.1.2.01
- By:
- Publication type:
- Article
9
THE INFINITE-VALUED LUKASIEWICZ LOGIC AND PROBABILITY.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 47, doi. 10.18778/0138-0680.46.1.2.05
- By:
- Publication type:
- Article
10
SOME WEAK VARIANTS OF THE EXISTENCE AND DISJUNCTION PROPERTIES IN INTERMEDIATE PREDICATE LOGICS.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 93, doi. 10.18778/0138-0680.46.1.2.08
- By:
- Publication type:
- Article