Works matching IS 13670751 AND DT 2014 AND VI 22 AND IP 3
Results: 8
Randomized game semantics for semi-fuzzy quantifiers.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 413, doi. 10.1093/jigpal/jzt049
- By:
- Publication type:
- Article
On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 482, doi. 10.1093/jigpal/jzt045
- By:
- Publication type:
- Article
An expansion of first-order Belnap–Dunn logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 458, doi. 10.1093/jigpal/jzt044
- By:
- Publication type:
- Article
Editorial: Special issue on non-classical modal and predicate logics.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 411, doi. 10.1093/jigpal/jzt040
- By:
- Publication type:
- Article
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 494, doi. 10.1093/jigpal/jzt042
- By:
- Publication type:
- Article
Erratum to the title of Logic Journal of the IGPL Volume 22 Issue 2: The Proceedings of the XVI EBL—16th Brazilian Logic Conference, 2011 Special Issue.
- Published in:
- 2014
- Publication type:
- Correction Notice
Erratum to the table of contents for Logic Journal of the IGPL Volume 22 Issue 3: Non-Classical Modal and Predicate Logics Special Issue.
- Published in:
- 2014
- Publication type:
- Correction Notice
Modal twist-structures over residuated lattices.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 440, doi. 10.1093/jigpal/jzt043
- By:
- Publication type:
- Article