Works matching IS 01380680 AND DT 2022 AND VI 51 AND IP 1
Results: 6
WEAKLY FREE MULTIALGEBRAS.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 1, p. 109, doi. 10.18778/0138-0680.2021.19
- By:
- Publication type:
- Article
A SEQUENT SYSTEM WITHOUT IMPROPER DERIVATIONS.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 1, p. 91, doi. 10.18778/0138-0680.2021.21
- By:
- Publication type:
- Article
SEQUENT CALCULI FOR ORTHOLOGIC WITH STRICT IMPLICATION.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 1, p. 73, doi. 10.18778/0138-0680.2021.22
- By:
- Publication type:
- Article
A NOTE ON THE INTUITIONISTIC LOGIC OF FALSE BELIEF.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 1, p. 57, doi. 10.18778/0138-0680.2021.20
- By:
- Publication type:
- Article
TERNARY RELATIONAL SEMANTICS FOR THE VARIANTS OF BN4 AND E4 WHICH CONTAIN ROUTLEY AND MEYER'S LOGIC B.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 1, p. 27, doi. 10.18778/0138-0680.2021.16
- By:
- Publication type:
- Article
AN EPISTEMOLOGICAL STUDY OF THEORY CHANGE.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 1, p. 1, doi. 10.18778/0138-0680.2021.26
- By:
- Publication type:
- Article