Works matching IS 00393215 AND DT 2010 AND VI 96 AND IP 1
Results: 7
An Intuitionistic Completeness Theorem for Classical Predicate Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 109, doi. 10.1007/s11225-010-9273-3
- By:
- Publication type:
- Article
Monadic Bounded Algebras.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 1, doi. 10.1007/s11225-010-9269-z
- By:
- Publication type:
- Article
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 95, doi. 10.1007/s11225-010-9275-1
- By:
- Publication type:
- Article
First-Order Reasoning and Primitive Recursive Natural Number Notations.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 49, doi. 10.1007/s11225-010-9272-4
- By:
- Publication type:
- Article
Functional Monadic Bounded Algebras.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 41, doi. 10.1007/s11225-010-9271-5
- By:
- Publication type:
- Article
Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal Logic.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
Priestley Duality for Paraconsistent Nelson’s Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 65, doi. 10.1007/s11225-010-9274-2
- By:
- Publication type:
- Article