Algorithms in cognition, informatics and logic.
- Published in:
- 2010
- By:
- Publication type:
- Editorial
Works matching IS 13670751 AND DT 2010 AND VI 18 AND IP 6
Results: 12
1
2
Author’s response to Wansing and Belnap’s Generalized truth-values.
- Published in:
- 2010
- By:
- Publication type:
- Opinion
3
Multimodal and intuitionistic logics in simple type theory1.
- Published in:
- Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 881, doi. 10.1093/jigpal/jzp080
- By:
- Publication type:
- Article
4
Fusion of sequent modal logic systems labelled with truth values.
- Published in:
- Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 893, doi. 10.1093/jigpal/jzp081
- By:
- Publication type:
- Article
5
On distance-based inconsistency reduction algorithms for pairwise comparisons.
- Published in:
- Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 859, doi. 10.1093/jigpal/jzp062
- By:
- Publication type:
- Article
6
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.
- Published in:
- Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 769, doi. 10.1093/jigpal/jzq006
- By:
- Publication type:
- Article
7
Intuitionistic propositional logic with Galois connections.
- Published in:
- Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 837, doi. 10.1093/jigpal/jzp057
- By:
- Publication type:
- Article
8
Generalized truth values.
- Published in:
- 2010
- By:
- Publication type:
- Opinion
9
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 950, doi. 10.1093/jigpal/jzq045
- Publication type:
- Article
10
Logics of Kripke meta-models.
- Published in:
- Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 823, doi. 10.1093/jigpal/jzp047
- By:
- Publication type:
- Article
11
Bisimulations and bisimulation quotients of generalized Veltman models.
- Published in:
- Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 870, doi. 10.1093/jigpal/jzp067
- By:
- Publication type:
- Article
12
17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010).
- Published in:
- 2010
- By:
- Publication type:
- Proceeding