Mechanizing logic. I. Map logic extended formally to relational arguments.
نویسندگان
چکیده
منابع مشابه
Mechanizing Linear Logic in Isabelle
We present an implementation of propositional Linear Logic in the Isabelle proof system. Previous implementations of Linear Logic have often been geared to studies of efficiency of proof search; ours provides an environment for users to describe problems and to develop proofs interactively. Isabelle provides many facilities for developing a useful specification and verification environment from...
متن کاملMechanizing Programming Logics in Higher Order Logic
Formal reasoning about computer programs can be based directly on the semantics of the programming language, or done in a special purpose logic like Hoare logic. The advantage of the first approach is that it guarantees that the formal reasoning applies to the language being used (it is well known, for example, that Hoare’s assignment axiom fails to hold for most programming languages). The adv...
متن کاملNotions of Attack and Justified Arguments for Extended Logic Programs
The concept of argumentation may be used to give a formal semantics to a variety of assumption based reasoning formalisms. In particular, various argumentation semantics have been proposed for logic programming with default negation. For extended logic programming, i.e. logic programming with two kinds of negation, there arise a variety of notions of attack on an argument, and therefore a varie...
متن کاملLogic of Probabilistic Arguments
1 CHARLES RIVER ANALYTICS, Cambridge, MA 02138, USA Abstract We present a logic for reasoning with probabilistic arguments to help decision making under uncertainty. The syntax of the logic is essentially modal propositional, and arguments of decision makers are expressed as sentences of the logic, with associated supports drawn from a probability dictionary. To aggregate a set of arguments for...
متن کاملExtension of Logic regression to Longitudinal data: Transition Logic Regression
Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1984
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870632