Switch branches/tags
Nothing to show
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
Bernays.tex
Bledsoe.tex
CSFour.tex
CTLClausalResolution.tex
CancellativeSup.tex
Completion.tex
ConflictResolution.tex
ConstraintSup.tex
ContextualND.tex
Counterfactual.tex
Counterfactual2.tex
EDResolutionCPL.tex
EDResolutionmbC.tex
EpsilonCalculus.tex
ExpansionProofs.tex
ExtResLEO2.tex
FIL.tex
FILL-dn.tex
FILL.tex
FOTLFineGrainedResolution.tex
FOTLResolution.tex
FolUnif.tex
G3c.tex
GBetaFB.tex
GentzenLJ.tex
GentzenLK.tex
GentzenNJ.tex
GraphTabK.tex
HL.tex
HierarchicSup.tex
Hilbert.tex
HilbertAckermann.tex
IHL.tex
ILL.tex
IR.tex
KLM.tex
KleeneG3classical.tex
KleeneG3intuitionistic.tex
LC.tex
LEI.tex
LJF.tex
LJstar.tex
LKF.tex
LKMuMuTilde.tex
LKMuMuTildeTree.tex
LL.tex
LLP.tex
LTLClausalResolution.tex
LabelledConditionals.tex
LambdaBar.tex
LambdaMu.tex
LambdaPiModulo.tex
LambdaTermSequent.tex
LambekCalc.tex
LuoLF.tex
LuoLFC.tex
ModalNaturalDeduction.tex
ModalSocraticProofs.tex
ModalSocraticProofsK.tex
ModelEvolution.tex
MtDDEL.tex
MtDInqL.tex
MtDLatL.tex
MtDSDM.tex
MtSC.tex
MultiConclusionLJ.tex
Muscadet.tex
NestedConditionals.tex
OrderedRes.tex
ParaconsistentSequentCalculi.tex
Paramodulation.tex
PolynomialRingCalculusWithOperators.tex
PreUnif.tex
ProofNetMLL.tex
PureTypeSystems.tex
QE-calculus.tex
RK.tex
RefineSpec.tex
Resolution.tex
SKMlin.tex
SaturationWithRed.tex
SignedLogics.tex
SocraticProofsCPL.tex
SocraticProofsFOL.tex
StructSpec.tex
Superposition.tex
SyntheticTableaux.tex
TC.tex
TLL.tex
UpdateLogic.tex
fc.tex
negmodal.tex