• Abella

  • Referenced in 50 articles [sw09461]
  • reduction properties. This paper discusses the logical foundations of Abella, outlines the style of theorem...
  • MMT

  • Referenced in 48 articles [sw07136]
  • represent the meta-theoretic foundations of mathematical and logical systems together with the represented knowledge ... itself and interlink the foundations at the meta-logical level. This ”logics-as-theories” approach...
  • Twelf

  • Referenced in 170 articles [sw06888]
  • logics. Large research projects using Twelf include the TALT typed assembly language, a foundational proof...
  • HiLog

  • Referenced in 47 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming. We describe a novel logic, called HiLog...
  • miz3

  • Referenced in 11 articles [sw18631]
  • prover, regardless of its architecture and logical foundations. To show the viability of our proposed ... theorem prover regardles s of its logical foundations. The miz3 interface allows easy access...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • observations accrue. MEBN provides a logical foundation for the emerging collection of highly expressive probability...
  • Isabelle/PIDE

  • Referenced in 13 articles [sw07185]
  • educational tools. The traditionally strong logical foundations of systems like HOL, Coq, or Isabelle have ... lead to combined mathematical assistants, where the logical engine is in the background, without obstructing...
  • UniForM

  • Referenced in 8 articles [sw10332]
  • Formal Methods (on a solid logical foundation), provides tools for the development of hybrid, real...
  • LPTP

  • Referenced in 7 articles [sw01822]
  • theoretical foundations of LPTP (a logic program theorem prover). This article contains the theoretical foundations...
  • PLM

  • Referenced in 3 articles [sw38031]
  • ambition to function as a foundational theory of mathematics. The target theory of our embedding ... modal relational type theory as logical foundation for which a representation in functional type theory ... representation of the theory in the functional logic of Isabelle/HOL based on a semantical representation...
  • CatLog3

  • Referenced in 3 articles [sw29641]
  • invariant, being the logic of the calculus, logical categorial grammar is purely lexicalist ... just a lexical dictionary. The foundational logic of continuity was established by Lambek (Am Math...
  • Java-MOP

  • Referenced in 20 articles [sw14034]
  • foundational principle. Expressive requirements specification formalisms can be included into the framework via logic plug...
  • Crowfoot

  • Referenced in 5 articles [sw07706]
  • Crowfoot’s assertion language, based on separation logic, features nested Hoare triples which describe ... recent developments in the mathematical foundations of Hoare logics with nested triples...
  • MoMo

  • Referenced in 1 article [sw10022]
  • originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG ... been extended to a treatment of description logics (DL), which are at present the standard ... computational grammar implementation and on the logical foundations of constraint-based grammar frameworks...
  • GeoLogic

  • Referenced in 1 article [sw33592]
  • approach: ATPs often use human-unfriendly logical foundations while ITPs are meant for formalizing existing ... create a simple human-friendly logical system for mathematical problem solving. We picked the case...
  • EvoOnt

  • Referenced in 1 article [sw16434]
  • tools. Furthermore, given OWL’s Description Logic foundation, any Semantic Web engine allows to derive...
  • VeriStar

  • Referenced in 3 articles [sw09393]
  • collection of machine-verified program logics and compilers giving foundational correctness guarantees.par VeriStar ... entailment holds in a proved-sound separation logic for C minor...
  • Fr-ONT

  • Referenced in 2 articles [sw28410]
  • method. As description logic provides the theorethical foundation for standard Web ontology language...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • including nonlinear arithmetic), as the logical framework and foundation for analyzing and synthesizing cyber-physical...
  • LATIN

  • Referenced in 15 articles [sw19699]
  • developing methods, techniques, and tools for interfacing logics and related formal systems. These systems ... these systems have differing domains of applications, foundational assumptions, and input languages, which makes them...