Works matching IS 01380680 AND DT 2015 AND VI 44 AND IP 1/2
Results: 7
CLOSURE OPERATORS ON COMPLETE ALMOST DISTRIBUTIVE LATTICES-III.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 1/2, p. 81
- By:
- Publication type:
- Article
NON-FREGEAN LOGICS OF ANALYTIC EQUIVALENCE (II).
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 1/2, p. 69, doi. 10.18778/0138-0680.44.1.2.07
- By:
- Publication type:
- Article
NON-FREGEAN LOGICS OF ANALYTIC EQUIVALENCE (I).
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 1/2, p. 53, doi. 10.18778/0138-0680.44.1.2.06
- By:
- Publication type:
- Article
CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: REFERENTIAL π-INSTITUTIONS.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 1/2, p. 33, doi. 10.18778/0138-0680.44.1.2.05
- By:
- Publication type:
- Article
ON SOME APPLIED FIRST-ORDER THEORIES WHICH CAN BE REPRESENTED BY DEFINITIONS.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 1/2, p. 19, doi. 10.18778/0138-0680.44.1.2.03
- By:
- Publication type:
- Article
A NOTE ON SOME CHARACTERIZATION OF DISTRIBUTIVE LATTICES OF FINITE LENGTH.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 1/2, p. 15, doi. 10.18778/0138-0680.44.1.2.02
- By:
- Publication type:
- Article
UNIFIABILITY AND STRUCTURAL COMPLETENESS IN RELATION ALGEBRAS AND IN PRODUCTS OF MODAL LOGIC S5.
- Published in:
- Bulletin of the Section of Logic, 2015, v. 44, n. 1/2, p. 1
- By:
- Publication type:
- Article