Generalized Kripke semantics for the Lambek–Grishin calculus.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1110, doi. 10.1093/jigpal/jzr051
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2012 AND VI 20 AND IP 6
Results: 13
1
2
Computer-assisted human-oriented inductive theorem proving by descente infinie—a manifesto.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1046, doi. 10.1093/jigpal/jzr048
- By:
- Publication type:
- Article
3
Meta-variables as infinite lists in nominal terms unification and rewriting.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 967, doi. 10.1093/jigpal/jzs005
- By:
- Publication type:
- Article
4
Three interpolation theorems for typeless logics.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1001, doi. 10.1093/jigpal/jzq048
- By:
- Publication type:
- Article
5
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1083, doi. 10.1093/jigpal/jzr050
- By:
- Publication type:
- Article
6
Two old representation theorems and Information Systems.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1038, doi. 10.1093/jigpal/jzr036
- By:
- Publication type:
- Article
7
A unification of the basic logics of Sambin and Visser.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1202, doi. 10.1093/jigpal/jzs002
- By:
- Publication type:
- Article
8
An application of a theorem of Rothmaler.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1214, doi. 10.1093/jigpal/jzs003
- By:
- Publication type:
- Article
9
Normal and complete Boolean ambiguity algebras and MV-pairs1.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1133, doi. 10.1093/jigpal/jzr052
- By:
- Publication type:
- Article
10
Some variants of Vaught's conjecture from the perspective of algebraic logic.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1064, doi. 10.1093/jigpal/jzr049
- By:
- Publication type:
- Article
11
Hyperidentities of De Morgan algebras.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1153, doi. 10.1093/jigpal/jzr053
- By:
- Publication type:
- Article
12
18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011).
- Published in:
- 2012
- Publication type:
- Proceeding
13
Decidability and complexity for ω-regular properties of stochastic systems.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1175, doi. 10.1093/jigpal/jzr054
- By:
- Publication type:
- Article