Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 157, doi. 10.1007/s11225-012-9370-6
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2013 AND VI 101 AND IP 1
Results: 11
1
2
Curry's Paradox and ω -Inconsistency.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 1, doi. 10.1007/s11225-012-9373-3
- By:
- Publication type:
- Article
3
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 31, doi. 10.1007/s11225-011-9366-7
- By:
- Publication type:
- Article
4
Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 95, doi. 10.1007/s11225-012-9369-z
- By:
- Publication type:
- Article
5
Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 65, doi. 10.1007/s11225-012-9372-4
- By:
- Publication type:
- Article
6
Book Reviews.
- Published in:
- 2013
- By:
- Publication type:
- Book Review
7
The Variety Generated by all the Ordinal Sums of Perfect MV-Chains.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 11, doi. 10.1007/s11225-012-9371-5
- By:
- Publication type:
- Article
8
Negative Translations Not Intuitionistically Equivalent to the Usual Ones.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 45, doi. 10.1007/s11225-011-9367-6
- By:
- Publication type:
- Article
9
Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99.
- Published in:
- 2013
- By:
- Publication type:
- Book Review
10
Importing Logics: Soundness and Completeness Preservation.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 117, doi. 10.1007/s11225-011-9363-x
- By:
- Publication type:
- Article
11
Systems of Quantum Logic.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 193, doi. 10.1007/s11225-011-9364-9
- By:
- Publication type:
- Article