Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 1332654 (Why is no real title available?)
- The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many
- Integral prefilters and integral EQ-algebras
- A second order theory of data types
- Higher-order quantifier elimination, counter simulations and fault-tolerant systems
- Decidability of fluted logic with identity
- A logical framework combining model and proof theory
- A functional partial semantics for intensional logic
- Verifying the modal logic cube is an easy task (for higher-order automated reasoners)
- Exploring properties of normal multimodal logics in simple type theory with \texttt{Leo-II}
- Frontiers of Combining Systems
- Extending Sledgehammer with SMT solvers
- scientific article; zbMATH DE number 1507179 (Why is no real title available?)
- Completeness in equational hybrid propositional type theory
- A theory of system interaction: components, interfaces, and services
- Probabilistic modelling, inference and learning using logical theories
- Model-theoretic conservative extension for definitional theories
- Evaluation of anonymity and confidentiality protocols using theorem proving
- Probabilities on sentences in an expressive logic
- Reasoning about mathematical fuzzy logic and its future
- The foundation of a generic theorem prover
- The seven virtues of simple type theory
- scientific article; zbMATH DE number 1863374 (Why is no real title available?)
- Graded structures of opposition in fuzzy natural logic
- scientific article; zbMATH DE number 1046620 (Why is no real title available?)
- A semantics for Prolog
- The structure of generalized intermediate syllogisms
- scientific article; zbMATH DE number 517067 (Why is no real title available?)
- Supra-logic: using transfinite type theory with type variables for paraconsistency
- Algebraic Methodology and Software Technology
- A finite axiomatization of propositional type theory in pure lambda calculus
- Mechanized metatheory revisited
- Higher-order unification revisited: Complete sets of transformations
- scientific article; zbMATH DE number 5872266 (Why is no real title available?)
- A formal theory of generalized intermediate syllogisms
- Non-commutative first-order EQ-logics
- The structure of differential invariants and differential cut elimination
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions
- Dependent ML An approach to practical programming with dependent types
- The higher-order prover \textsc{Leo}-II
- Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity
- Rewriting, and equational unification: the higher-order cases
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
- The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math
- Incorporating quotation and evaluation into Church's type theory
- Monotonicity inference for higher-order formulas
- On fuzzy type theory
- Higher-order semantics and extensionality
- scientific article; zbMATH DE number 1911272 (Why is no real title available?)
- Universal abstract consistency class and universal refutation
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Incorporating quotation and evaluation into Church's type theory: syntax and semantics
- A formal theory of intermediate quantifiers
- A comprehensive theory of trichotomous evaluative linguistic expressions
- EQ-algebras from the point of view of generalized algebras with fuzzy equalities
- Theorem Proving in Higher Order Logics
- Combining and automating classical and non-classical logics in classical higher-order logics
- A proof-theoretic approach to the static analysis of logic programs
- Instantiation theory. On the foundations of automated deduction
- Combinatory reduction systems: Introduction and survey
- Computing verisimilitude
- Higher order unification via explicit substitutions
- On connections and higher-order logic
- Elements of model theory in higher-order fuzzy logic
- Combined reasoning by automated cooperation
- Glivenko and Kuroda for simple type theory
- From classical to fuzzy type theory
- Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15--17, 1996. Proceedings
- scientific article; zbMATH DE number 1140679 (Why is no real title available?)
- Theory morphisms in Church's type theory with quotation and evaluation
- Quantum number theory
- Experimenting with Isabelle in ZF set theory
- scientific article; zbMATH DE number 1617310 (Why is no real title available?)
- scientific article; zbMATH DE number 1082077 (Why is no real title available?)
- A Proof-theoretic Analysis of Goal-directed Provability
- HOL-Boogie
- LEO-II
- TPS
- IMP++
- HiLog
- SecureUML
- IMPACT
- HOL-Z
- RAISE
- THF0
- HOL-OCL
- Nuprl
- Oz
- MUSCADET
- LFLC 2000
- IMPS
- VSDITLU
- MetaOCaml
- CalcCheck
- Monotonox
- Mcmt
- JPF-SE
- Pesca
- Symbolic automata
- FOOL
This page was built for software: ETPS
