Temporal Gödel-Gentzen and Girard translations.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 66, doi. 10.1002/malq.201100083
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2013 AND VI 59 AND IP 1/2
Results: 15
1
2
A consistency proof for some restrictions of Tait's reflection principles.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 112, doi. 10.1002/malq.201200015
- By:
- Publication type:
- Article
3
Computing links and accessing arcs.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 101, doi. 10.1002/malq.201200026
- By:
- Publication type:
- Article
4
Issue Information.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. n/a, doi. 10.1002/malq.201390001
- Publication type:
- Article
5
Quantum computational logic with mixed states.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 27, doi. 10.1002/malq.201110030
- By:
- Publication type:
- Article
6
Complexity and expressive power of second-order extended Horn logic.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 4, doi. 10.1002/malq.201110034
- By:
- Publication type:
- Article
7
Two remarks on elementary theories of groups obtained by free constructions.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 12, doi. 10.1002/malq.201200010
- By:
- Publication type:
- Article
8
Ordinal operations on graph representations of sets.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 19, doi. 10.1002/malq.201100082
- By:
- Publication type:
- Article
9
On the strength of Ramsey's theorem without Σ<sub>1</sub>-induction.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 108, doi. 10.1002/malq.201200047
- By:
- Publication type:
- Article
10
On a classification of theories without the independence property.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 119, doi. 10.1002/malq.201020060
- By:
- Publication type:
- Article
11
Cover Picture.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. n/a, doi. 10.1002/malq.201390000
- Publication type:
- Article
12
Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 84, doi. 10.1002/malq.201100100
- By:
- Publication type:
- Article
13
Contents: (Math. Log. Quart. 1-2/2013).
- Published in:
- 2013
- Publication type:
- Table of Contents
14
Remarks on gaps in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathrm{Dense}(\mathbb {Q})/\mathbf {nwd}}$\end{document}.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 51, doi. 10.1002/malq.201110047
- By:
- Publication type:
- Article
15
A remark on the definability of the Fitting subgroup and the soluble radical.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 62, doi. 10.1002/malq.201200038
- By:
- Publication type:
- Article