Pages that link to "Item:Q1847766"

The following pages link to An introduction to mathematical logic and type theory: To truth through proof. (Q1847766):

Displaying 50 items.

• ETPS (Q18433) (← links)
• The structure of generalized intermediate syllogisms (Q279323) (← links)
• The higher-order prover \textsc{Leo}-II (Q287283) (← links)
• Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation (Q287361) (← links)
• Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic (Q346769) (← links)
• On good EQ-algebras (Q409738) (← links)
• Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
• A formal theory of generalized intermediate syllogisms (Q423141) (← links)
• Monotonicity inference for higher-order formulas (Q438558) (← links)
• On theorem prover-based testing (Q470025) (← links)
• Carnap's early semantics (Q486945) (← links)
• Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
• Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
• On fuzzy type theory (Q703370) (← links)
• A formal theory of intermediate quantifiers (Q835126) (← links)
• A comprehensive theory of trichotomous evaluative linguistic expressions (Q835271) (← links)
• Proving fairness and implementation correctness of a microkernel scheduler (Q835766) (← links)
• Logical structure of fuzzy IF-THEN rules (Q853465) (← links)
• TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
• What's right with a syntactic approach to theories and models? (Q907910) (← links)
• The seven virtues of simple type theory (Q946569) (← links)
• Combined reasoning by automated cooperation (Q946572) (← links)
• An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
• EQ-algebras (Q1043290) (← links)
• Non-commutative first-order EQ-logics (Q1697347) (← links)
• Carnap's early metatheory: scope and limits (Q1708750) (← links)
• Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
• Quantified multimodal logics in simple type theory (Q1945702) (← links)
• Higher-order quantifier elimination, counter simulations and fault-tolerant systems (Q2031422) (← links)
• Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers (Q2092450) (← links)
• Integral prefilters and integral EQ-algebras (Q2122478) (← links)
• Ideal theory on EQ-algebras (Q2142772) (← links)
• Parametric Church's thesis: synthetic computability without choice (Q2151397) (← links)
• State theory on bounded hyper EQ-algebras (Q2156456) (← links)
• The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many'' (Q2219168) (← links)
• Graded structures of opposition in fuzzy natural logic (Q2228352) (← links)
• Mechanized metatheory revisited (Q2323447) (← links)
• Subtypes in fuzzy type theory (Q2328911) (← links)
• Model-theoretic conservative extension for definitional theories (Q2333319) (← links)
• Analysis of generalized square of opposition with intermediate quantifiers (Q2350484) (← links)
• Extending Sledgehammer with SMT solvers (Q2351158) (← links)
• EQ-algebras from the point of view of generalized algebras with fuzzy equalities (Q2351584) (← links)
• Theory morphisms in Church's type theory with quotation and evaluation (Q2364672) (← links)
• Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
• Probabilities on sentences in an expressive logic (Q2446673) (← links)
• Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
• Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics (Q2817296) (← links)
• Monadic Sequence Testing and Explicit Test-Refinements (Q2827440) (← links)
• GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY (Q2921007) (← links)
• Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)