Works matching IS 00393215 AND DT 2017 AND VI 105 AND IP 3
Results: 11
Distributivity for Upper Continuous and Strongly Atomic Lattices.
- Published in:
- Studia Logica, 2017, v. 105, n. 3, p. 471, doi. 10.1007/s11225-016-9697-5
- By:
- Publication type:
- Article
A Geometrical Representation of the Basic Laws of Categorial Grammar.
- Published in:
- Studia Logica, 2017, v. 105, n. 3, p. 479, doi. 10.1007/s11225-016-9698-4
- By:
- Publication type:
- Article
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic.
- Published in:
- Studia Logica, 2017, v. 105, n. 3, p. 521, doi. 10.1007/s11225-016-9699-3
- By:
- Publication type:
- Article
Variants of Gödel's Ontological Proof in a Natural Deduction Calculus.
- Published in:
- Studia Logica, 2017, v. 105, n. 3, p. 553, doi. 10.1007/s11225-016-9700-1
- By:
- Publication type:
- Article
Metamathematical Properties of a Constructive Multi-typed Theory.
- Published in:
- Studia Logica, 2017, v. 105, n. 3, p. 587, doi. 10.1007/s11225-016-9701-0
- By:
- Publication type:
- Article
A Proof-Theoretic Bound Extraction Theorem for CAT $$(\kappa )$$ -Spaces.
- Published in:
- Studia Logica, 2017, v. 105, n. 3, p. 611, doi. 10.1007/s11225-016-9702-z
- By:
- Publication type:
- Article
Proof Analysis of Peirce's Alpha System of Graphs.
- Published in:
- Studia Logica, 2017, v. 105, n. 3, p. 625, doi. 10.1007/s11225-016-9703-y
- By:
- Publication type:
- Article
Rasiowa-Harrop Disjunction Property.
- Published in:
- Studia Logica, 2017, v. 105, n. 3, p. 649, doi. 10.1007/s11225-016-9704-x
- By:
- Publication type:
- Article
William Ewald and Wilfried Sieg (eds.), Michael Hallett (associate ed.), David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933. In collaboration with Ulrich Majer and Dirk Schlimm (David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933, Vol. 3), Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 (hardcover) $129.00, (Kindle) $86.37.
- Published in:
- 2017
- By:
- Publication type:
- Book Review
Norihiro Kamide and Heinrich Wansing, Proof Theory of N4-related Paraconsistent Logics. Studies in Logic vol. 54. College Publications, 2015, pp. 414. ISBN-13: 978-1848901674 (paperback) $20.50.
- Published in:
- 2017
- By:
- Publication type:
- Book Review
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics.
- Published in:
- Studia Logica, 2017, v. 105, n. 3, p. 439, doi. 10.1007/s11225-016-9696-6
- By:
- Publication type:
- Article