Invariants in Foundations: Geometric Logic

2008 ◽  
pp. 247-284
Author(s):  
Jean-Pierre Marquis
Keyword(s):  
Geometric Logic

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.

Strong-driving-assisted unconventional geometric logic gate in cavity QED

2006 ◽  
Vol 73 (3) ◽  
Author(s):  
Chang-Yong Chen ◽  
Mang Feng ◽  
Xiao-Long Zhang ◽  
Ke-Lin Gao
Keyword(s):  
Cavity Qed ◽  
Logic Gate ◽  
Geometric Logic
Sign in / Sign up

Export Citation Format

Share Document