Condensed detachment

#	Item
1	The two-photon detachment of O− M. Génévriez1 , X. Urbain1 , A. Cyr2 , K. M. Dunseath2 , and M. Terao-Dunseath2 1 Institute of Condensed Matter and Nanosciences, Université catholique de Louvain, Louvain-la-Neuve B- Add to Reading List Source URL: www.egas.lu.lv Language: English - Date: 2015-06-18 05:09:29
2	Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar Add to Reading List Source URL: de.metamath.org Language: English - Date: 2002-02-04 10:16:13 Condensed detachment Modal logic Propositional calculus Model theory Logic Mathematical logic Mathematics
3	Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar Add to Reading List Source URL: us.metamath.org Language: English - Date: 2013-01-17 15:03:23 Condensed detachment Modal logic Propositional calculus Model theory Logic Mathematical logic Mathematics
4	PDF Document Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2009-02-26 12:09:14 Automated theorem proving Propositional calculus Condensed detachment Axiom Mathematical proof Theorem Substitution Logic Mathematics Mathematical logic