berkeley-abc/abc
ABC: System for Sequential Logic Synthesis and Formal Verification (⭐ 1130)
Formal science - Wikipedia
Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics
Formal fallacy - Wikipedia
In logic and philosophy, a formal fallacy is a pattern of reasoning with a flaw in its logical structure (the logical relationship between the premises
Deciding KAT and Hoare Logic with Derivatives
Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular expressions. In particular, KAT subsumes the propositional fragment of...
Herbrand's Theorem: a short statement and a model-theoretic proof
Herbrand's Theorem is a fundamental result in mathematical logic which provides a reduction of first-order formulas satisfied by a universal class to formulas free of existential quantifiers. In this work, a simpler and self-contained formulation of...
Grounded Textual Entailment
Capturing semantic relations between sentences, such as entailment, is a long-standing challenge for computational semantics. Logic-based models analyse entailment in terms of possible worlds (interpretations, or situations) where a premise P entails...
A Logical Study of Partial Entailment
We introduce a novel logical notion--partial entailment--to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with respect to a background formula set Γintuitively means that under the c...
Logical consequence - Wikipedia
Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statements that
Atomic Entailment and Atomic Inconsistency and Classical Entailment
In this paper we put forward a new solution of the well-known problem of relevant logics, i.e. we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the definition of...
Multi-Reward Reinforced Summarization with Saliency and Entailment
Abstractive text summarization is the task of compressing and rewriting a long document into a short summary while maintaining saliency, directed logical entailment, and non-redundancy. In this work, we address these three important aspects of a good...
Entailment in Probability of Thresholded Generalizations
A nonmonotonic logic of thresholded generalizations is presented. Given propositions A and B from a language L and a positive integer k, the thresholded generalization A=>B{k} means that the conditional probability P(B|A) falls short of one by no mo...
Completeness - Wikipedia
up completeness, complete, completed, or incompleteness in Wiktionary, the free dictionary. Complete may refer to: Completeness (logic) Completeness of
On the Syntax of Logic and Set Theory
We introduce an extension of the propositional calculus to include abstracts of predicates and quantifiers, employing a single rule along with a novel comprehension schema and a principle of extensionality, which are substituted for the Bernays postu...
Linear Types Can Change the Blockchain
We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain....
Timed word - Wikipedia
temporal logic that allows the expression of time constraints. A timed word may be passed to a model, such as a timed automaton, which will decide, given the
MATCHA: A Fast and Energy-Efficient Accelerator for Fully Homomorphic Encryption over the…
Fully Homomorphic Encryption over the Torus (TFHE) allows arbitrary computations to happen directly on ciphertexts using homomorphic logic gates. However, each TFHE gate on state-of-the-art hardware platforms such as GPUs and FPGAs is extremely slow...
A minimalistic look at widening operators
We consider the problem of formalizing the familiar notion of widening in abstract interpretation in higher-order logic. It turns out that many axioms of widening (e.g. widening sequences are ascending) are not useful for proving correctness. After...
Addition (disambiguation) - Wikipedia
up addition in Wiktionary, the free dictionary. Addition is the mathematical process of putting things together. Addition may also refer to: Addition (logic)
Argumentation framework - Wikipedia
Dung's framework, like the logic-based argumentation frameworks or the value-based argumentation frameworks. Abstract argumentation frameworks, also called
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: T…
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning ta...