A Sequent Calculus for a Negative Free Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 331, doi. 10.1007/s11225-010-9293-z
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2010 AND VI 96 AND IP 3
Results: 6
1
2
On the Proof-Theory of two Formalisations of Modal First-Order Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 349, doi. 10.1007/s11225-010-9294-y
- By:
- Publication type:
- Article
3
Congruences on a Balanced Pseudocomplemented Ockham Algebra whose Quotient Algebras are Boolean.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 421, doi. 10.1007/s11225-010-9292-0
- By:
- Publication type:
- Article
4
Book Reviews.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
5
Theories of Truth without Standard Models and Yablo's Sequences.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 375, doi. 10.1007/s11225-010-9289-8
- By:
- Publication type:
- Article
6
Completeness of a Branching-Time Logic with Possible Choices.
- Published in:
- Studia Logica, 2010, v. 96, n. 3, p. 393, doi. 10.1007/s11225-010-9291-1
- By:
- Publication type:
- Article