Permalink
Cannot retrieve contributors at this time
| % When adding an entry for a proof system "X" to the encyclopedia, | |
| % an "\addsectionbib" statement with the following | |
| % format should be added in this file : | |
| % \addsectionbib[label=X]{bibliographies/X.bib} | |
| % ====================================================== | |
| \addsectionbib[label=PrincipiaMathematica]{bibliographies/PrincipiaMathematica.bib} % 1910 | |
| \addsectionbib[label=Hilbert]{bibliographies/Hilbert.bib} % 1917 | |
| \addsectionbib[label=Bernays]{bibliographies/Bernays.bib} % 1917 | |
| \addsectionbib[label=HilbertAckermann]{bibliographies/HilbertAckermann.bib} % 1928 | |
| \addsectionbib[label=GentzenNJ]{bibliographies/GentzenNJ.bib} % 1935 | |
| \addsectionbib[label=GentzenLK]{bibliographies/GentzenLK.bib} % 1935 | |
| \addsectionbib[label=GentzenLJ]{bibliographies/GentzenLJ.bib} % 1935 | |
| \addsectionbib[label=MultiConclusionLJ]{bibliographies/MultiConclusionLJ.bib} % 1935 | |
| \addsectionbib[label=EpsilonCalculus]{bibliographies/EpsilonCalculus.bib} % 1939 | |
| \addsectionbib[label=KleeneG3classical]{bibliographies/KleeneG3classical.bib} % 1952 | |
| \addsectionbib[label=KleeneG3intuitionistic]{bibliographies/KleeneG3intuitionistic.bib} % 1952 | |
| \addsectionbib[label=LambekCalc]{bibliographies/LambekCalc.bib} % 1958 | |
| \addsectionbib[label=FolUnif]{bibliographies/FolUnif.bib} % 1965 | |
| \addsectionbib[label=Resolution]{bibliographies/Resolution.bib} % 1965 | |
| \addsectionbib[label=OrderedRes]{bibliographies/OrderedRes.bib} % 1969 | |
| \addsectionbib[label=Paramodulation]{bibliographies/Paramodulation.bib} % 1969 | |
| \addsectionbib[label=Completion]{bibliographies/Completion.bib} % 1969 | |
| \addsectionbib[label=fc]{bibliographies/fc.bib} % 1971 | |
| \addsectionbib[label=PreUnif]{bibliographies/PreUnif.bib} % 1975 | |
| \addsectionbib[label=RK]{bibliographies/RK.bib} % 1982 | |
| \addsectionbib[label=ExpansionProofs]{bibliographies/ExpansionProofs.bib} % 1983 | |
| \addsectionbib[label=Bledsoe]{bibliographies/Bledsoe.bib} % 1984 | |
| \addsectionbib[label=Muscadet]{bibliographies/Muscadet.bib} % 1984 | |
| \addsectionbib[label=ILL]{bibliographies/ILL.bib} % 1987 | |
| \addsectionbib[label=LL]{bibliographies/LL.bib} % 1987 | |
| \addsectionbib[label=ProofNetMLL]{bibliographies/ProofNetMLL.bib} % 1987 | |
| \addsectionbib[label=StructSpec]{bibliographies/StructSpec.bib} % 1988 | |
| \addsectionbib[label=PureTypeSystems]{bibliographies/PureTypeSystems.bib} % 1989 | |
| \addsectionbib[label=SignedLogics]{bibliographies/SignedLogics.bib} %1990 | |
| \addsectionbib[label=FILL]{bibliographies/FILL.bib} % 1990 | |
| \addsectionbib[label=Superposition]{bibliographies/Superposition.bib} % 1990/1994 | |
| \addsectionbib[label=SaturationWithRed]{bibliographies/SaturationWithRed.bib} % 1990 | |
| \addsectionbib[label=RefineSpec]{bibliographies/RefineSpec.bib} % 1991 | |
| \addsectionbib[label=LC]{bibliographies/LC.bib} % 1991 | |
| \addsectionbib[label=TLL]{bibliographies/TLL.bib} % 1992 | |
| \addsectionbib[label=ConstraintSup]{bibliographies/ConstraintSup.bib} % 1992/1995 | |
| \addsectionbib[label=HierarchicSup]{bibliographies/HierarchicSup.bib} % 1992/2013 | |
| \addsectionbib[label=LambdaMu]{bibliographies/LambdaMu.bib} % 1992 | |
| \addsectionbib[label=LEI]{bibliographies/LEI.bib} % 1993 | |
| \addsectionbib[label=LuoLF]{bibliographies/LuoLF.bib} % 1994 | |
| \addsectionbib[label=LambdaBar]{bibliographies/LambdaBar.bib} % 1994 | |
| \addsectionbib[label=FIL]{bibliographies/FIL.bib} % 1995 | |
| \addsectionbib[label=LuoLFC]{bibliographies/LuoLFC.bib} % 1996 | |
| \addsectionbib[label=G3c]{bibliographies/G3c.bib} % 1996 | |
| \addsectionbib[label=CancellativeSup]{bibliographies/CancellativeSup.bib} % 1996 | |
| \addsectionbib[label=GraphTabK]{bibliographies/GraphTabK.bib} % 1996 | |
| \addsectionbib[label=SyntheticTableaux]{bibliographies/SyntheticTableaux.bib} % 2000 | |
| \addsectionbib[label=LLP]{bibliographies/LLP.bib} % 2000 | |
| \addsectionbib[label=LKMuMuTilde]{bibliographies/LKMuMuTilde.bib} % 2000 | |
| \addsectionbib[label=CSFour]{bibliographies/CSFour.bib} % 2000 | |
| \addsectionbib[label=HL]{bibliographies/HL.bib} % 2001 | |
| \addsectionbib[label=LTLClausalResolution]{bibliographies/LTLClausalResolution.bib} % 2001 | |
| \addsectionbib[label=ModelEvolution]{bibliographies/ModelEvolution.bib} % 2003 | |
| \addsectionbib[label=SocraticProofsCPL]{bibliographies/SocraticProofsCPL.bib} % 2003 | |
| \addsectionbib[label=IHL]{bibliographies/IHL.bib} % 2003 | |
| \addsectionbib[label=FOTLResolution]{bibliographies/FOTLResolution.bib} % 2003 | |
| \addsectionbib[label=SocraticProofsFOL]{bibliographies/SocraticProofsFOL.bib} % 2004 | |
| \addsectionbib[label=ModalSocraticProofsK]{bibliographies/ModalSocraticProofsK.bib} % 2004 | |
| \addsectionbib[label=ModalSocraticProofs]{bibliographies/ModalSocraticProofs.bib} % 2004 | |
| \addsectionbib[label=LKMuMuTildeTree]{bibliographies/LKMuMuTildeTree.bib} % 2005 | |
| \addsectionbib[label=LabelledConditionals]{bibliographies/LabelledConditionals.bib} % 2003-2007 | |
| \addsectionbib[label=KLM]{bibliographies/KLM.bib} % 2005-2009 | |
| \addsectionbib[label=GBetaFB]{bibliographies/GBetaFB.bib} % 2004-2009 | |
| \addsectionbib[label=ExtResLEO2]{bibliographies/ExtResLEO2.bib} % 2006-2013 | |
| \addsectionbib[label=LKF]{bibliographies/LKF.bib} % 2007 | |
| \addsectionbib[label=LJF]{bibliographies/LJF.bib} % 2007 | |
| \addbibresource[label=LambdaPiModulo]{bibliographies/LambdaPiModulo.bib} % 2007 | |
| \addsectionbib[label=CTLClausalResolution]{bibliographies/CTLClausalResolution.bib} % 2009 | |
| \addsectionbib[label=FOTLFineGrainedResolution]{bibliographies/FOTLFineGrainedResolution.bib} % 2009 | |
| \addbibresource[label=LambdaTermSequent]{bibliographies/LambdaTermSequent.bib} % 2011 | |
| \addsectionbib[label=ParaconsistentSequentCalculi]{bibliographies/ParaconsistentSequentCalculi.bib} % 2012 | |
| \addsectionbib[label=Counterfactual]{bibliographies/Counterfactual.bib} % 1983-2013 | |
| \addsectionbib[label=Counterfactual2]{bibliographies/Counterfactual2.bib} % 2012-2013 | |
| \addsectionbib[label=NestedConditionals]{bibliographies/NestedConditionals.bib} % 2005-2009 | |
| \addsectionbib[label=FILL-dn]{bibliographies/FILL-dn.bib} % 2013 | |
| \addsectionbib[label=ContextualND]{bibliographies/ContextualND.bib} % 2013 | |
| \addsectionbib[label=IR]{bibliographies/IR.bib} % 2013 | |
| \addsectionbib[label=SKMlin]{bibliographies/SKMlin.bib} % 2013 | |
| \addsectionbib[label=TC]{bibliographies/TC.bib} % 2002/2014 | |
| \addsectionbib[label=EDResolutionmbC]{bibliographies/EDResolutionmbC.bib} % 2014 | |
| \addsectionbib[label=EDResolutionCPL]{bibliographies/EDResolutionCPL.bib} % 2014 | |
| \addsectionbib[label=PolynomialRingCalculusWithOperators]{bibliographies/PolynomialRingCalculusWithOperators.bib} % 2015 | |
| \addsectionbib[label=ModalNaturalDeduction]{bibliographies/ModalNaturalDeduction.bib} % 2015 | |
| \addsectionbib[label=LJstar]{bibliographies/LJstar.bib} % 2016 | |
| \addsectionbib[label=ConflictResolution]{bibliographies/ConflictResolution.bib} % 2016 | |
| \addsectionbib[label=negmodal]{bibliographies/negmodal.bib} % 2016 | |
| \addsectionbib[label=UpdateLogic]{bibliographies/UpdateLogic.bib} % 2016 | |
| \addsectionbib[label=MtSC]{bibliographies/MtSC.bib} % 2014, 2016 | |
| \addsectionbib[label=MtDInqL]{bibliographies/MtDInqL.bib} % 2016 | |
| \addsectionbib[label=MtDDEL]{bibliographies/MtDDEL.bib} % 2016 | |
| \addsectionbib[label=MtDLatL]{bibliographies/MtDLatL.bib} % 2017 | |
| \addsectionbib[label=MtDSDM]{bibliographies/MtDSDM.bib} % 2017 | |
| \addsectionbib[label=QE-calculus]{bibliographies/QE-calculus.bib} % 2017 | |