Pages that link to "Item:Q1847766"
From MaRDI portal
The following pages link to An introduction to mathematical logic and type theory: To truth through proof. (Q1847766):
Displayed 41 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)
- 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)
- Quantified multimodal logics in simple type theory (Q1945702) (← 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)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- Probabilities on sentences in an expressive logic (Q2446673) (← 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)
- Second-Order Programs with Preconditions (Q3058455) (← links)
- From Classical to Fuzzy Type Theory (Q3454816) (← links)
- In the Search of a Naive Type Theory (Q3499754) (← links)
- Combining Theories with Shared Set Operations (Q3655212) (← links)
- RECONSTRUCTION OF G. SPENCER BROWN'S THEME (Q4861631) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
- Higher-order semantics and extensionality (Q5311767) (← links)
- Monotonicity Inference for Higher-Order Formulas (Q5747753) (← links)
- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (Q5747766) (← links)
- Evaluation of anonymity and confidentiality protocols using theorem proving (Q5962971) (← links)