Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem

Lab on a Chip ◽  
2012 ◽  
Vol 12 (10) ◽  
pp. 1841 ◽  
Author(s):  
Seung Hwan Lee ◽  
Danny van Noort ◽  
Kyung-Ae Yang ◽  
In-Hee Lee ◽  
Byoung-Tak Zhang ◽  
...  
Keyword(s):  
Theorem Proving ◽  
Classical Logic ◽  
Logic Problem

The 10th IJCAR automated theorem proving system competition – CASC-J10

2021 ◽  
pp. 1-15
Author(s):  
Geoff Sutcliffe
Keyword(s):  
Theorem Proving ◽  
Classical Logic ◽  
Automated Theorem Proving ◽  
Fully Automatic

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J10 was the twenty-fifth competition in the CASC series. Twenty-four ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.

scholarly journals Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic

10.29007/6qpn ◽  
2018 ◽  
Author(s):  
Hans De Nivelle
Keyword(s):  
Theorem Proving ◽  
Classical Logic ◽  
Partial Functions ◽  
Geometric Logic ◽  
The Way

We introduce a theorem proving strategy for Partial Classical Logic (PCL) thatis based on geometric logic. The strategy first translates PCL theories into sets of Kleene formulas. After that, the Kleene formulas are translated into 3-valued geometric logic. The resulting formulas can be refuted by an adaptation ofgeometric resolution.The translation to Kleene logic does not only open the way to theorem proving, butit also sheds light on the relation between PCL, Kleene Logic, and classical logic.

The CADE ATP System Competition — CASC

AI Magazine ◽  
2016 ◽  
Vol 37 (2) ◽  
pp. 99-101 ◽  
Author(s):  
Geoff Sutcliffe
Keyword(s):  
Theorem Proving ◽  
Classical Logic ◽  
Automated Theorem Proving ◽  
World Championship ◽  
Public Evaluation ◽  
The World ◽  
Fully Automatic

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic automated theorem proving (ATP) systems for classical logic — the world championship for such systems. CASC provides a public evaluation of the relative capabilities of ATP systems, and aims stimulate ATP research towards the development of more powerful ATP systems. Over the years CASC has been a catalyst for impressive improvements in ATP.

New method for building ASP knowledge base from knowledge in classical logic

2010 ◽  
Vol 30 (11) ◽  
pp. 2932-2936
Author(s):  
Ling-zhong ZHAO ◽  
Xue-song WANG ◽  
Jun-yan QIAN ◽  
Guo-yong CAI
Keyword(s):  
Knowledge Base ◽  
Classical Logic ◽  
New Method

Modal Theorem Proving,

1986 ◽  
Author(s):  
Martin Abadi ◽  
Zohar Manna
Keyword(s):  
Theorem Proving

The Argument from Counterfactuals

2018 ◽  
Author(s):  
Alexander R. Pruss
Keyword(s):  
Natural Law ◽  
Classical Logic ◽  
Divine Command

It seems that counterfactuals and many other statements are subject to semantic underdetermination. Classical logic pushes one to an epistemicist account of this underdetermination, but epistemicism seems implausible. However epistemicism can be made plausible when conjoined with a divine institution account of meaning. This gives us some reason to accept that divine institution account, and hence some reason to think that God exists. This chapter evaluates the arguments for epistemicism and divine institution, including objections, and incorporates Plantinga’s consideration of counterfactuals when it comes to theism. In particular, an analogy is drawn with divine command and natural law theories in ethics.

Sign in / Sign up

Export Citation Format

Share Document