Search
Search Results
-
Natural Deduction for Intuitionistic Euler-Venn Diagrams
We present preliminary results for a proof system based on Natural Deduction for intuitionistic Euler-Venn diagrams. These diagrams are our building... -
Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction
The automated deduction mechanism based on contradiction separation is a novel deduction mechanism, which has some outstanding features, such as... -
Sandalwood Tree Deduction Using Deep Learning
Deep learning with image processing provides better results. Image processing are used for spike disease detection, oil extraction, age detection,... -
-
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic
In their seminal paper Artemov and Protopopescu provide Hilbert formal systems, Brower–Heyting–Kolmogorov and Kripke semantics for the logics of...
-
Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic
A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L 3 -valued...
-
Formalizing the Equivalence of Formal Systems in Propositional Logic in Coq
In the field of artificial intelligence, propositional logic provides a precise and efficient reasoning structure for computers to simulate human... -
Non-well-founded Deduction for Induction and Coinduction
Induction and coinduction are both used extensively within mathematics and computer science. Algebraic formulations of these principles make the... -
Recurrence-Driven Summations in Automated Deduction
Many problems in mathematics and computer science involve summations. We present a procedure that automatically proves equations involving finite... -
On Reducing Reasoning and Querying in Natural Logic to Database Querying
This paper outlines a systems architecture for deductive querying of knowledge bases in a natural logic. The natural logic may be conceived as an... -
A New Connective in Natural Deduction, and Its Application to Quantum Computing
We investigate an unsuspected connection between non-harmonious logical connectives, such as Prior’s tonk, and quantum computing. We argue that... -
ExperienceGen 1.0: A Text Generation Challenge Which Requires Deduction and Induction Ability
This paper introduces a novel commonsense generation task ExperienceGen 1.0, which is used to test whether the current models have deduction and... -
Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
By combining, on one side Carnap–Popper–Leblance and Suppes concepts of sentence probability, and Gentzen’s sequent calculus LK and natural deduction... -
Almost: Predicting “Natural" Sequences
Neural networks have remained the most widely used learning method for at least one decade thanks to their flexibility in solving problems across...
-
Automated Deduction
After a brief history and motivation of Automated Deduction (AD), the necessaryBoy de la Tour, Thierry notions of firstCaferra, Ricardo order logic... -
Natural Language Processing (NLP)
Parsing language in an effective and accurate manner is an important application of data science principles and techniques. Identifying similarities... -
Propositional and Predicate Logic
This chapter provides an introduction to propositional and predicate logic. Propositonal logicPropositonal logic may be used to encode simple... -
Linear Resources in Isabelle/HOL
We present a formal framework for process composition based on actions that are specified by their input and output resources. The correctness of...
-
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice
We discuss the practical results obtained by the first generation of automated theorem provers based on Deduction modulo theory. In particular, we...
-
Toward Generating Natural-Language Explanations of Modal-Logic Proofs
As we work toward artificial general intelligence, it is clear that we must try to imbue agents with faculties which ensure they are trustworthy. We...