Works matching IS 01380680 AND DT 2024 AND VI 53 AND IP 2
Results: 6
LIFTING RESULTS FOR FINITE DIMENSIONS TO THE TRANSFINITE IN SYSTEMS OF VARIETIES USING ULTRAPRODUCTS.
- Published in:
- Bulletin of the Section of Logic, 2024, v. 53, n. 2, p. 145, doi. 10.18778/0138-0680.2024.02
- By:
- Publication type:
- Article
SEQUENT SYSTEMS FOR CONSEQUENCE RELATIONS OF CYCLIC LINEAR LOGICS.
- Published in:
- Bulletin of the Section of Logic, 2024, v. 53, n. 2, p. 245, doi. 10.18778/0138-0680.2024.06
- By:
- Publication type:
- Article
A SYNTACTIC PROOF OF THE DECIDABILITY OF FIRST-ORDER MONADIC LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2024, v. 53, n. 2, p. 223, doi. 10.18778/0138-0680.2024.03
- By:
- Publication type:
- Article
FUZZY SUB-EQUALITY ALGEBRAS BASED ON FUZZY POINTS.
- Published in:
- Bulletin of the Section of Logic, 2024, v. 53, n. 2, p. 195, doi. 10.18778/0138-0680.2023.31
- By:
- Publication type:
- Article
SOME LOGICS IN THE VICINITY OF INTERPRETABILITY LOGICS.
- Published in:
- Bulletin of the Section of Logic, 2024, v. 53, n. 2, p. 173, doi. 10.18778/0138-0680.2023.26
- By:
- Publication type:
- Article
SUP-HESITANT FUZZY INTERIOR IDEALS IN Γ-SEMIGROUPS.
- Published in:
- Bulletin of the Section of Logic, 2024, v. 53, n. 2, p. 155, doi. 10.18778/0138-0680.2024.09
- By:
- Publication type:
- Article