Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 153, doi. 10.1002/malq.200710021
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2008 AND VI 54 AND IP 2
Results: 10
1
2
Generating ultrafilters in a reasonable way.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 202, doi. 10.1002/malq.200610055
- By:
- Publication type:
- Article
3
Contents: Math. Log. Quart. 2/2008.
- Published in:
- 2008
- Publication type:
- Table of Contents
4
The axiom of choice and the law of excluded middle in weak set theories.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 194, doi. 10.1002/malq.200710030
- By:
- Publication type:
- Article
5
Generic cuts in models of arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 129, doi. 10.1002/malq.200710017
- By:
- Publication type:
- Article
6
The stationary set splitting game.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 187, doi. 10.1002/malq.200610054
- By:
- Publication type:
- Article
7
A definable nonstandard enlargement.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 167, doi. 10.1002/malq.200710022
- By:
- Publication type:
- Article
8
n -fold filters in BL-algebras.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 176, doi. 10.1002/malq.200710029
- By:
- Publication type:
- Article
9
On countable choice and sequential spaces.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 145, doi. 10.1002/malq.200710018
- By:
- Publication type:
- Article
10
Editorial: Math. Log. Quart. 2/2008.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 128, doi. 10.1002/malq.200890001
- By:
- Publication type:
- Article