Works matching IS 13670751 AND DT 2018 AND VI 26 AND IP 1
Results: 9
Some structural properties of quasi-degrees.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx058
- By:
- Publication type:
- Article
Automatic proof generation in an axiomatic system for CPL by means of the method of Socratic proofs.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx057
- By:
- Publication type:
- Article
Proof systems for BAT consequence relations.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx055
- By:
- Publication type:
- Article
Propositional superposition logic.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx054
- By:
- Publication type:
- Article
A comparison of classification strategies in rule-based classifiers.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx053
- By:
- Publication type:
- Article
On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx052
- By:
- Publication type:
- Article
On the structure theory of Łukasiewicz near semirings.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx044
- By:
- Publication type:
- Article
A decomposition-based method for solving the clustered vehicle routing problem.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx037
- By:
- Publication type:
- Article
The quantum logic of direct-sum decompositions: the dual to the quantum logic of subspaces.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx026
- By:
- Publication type:
- Article