Contracting Intuitionistic Theories.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 369, doi. 10.1007/s11225-005-8475-6
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2005 AND VI 80 AND IP 2/3
Results: 12
1
2
Negation in the Context of Gaggle Theory.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 235, doi. 10.1007/s11225-005-8470-y
- By:
- Publication type:
- Article
3
The Class of Extensions of Nelson's Paraconsistent Logic.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 291, doi. 10.1007/s11225-005-8472-9
- By:
- Publication type:
- Article
4
Contents of Volume 80.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 467, doi. 10.1007/s11225-005-8478-3
- Publication type:
- Article
5
From the Editors.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 153, doi. 10.1007/s11225-005-8467-6
- By:
- Publication type:
- Article
6
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 347, doi. 10.1007/s11225-005-8474-7
- By:
- Publication type:
- Article
7
Socratic Proofs and Paraconsistency: A Case Study.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 431, doi. 10.1007/s11225-005-8477-4
- By:
- Publication type:
- Article
8
Double-Negation Elimination in Some Propositional Logics.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 195, doi. 10.1007/s11225-005-8469-4
- By:
- Publication type:
- Article
9
Gentzen-Type Methods for Bilattice Negation.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 265, doi. 10.1007/s11225-005-8471-x
- By:
- Publication type:
- Article
10
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 393, doi. 10.1007/s11225-005-8476-5
- By:
- Publication type:
- Article
11
A Non-deterministic View on Non-classical Negations.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 159, doi. 10.1007/s11225-005-8468-5
- By:
- Publication type:
- Article
12
A First Order Nonmonotonic Extension of Constructive Logic.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 321, doi. 10.1007/s11225-005-8473-8
- By:
- Publication type:
- Article