Logics of varieties, logics of semilattices and conjunction.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 818, doi. 10.1093/jigpal/jzu003
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2014 AND VI 22 AND IP 6
Results: 14
1
2
A propositional system induced by Japaridze's approach to IF logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 982
- By:
- Publication type:
- Article
3
Logics for complexity classes.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 1075, doi. 10.1093/jigpal/jzu027
- By:
- Publication type:
- Article
4
A bisimulation characterization for interpretability logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 872, doi. 10.1093/jigpal/jzu015
- By:
- Publication type:
- Article
5
A tableaux-like method to infer all minimal keys.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 1019, doi. 10.1093/jigpal/jzu025
- By:
- Publication type:
- Article
6
Justifying induction on modal μ-formulae.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 805, doi. 10.1093/jigpal/jzu001
- By:
- Publication type:
- Article
7
Adaptive logics: a parametric approach.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 905, doi. 10.1093/jigpal/jzu017
- By:
- Publication type:
- Article
8
Conferences.
- Published in:
- 2014
- By:
- Publication type:
- Proceeding
9
An axiomatic approach to maintaining the consistency of a hypermedia information system based on the SEM-HP model.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 1045, doi. 10.1093/jigpal/jzu026
- By:
- Publication type:
- Article
10
Connexive Gentzen.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 964, doi. 10.1093/jigpal/jzu019
- By:
- Publication type:
- Article
11
Characterizing intermediate tense logics in terms of Galois connections.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 992, doi. 10.1093/jigpal/jzu024
- By:
- Publication type:
- Article
12
Quasi-subtractive varieties: Open filters, congruences and the commutator.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 844, doi. 10.1093/jigpal/jzu006
- By:
- Publication type:
- Article
13
Well-orders in the transfinite Japaridze algebra.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 933, doi. 10.1093/jigpal/jzu018
- By:
- Publication type:
- Article
14
Logics of formal inconsistency arising from systems of fuzzy logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 880, doi. 10.1093/jigpal/jzu016
- By:
- Publication type:
- Article