Works matching IS 09335846 AND DT 2013 AND VI 52 AND IP 7/8
Results: 13
A short proof of Glivenko theorems for intermediate predicate logics.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 823, doi. 10.1007/s00153-013-0346-7
- By:
- Publication type:
- Article
Generalized Bosbach states: Part II.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 707, doi. 10.1007/s00153-013-0339-6
- By:
- Publication type:
- Article
A proof-search procedure for intuitionistic propositional logic.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 759, doi. 10.1007/s00153-013-0342-y
- By:
- Publication type:
- Article
Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 689, doi. 10.1007/s00153-013-0338-7
- By:
- Publication type:
- Article
Maximally embeddable components.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 793, doi. 10.1007/s00153-013-0344-9
- By:
- Publication type:
- Article
Co-analytic mad families and definable wellorders.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 809, doi. 10.1007/s00153-013-0345-8
- By:
- Publication type:
- Article
Simple groups and the number of countable models.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 779, doi. 10.1007/s00153-013-0343-x
- By:
- Publication type:
- Article
On a problem of Ishmukhametov.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 733, doi. 10.1007/s00153-013-0340-0
- By:
- Publication type:
- Article
Traces, traceability, and lattices of traces under the set theoretic inclusion.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 847, doi. 10.1007/s00153-013-0348-5
- By:
- Publication type:
- Article
Strongly dominating sets of reals.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 827, doi. 10.1007/s00153-013-0347-6
- By:
- Publication type:
- Article
On predicate provability logics and binumerations of fragments of Peano arithmetic.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 871, doi. 10.1007/s00153-013-0349-4
- By:
- Publication type:
- Article
On VC-minimal theories and variants.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 743, doi. 10.1007/s00153-013-0341-z
- By:
- Publication type:
- Article
Labeled sequent calculi for modal logics and implicit contractions.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 881, doi. 10.1007/s00153-013-0350-y
- By:
- Publication type:
- Article