Found: 15
Select item for more details and to access through your institution.
Topological duality for orthomodular lattices.
- Published in:
- Mathematical Logic Quarterly, 2023, v. 69, n. 2, p. 174, doi. 10.1002/malq.202200044
- By:
- Publication type:
- Article
Leibniz on Binary: The Invention of Computer Arithmetic.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021.
- Published in:
- 2021
- By:
- Publication type:
- Obituary
Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism.
- Published in:
- 2020
- By:
- Publication type:
- Book Review
Philosophy and Model Theory.
- Published in:
- 2019
- By:
- Publication type:
- Book Review
Some relevance logics from the point of view of relational semantics.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 268, doi. 10.1093/jigpal/jzw003
- By:
- Publication type:
- Article
Current Trends in Substructural Logics.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 609, doi. 10.1007/s10992-015-9346-x
- By:
- Publication type:
- Article
ON THE DECIDABILITY OF IMPLICATIONAL TICKET ENTAILMENT.
- Published in:
- Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 214, doi. 10.2178/jsl.7801150
- By:
- Publication type:
- Article
Schönfinkel-type Operators for Classical Logic.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 355, doi. 10.1007/s11225-010-9265-3
- By:
- Publication type:
- Article
RELEVANCE LOGICS AND RELATION ALGEBRAS.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 1, p. 102, doi. 10.1017/S1755020309090145
- By:
- Publication type:
- Article
$$ LE^{t}_{ \to } $$ , $$LR^{ \circ }_{{\widehat{ \sim }}}$$ , LK and Cutfree Proofs.
- Published in:
- Journal of Philosophical Logic, 2007, v. 36, n. 5, p. 557, doi. 10.1007/s10992-007-9048-0
- By:
- Publication type:
- Article
Admissibility of Cut in LC with Fixed Point Combinator.
- Published in:
- Studia Logica, 2005, v. 81, n. 3, p. 399, doi. 10.1007/s11225-005-4651-y
- By:
- Publication type:
- Article
Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms.
- Published in:
- Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 607, doi. 10.1007/s10992-005-2831-x
- By:
- Publication type:
- Article
Semantics for Dual and Symmetric Combinatory Calculi.
- Published in:
- Journal of Philosophical Logic, 2004, v. 33, n. 2, p. 125, doi. 10.1023/B:LOGI.0000021709.73522.34
- By:
- Publication type:
- Article
Investigation into Combinatory Systems with Dual Combinators.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 285, doi. 10.1023/A:1005252431462
- By:
- Publication type:
- Article