SIMPLE DECISION PROCEDURE FOR S5 IN STANDARD CUT-FREE SEQUENT CALCULUS.
- Published in:
- Bulletin of the Section of Logic, 2016, v. 45, n. 2, p. 125, doi. 10.18778/0138-0680.45.2.05
- By:
- Publication type:
- Article
Works matching IS 01380680 AND DT 2016 AND VI 45 AND IP 2
Results: 5
1
2
CATEGORICAL ABSTRACT LOGIC: HIDDEN MULTI-SORTED LOGICS AS MULTI-TERM π-INSTITUTIONS.
- Published in:
- Bulletin of the Section of Logic, 2016, v. 45, n. 2, p. 111, doi. 10.18778/0138-0680.45.2.04
- By:
- Publication type:
- Article
3
A 2-SET-UP ROUTLEY-MEYER SEMANTICS FOR THE 4-VALUED RELEVANT LOGIC E4.
- Published in:
- Bulletin of the Section of Logic, 2016, v. 45, n. 2, p. 93, doi. 10.18778/0138-0680.45.2.03
- By:
- Publication type:
- Article
4
AXIOMATIZATION OF A BASIC LOGIC OF LOGICAL BILATTICES.
- Published in:
- Bulletin of the Section of Logic, 2016, v. 45, n. 2, p. 79, doi. 10.18778/0138-0680.45.2.02
- By:
- Publication type:
- Article
5
QUASIORDERS, TOLERANCE RELATIONS AND CORRESPONDING "PARTITIONS".
- Published in:
- Bulletin of the Section of Logic, 2016, v. 45, n. 2, p. 65, doi. 10.18778/0138-0680.45.2.01
- By:
- Publication type:
- Article