Free Łukasiewicz implication algebras.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 1, p. 25, doi. 10.1007/s00153-008-0067-5
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2008 AND VI 47 AND IP 1
Results: 7
1
2
Pavelka-style completeness in expansions of Łukasiewicz logic.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 1, p. 15, doi. 10.1007/s00153-008-0064-8
- By:
- Publication type:
- Article
3
Some weak fragments of Martin’s axiom related to the rectangle refining property.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 1, p. 79, doi. 10.1007/s00153-008-0075-5
- By:
- Publication type:
- Article
4
On a question of Pereira.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 1, p. 53, doi. 10.1007/s00153-008-0070-x
- By:
- Publication type:
- Article
5
On meta complexity of propositional formulas and propositional proofs.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 1, p. 35, doi. 10.1007/s00153-008-0068-4
- By:
- Publication type:
- Article
6
On two problems concerning end extensions.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 1, p. 1, doi. 10.1007/s00153-007-0055-1
- By:
- Publication type:
- Article
7
An L-like model containing very large cardinals.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 1, p. 65, doi. 10.1007/s00153-008-0071-9
- By:
- Publication type:
- Article