Works matching IS 01380680 AND DT 2019 AND VI 48 AND IP 2
Results: 4
SEMI-HEYTING ALGEBRAS AND IDENTITIES OF ASSOCIATIVE TYPE.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 2, p. 117, doi. 10.18778/0138-0680.48.2.03
- By:
- Publication type:
- Article
FULL CUT ELIMINATION AND INTERPOLATION FOR INTUITIONISTIC LOGIC WITH EXISTENCE PREDICATE.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 2, p. 137, doi. 10.18778/0138-0680.48.2.04
- By:
- Publication type:
- Article
A BINARY QUANTIFIER FOR DEFINITE DESCRIPTIONS IN INTUITIONIST NEGATIVE FREE LOGIC: NATURAL DEDUCTION AND NORMALISATION.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 2, p. 81, doi. 10.18778/0138-0680.48.2.01
- By:
- Publication type:
- Article
THE METHOD OF SOCRATIC PROOFS MEETS CORRESPONDENCE ANALYSIS.
- Published in:
- Bulletin of the Section of Logic, 2019, v. 48, n. 2, p. 99, doi. 10.18778/0138-0680.48.2.02
- By:
- Publication type:
- Article