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 28 items.
- ETPS (Q18433) (← 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)
- 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)
- 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)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
- Second-Order Programs with Preconditions (Q3058455) (← 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)