On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 288, doi. 10.1093/jigpal/jzw006
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2016 AND VI 24 AND IP 3
Results: 10
1
2
Non-commutative classical arithmetical sequent calculi are intuitionistic.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 441, doi. 10.1093/jigpal/jzw007
- By:
- Publication type:
- Article
3
Grafting hypersequents onto nested sequents.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 375, doi. 10.1093/jigpal/jzw005
- By:
- Publication type:
- Article
4
On the parallel computation thesis.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 346, doi. 10.1093/jigpal/jzw008
- By:
- Publication type:
- Article
5
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 321, doi. 10.1093/jigpal/jzw009
- By:
- Publication type:
- Article
6
Some relevance logics from the point of view of relational semantics.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 268, doi. 10.1093/jigpal/jzw003
- By:
- Publication type:
- Article
7
Weak arithmetical interpretations for the Logic of Proofs.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 424, doi. 10.1093/jigpal/jzw002
- By:
- Publication type:
- Article
8
Representing strategic games and their equilibria in many-valued logics.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 238, doi. 10.1093/jigpal/jzw004
- By:
- Publication type:
- Article
9
Skolemization in intermediate logics with the finite model property.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 224, doi. 10.1093/jigpal/jzw010
- By:
- Publication type:
- Article
10
Preface.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 221, doi. 10.1093/jigpal/jzw001
- By:
- Publication type:
- Article