Pages that link to "Item:Q5798021"
From MaRDI portal
The following pages link to Completeness in the theory of types (Q5798021):
Displaying 50 items.
- On definitions of constants and types in HOL (Q287358) (← links)
- Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation (Q287361) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- An alternate proof of Statman's finite completeness theorem (Q436624) (← links)
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- Agnostic hyperintensional semantics (Q514078) (← links)
- Reduction and Tarski's definition of logical consequence (Q558729) (← links)
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- A higher-order theory of presupposition (Q692197) (← links)
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- On fuzzy type theory (Q703370) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Undecidable problems of elementary number theory (Q769606) (← links)
- Kripke-style models for typed lambda calculus (Q804559) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- A formal theory of intermediate quantifiers (Q835126) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- An admissible semantics for propositionally quantified relevant logics (Q848213) (← links)
- A `natural logic' inference system using the Lambek calculus (Q851198) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- Abstract deduction and inferential models for type theory (Q988551) (← links)
- Elimination problems in logic: a brief history (Q1024114) (← links)
- ``The true'' in Gottlob Frege's ``Über die Grundlagen der Geometrie'' (Q1060202) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Frege's double correlation thesis and Quine's set theories NF and ML (Q1076005) (← links)
- Non-standard algorithmic and dynamic logic (Q1077159) (← links)
- Polymorphic type inference and containment (Q1110312) (← links)
- Elementary categorial logic, predicates of variable degree, and theory of quantity (Q1121258) (← links)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- From types to sets (Q1140642) (← links)
- Intuitionist type theory and foundations (Q1152364) (← links)
- A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan (Q1163535) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- Unification under a mixed prefix (Q1201348) (← links)
- Universal semantics? (Q1228604) (← links)
- Mechanizing \(\omega\)-order type theory through unification (Q1239309) (← links)
- Simply-typed underdeterminism (Q1273067) (← links)
- The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion (Q1293044) (← links)
- Hybrid terms and sentences (Q1313083) (← links)
- Carnap's work in the foundations of logic and mathematics in a historical perspective (Q1313378) (← links)
- A simple type theory with partial functions and subtypes (Q1314643) (← links)
- IMPS: An interactive mathematical proof system (Q1319391) (← links)
- Are the traditional philosophies of mathematics really incompatible? (Q1323041) (← links)
- Schrödinger logics (Q1338481) (← links)
- A semantics for \(\lambda \)Prolog (Q1349686) (← links)
