Works matching IS 13670751 AND DT 2019 AND VI 27 AND IP 1
Results: 7
Yet another paradefinite logic: The role of conflation 1.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 93, doi. 10.1093/jigpal/jzy023
- By:
- Publication type:
- Article
Two decision problems in Contact Logics.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 8, doi. 10.1093/jigpal/jzy016
- By:
- Publication type:
- Article
Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 69, doi. 10.1093/jigpal/jzy019
- By:
- Publication type:
- Article
Propositional intuitionistic multiple-conclusion calculus via proof graphs.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 33, doi. 10.1093/jigpal/jzy017
- By:
- Publication type:
- Article
Complexity of the interpretability logic IL.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 1, doi. 10.1093/jigpal/jzy015
- By:
- Publication type:
- Article
Complexity of finite-variable fragments of propositional modal logics of symmetric frames.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 60, doi. 10.1093/jigpal/jzy018
- By:
- Publication type:
- Article
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017).
- Published in:
- 2019
- By:
- Publication type:
- Proceeding