Works matching IS 00393215 AND DT 2005 AND VI 81 AND IP 3
Results: 8
Frames and MV-algebras.
- Published in:
- Studia Logica, 2005, v. 81, n. 3, p. 357, doi. 10.1007/s11225-005-4649-5
- By:
- Publication type:
- Article
Contents of Volume 81.
- Published in:
- Studia Logica, 2005, v. 81, n. 3, p. 429, doi. 10.1007/s11225-005-4653-9
- Publication type:
- Article
Some Results on Modal Axiomatization and Definability for Topological Spaces.
- Published in:
- Studia Logica, 2005, v. 81, n. 3, p. 325, doi. 10.1007/s11225-005-4648-6
- By:
- Publication type:
- Article
Admissibility of Cut in LC with Fixed Point Combinator.
- Published in:
- Studia Logica, 2005, v. 81, n. 3, p. 399, doi. 10.1007/s11225-005-4651-y
- By:
- Publication type:
- Article
Axiomatic Extensions of IMT3 Logic.
- Published in:
- Studia Logica, 2005, v. 81, n. 3, p. 311, doi. 10.1007/s11225-005-4647-7
- By:
- Publication type:
- Article
Melvin Fitting, Types Tableaus and Gödel's God.
- Published in:
- Studia Logica, 2005, v. 81, n. 3, p. 425, doi. 10.1007/s11225-005-4652-x
- By:
- Publication type:
- Article
On Modal Logics of Partial Recursive Functions.
- Published in:
- Studia Logica, 2005, v. 81, n. 3, p. 295, doi. 10.1007/s11225-005-4646-8
- By:
- Publication type:
- Article
Groups and Plane Geometry.
- Published in:
- Studia Logica, 2005, v. 81, n. 3, p. 387, doi. 10.1007/s11225-005-4650-z
- By:
- Publication type:
- Article