Found: 108
Select item for more details and to access through your institution.
Nine Explananda in Search of an Explanans.
- Published in:
- Journal of Aesthetics & Art Criticism, 2023, v. 81, n. 4, p. 444, doi. 10.1093/jaac/kpad044
- By:
- Publication type:
- Article
Unrestricted quantification and ranges of significance.
- Published in:
- Philosophical Studies, 2023, v. 180, n. 5/6, p. 1579, doi. 10.1007/s11098-022-01776-8
- By:
- Publication type:
- Article
Ramified structure.
- Published in:
- Philosophical Studies, 2023, v. 180, n. 5/6, p. 1651, doi. 10.1007/s11098-022-01780-y
- By:
- Publication type:
- Article
INTERNAL PARAMETRICITY FOR CUBICAL TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:5)2021
- By:
- Publication type:
- Article
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms.
- Published in:
- Journal of Philosophical Logic, 2019, v. 48, n. 3, p. 553, doi. 10.1007/s10992-018-9484-z
- By:
- Publication type:
- Article
Anatomy of a proposition.
- Published in:
- Synthese, 2019, v. 196, n. 4, p. 1285, doi. 10.1007/s11229-017-1512-y
- By:
- Publication type:
- Article
Truth, Predication and a Family of Contingent Paradoxes.
- Published in:
- Journal of Philosophical Logic, 2019, v. 48, n. 1, p. 113, doi. 10.1007/s10992-018-9480-3
- By:
- Publication type:
- Article
FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1132, doi. 10.1017/jsl.2017.84
- By:
- Publication type:
- Article
EXISTENTIAL IMPORT AND RELATIONS OF CATEGORICAL AND MODAL CATEGORICAL STATEMENTS.
- Published in:
- Logic & Logical Philosophy, 2018, v. 27, n. 3, p. 271, doi. 10.12775/LLP.2017.026
- By:
- Publication type:
- Article
Grounding as a Side‐Effect of Grounding.
- Published in:
- Topics in Cognitive Science, 2018, v. 10, n. 2, p. 389, doi. 10.1111/tops.12317
- By:
- Publication type:
- Article
A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 1, p. 90, doi. 10.1017/bsl.2018.4
- By:
- Publication type:
- Article
Natural models of homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 2, p. 241, doi. 10.1017/S0960129516000268
- By:
- Publication type:
- Article
ALGORITHMIC THEORIES OF PROBLEMS A constructive and a non-constructive approach.
- Published in:
- Logic & Logical Philosophy, 2017, v. 26, n. 4, p. 473, doi. 10.12775/LLP.2017.010
- By:
- Publication type:
- Article
Contents: (Math. Log. Quart. 5/2017).
- Published in:
- Mathematical Logic Quarterly, 2017, v. 63, n. 5, p. 317, doi. 10.1002/malq.201770052
- Publication type:
- Article
Decreasing sentences in Simple Type Theory.
- Published in:
- Mathematical Logic Quarterly, 2017, v. 63, n. 5, p. 342, doi. 10.1002/malq.201500093
- By:
- Publication type:
- Article
Types, Tokens, and Talk about Musical Works.
- Published in:
- Journal of Aesthetics & Art Criticism, 2017, v. 75, n. 3, p. 249, doi. 10.1111/jaac.12386
- By:
- Publication type:
- Article
A minimalistic many-valued theory of types.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1307, doi. 10.1093/logcom/exw006
- By:
- Publication type:
- Article
An open logical framework.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 293, doi. 10.1093/logcom/ext028
- By:
- Publication type:
- Article
A general Kastler-Kalau-Walze type theorem for manifolds with boundary.
- Published in:
- International Journal of Geometric Methods in Modern Physics, 2016, v. 13, n. 1, p. -1, doi. 10.1142/S0219887816500031
- By:
- Publication type:
- Article
Fields of definition and Belyi type theorems for curves and surfaces.
- Published in:
- New York Journal of Mathematics, 2016, v. 22, p. 823
- By:
- Publication type:
- Article
Visions of Henkin.
- Published in:
- Synthese, 2015, v. 192, n. 7, p. 2123, doi. 10.1007/s11229-013-0389-7
- By:
- Publication type:
- Article
Homotopy limits in type theory.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1040, doi. 10.1017/S0960129514000498
- By:
- Publication type:
- Article
A generalization of the Takeuti–Gandy interpretation.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1071, doi. 10.1017/S0960129514000504
- By:
- Publication type:
- Article
W-types in homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1100, doi. 10.1017/S0960129514000516
- By:
- Publication type:
- Article
A dependently-typed construction of semi-simplicial types.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1116, doi. 10.1017/S0960129514000528
- By:
- Publication type:
- Article
An experimental library of formalized Mathematics based on the univalent foundations.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1278, doi. 10.1017/S0960129514000577
- By:
- Publication type:
- Article
Type-theoretic logic with an operational account of intensionality.
- Published in:
- Synthese, 2015, v. 192, n. 3, p. 563, doi. 10.1007/s11229-013-0390-1
- By:
- Publication type:
- Article
HOMOTOPY TYPE THEORY AND VOEVODSKY'S UNIVALENT FOUNDATIONS.
- Published in:
- Bulletin (New Series) of the American Mathematical Society, 2014, v. 51, n. 4, p. 597, doi. 10.1090/S0273-0979-2014-01456-9
- By:
- Publication type:
- Article
The biequivalence of locally cartesian closed categories and Martin-Löf type theories.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 5, p. N.PAG, doi. 10.1017/S0960129513000881
- By:
- Publication type:
- Article
A Widder's Type Theorem for the Heat Equation with Nonlocal Diffusion.
- Published in:
- Archive for Rational Mechanics & Analysis, 2014, v. 213, n. 2, p. 629, doi. 10.1007/s00205-014-0733-1
- By:
- Publication type:
- Article
CONSTRUCTING CATEGORIES AND SETOIDS OF SETOIDS IN TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 3, p. 1, doi. 10.2168/LMCS-10(3:25)2014
- By:
- Publication type:
- Article
Towards transfinite type theory: rereading Tarski's Wahrheitsbegriff.
- Published in:
- Synthese, 2014, v. 191, n. 10, p. 2281, doi. 10.1007/s11229-014-0399-0
- By:
- Publication type:
- Article
Type theory and socionic: are the complementary theories?
- Published in:
- Humanities & Social Science (1407-9291), 2014, n. 22, p. 47
- By:
- Publication type:
- Article
GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 485, doi. 10.1017/jsl.2013.10
- By:
- Publication type:
- Article
Liouville type theorems for a system of integral equations on upper half space.
- Published in:
- Acta Mathematica Sinica, 2014, v. 30, n. 2, p. 261, doi. 10.1007/s10114-014-3071-1
- By:
- Publication type:
- Article
CONSTRUCTIVE TYPE THEORY AND THE DIALOGICAL APPROACH TO MEANING.
- Published in:
- Baltic International Yearbook of Cognition, Logic & Communication, 2013, v. 8, p. 1, doi. 10.4148/1944-3676.1077
- By:
- Publication type:
- Article
Idris, a general-purpose dependently typed programming language: Design and implementation.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 5, p. 552, doi. 10.1017/S095679681300018X
- By:
- Publication type:
- Article
ON CONWAY-GORDON TYPE THEOREMS FOR GRAPHS IN THE PETERSEN FAMILY.
- Published in:
- Journal of Knot Theory & Its Ramifications, 2013, v. 22, n. 9, p. -1, doi. 10.1142/S021821651350048X
- By:
- Publication type:
- Article
Complexity of existential positive first-order logic.
- Published in:
- Journal of Logic & Computation, 2013, v. 23, n. 4, p. 753, doi. 10.1093/logcom/exr043
- By:
- Publication type:
- Article
TOWARDS A CALCULUS FOR NONDETERMINISTIC SCHEMAS IN Z.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2012, v. 22, n. 6, p. 839, doi. 10.1142/S0218194012500222
- By:
- Publication type:
- Article
Russell's Relations, Wittgenstein's Objects, and the Theory of Types.
- Published in:
- Teorema, 2012, v. 31, n. 2, p. 21
- By:
- Publication type:
- Article
Proof-relevance of families of setoids and identity in type theory.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 35, doi. 10.1007/s00153-011-0252-9
- By:
- Publication type:
- Article
Constructing a small category of setoids.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. 103, doi. 10.1017/S0960129511000478
- By:
- Publication type:
- Article
Assertion and grounding: a theory of assertion for constructive type theory.
- Published in:
- Synthese, 2011, v. 183, n. 2, p. 187, doi. 10.1007/s11229-010-9758-7
- By:
- Publication type:
- Article
Reflections on Concrete Incompleteness†.
- Published in:
- Philosophia Mathematica, 2011, v. 19, n. 3, p. 255, doi. 10.1093/philmat/nkr016
- By:
- Publication type:
- Article
On definability of types of finite Cantor-Bendixson rank.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 3, p. 256, doi. 10.1002/malq.200910134
- By:
- Publication type:
- Article
Why Knowledge Should Not Be Typed: An Argument against the Type Solution to the Knowability Paradox.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 2011, v. 77, n. 2, p. 180, doi. 10.1111/j.1755-2567.2011.01100.x
- By:
- Publication type:
- Article
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 351, doi. 10.1093/logcom/exq017
- By:
- Publication type:
- Article
Linear type theory for asynchronous session types.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 1, p. 19, doi. 10.1017/S0956796809990268
- By:
- Publication type:
- Article
Algebra of programming in Agda: Dependent types for relational program derivation.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 5, p. 545, doi. 10.1017/S0956796809007345
- By:
- Publication type:
- Article